Average Error: 0.0 → 0.0
Time: 51.1s
Precision: binary64
Cost: 14528
\[\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{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} \]
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
 :precision binary64
 (+
  (/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
  (/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
 :precision binary64
 (+
  (/ NdChar (+ 1.0 (exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))
  (/ NaChar (+ 1.0 (exp (/ (+ Ev (+ Vef (- EAccept mu))) KbT))))))
double code(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
	return (NdChar / (1.0 + exp((-(((Ec - Vef) - EDonor) - mu) / KbT)))) + (NaChar / (1.0 + exp(((((Ev + Vef) + EAccept) + -mu) / KbT))));
}
double code(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
	return (NdChar / (1.0 + exp(((Vef + (EDonor + (mu - Ec))) / KbT)))) + (NaChar / (1.0 + exp(((Ev + (Vef + (EAccept - mu))) / KbT))));
}
real(8) function code(ndchar, ec, vef, edonor, mu, kbt, nachar, ev, eaccept)
    real(8), intent (in) :: ndchar
    real(8), intent (in) :: ec
    real(8), intent (in) :: vef
    real(8), intent (in) :: edonor
    real(8), intent (in) :: mu
    real(8), intent (in) :: kbt
    real(8), intent (in) :: nachar
    real(8), intent (in) :: ev
    real(8), intent (in) :: eaccept
    code = (ndchar / (1.0d0 + exp((-(((ec - vef) - edonor) - mu) / kbt)))) + (nachar / (1.0d0 + exp(((((ev + vef) + eaccept) + -mu) / kbt))))
end function
real(8) function code(ndchar, ec, vef, edonor, mu, kbt, nachar, ev, eaccept)
    real(8), intent (in) :: ndchar
    real(8), intent (in) :: ec
    real(8), intent (in) :: vef
    real(8), intent (in) :: edonor
    real(8), intent (in) :: mu
    real(8), intent (in) :: kbt
    real(8), intent (in) :: nachar
    real(8), intent (in) :: ev
    real(8), intent (in) :: eaccept
    code = (ndchar / (1.0d0 + exp(((vef + (edonor + (mu - ec))) / kbt)))) + (nachar / (1.0d0 + exp(((ev + (vef + (eaccept - mu))) / kbt))))
end function
public static double code(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
	return (NdChar / (1.0 + Math.exp((-(((Ec - Vef) - EDonor) - mu) / KbT)))) + (NaChar / (1.0 + Math.exp(((((Ev + Vef) + EAccept) + -mu) / KbT))));
}
public static double code(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
	return (NdChar / (1.0 + Math.exp(((Vef + (EDonor + (mu - Ec))) / KbT)))) + (NaChar / (1.0 + Math.exp(((Ev + (Vef + (EAccept - mu))) / KbT))));
}
def code(NdChar, Ec, Vef, EDonor, mu, KbT, NaChar, Ev, EAccept):
	return (NdChar / (1.0 + math.exp((-(((Ec - Vef) - EDonor) - mu) / KbT)))) + (NaChar / (1.0 + math.exp(((((Ev + Vef) + EAccept) + -mu) / KbT))))
def code(NdChar, Ec, Vef, EDonor, mu, KbT, NaChar, Ev, EAccept):
	return (NdChar / (1.0 + math.exp(((Vef + (EDonor + (mu - Ec))) / KbT)))) + (NaChar / (1.0 + math.exp(((Ev + (Vef + (EAccept - mu))) / KbT))))
function code(NdChar, Ec, Vef, EDonor, mu, KbT, NaChar, Ev, EAccept)
	return Float64(Float64(NdChar / Float64(1.0 + exp(Float64(Float64(-Float64(Float64(Float64(Ec - Vef) - EDonor) - mu)) / KbT)))) + Float64(NaChar / Float64(1.0 + exp(Float64(Float64(Float64(Float64(Ev + Vef) + EAccept) + Float64(-mu)) / KbT)))))
end
function code(NdChar, Ec, Vef, EDonor, mu, KbT, NaChar, Ev, EAccept)
	return Float64(Float64(NdChar / Float64(1.0 + exp(Float64(Float64(Vef + Float64(EDonor + Float64(mu - Ec))) / KbT)))) + Float64(NaChar / Float64(1.0 + exp(Float64(Float64(Ev + Float64(Vef + Float64(EAccept - mu))) / KbT)))))
end
function tmp = code(NdChar, Ec, Vef, EDonor, mu, KbT, NaChar, Ev, EAccept)
	tmp = (NdChar / (1.0 + exp((-(((Ec - Vef) - EDonor) - mu) / KbT)))) + (NaChar / (1.0 + exp(((((Ev + Vef) + EAccept) + -mu) / KbT))));
end
function tmp = code(NdChar, Ec, Vef, EDonor, mu, KbT, NaChar, Ev, EAccept)
	tmp = (NdChar / (1.0 + exp(((Vef + (EDonor + (mu - Ec))) / KbT)))) + (NaChar / (1.0 + exp(((Ev + (Vef + (EAccept - mu))) / KbT))));
end
code[NdChar_, Ec_, Vef_, EDonor_, mu_, KbT_, NaChar_, Ev_, EAccept_] := N[(N[(NdChar / N[(1.0 + N[Exp[N[((-N[(N[(N[(Ec - Vef), $MachinePrecision] - EDonor), $MachinePrecision] - mu), $MachinePrecision]) / KbT), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(NaChar / N[(1.0 + N[Exp[N[(N[(N[(N[(Ev + Vef), $MachinePrecision] + EAccept), $MachinePrecision] + (-mu)), $MachinePrecision] / KbT), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
code[NdChar_, Ec_, Vef_, EDonor_, mu_, KbT_, NaChar_, Ev_, EAccept_] := N[(N[(NdChar / N[(1.0 + N[Exp[N[(N[(Vef + N[(EDonor + N[(mu - Ec), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / KbT), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(NaChar / N[(1.0 + N[Exp[N[(N[(Ev + N[(Vef + N[(EAccept - mu), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / KbT), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\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{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}

Error

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{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}} \]
    Proof
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (+.f64 EDonor (-.f64 mu Ec))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (Rewrite<= associate--l+_binary64 (-.f64 (+.f64 EDonor mu) Ec))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (Rewrite<= associate--l+_binary64 (-.f64 (+.f64 Vef (+.f64 EDonor mu)) Ec)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (Rewrite<= unsub-neg_binary64 (+.f64 (+.f64 Vef (+.f64 EDonor mu)) (neg.f64 Ec))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 Vef (+.f64 EDonor mu)) (Rewrite=> neg-sub0_binary64 (-.f64 0 Ec))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (Rewrite<= +-commutative_binary64 (+.f64 (-.f64 0 Ec) (+.f64 Vef (+.f64 EDonor mu)))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (Rewrite<= associate--r-_binary64 (-.f64 0 (-.f64 Ec (+.f64 Vef (+.f64 EDonor mu))))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 0 (Rewrite<= associate--l-_binary64 (-.f64 (-.f64 Ec Vef) (+.f64 EDonor mu)))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 0 (Rewrite<= associate--l-_binary64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (Rewrite<= neg-sub0_binary64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (-.f64 EAccept mu))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Ev (+.f64 Vef (Rewrite<= unsub-neg_binary64 (+.f64 EAccept (neg.f64 mu))))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (Rewrite<= associate-+l+_binary64 (+.f64 (+.f64 Ev Vef) (+.f64 EAccept (neg.f64 mu)))) KbT))))): 0 points increase in error, 0 points decrease in error
    (+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (Rewrite<= associate-+l+_binary64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu))) KbT))))): 0 points increase in error, 0 points decrease in error
  3. Final simplification0.0

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

Alternatives

Alternative 1
Error27.1
Cost15204
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ \mathbf{if}\;Ev \leq -5.248875139868052 \cdot 10^{+253}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Ev \leq -7.681305152046856 \cdot 10^{+159}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -2.508781834787697 \cdot 10^{+129}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -1.6043431568000327 \cdot 10^{+78}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -1.3975998597860094 \cdot 10^{-52}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -3.739360293376714 \cdot 10^{-135}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + \left(\frac{Vef}{KbT} + 2\right)\right)\right) - \frac{mu}{KbT}}\\ \mathbf{elif}\;Ev \leq -5.796202464006071 \cdot 10^{-192}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -5.395209455582655 \cdot 10^{-241}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq 2.0568167446091464 \cdot 10^{-274}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq 1.4894054588141408 \cdot 10^{-15}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)}\\ \end{array} \]
Alternative 2
Error20.6
Cost15204
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + t_1\\ t_3 := \frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + t_1\\ \mathbf{if}\;EDonor \leq -5.3395767490533045 \cdot 10^{+134}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EDonor \leq -9.311874782559705 \cdot 10^{+58}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;EDonor \leq -1.6427993258558783 \cdot 10^{-62}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;EDonor \leq -6.588242166864875 \cdot 10^{-84}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;EDonor \leq -2.5942027161443745 \cdot 10^{-126}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{elif}\;EDonor \leq -2.0887523384132618 \cdot 10^{-159}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{\frac{mu}{KbT} + 2}\\ \mathbf{elif}\;EDonor \leq -8.703623545802346 \cdot 10^{-278}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;EDonor \leq 1.0010600995071405 \cdot 10^{-68}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;EDonor \leq 4.763663460581151 \cdot 10^{+136}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 3
Error28.3
Cost15080
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ t_2 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{if}\;EAccept \leq -3.2152635331093053 \cdot 10^{-86}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;EAccept \leq -1.4160497003016243 \cdot 10^{-187}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EAccept \leq 2.4580406169582998 \cdot 10^{-281}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;EAccept \leq 1.5488211525530587 \cdot 10^{-152}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EAccept \leq 5.309280620236278 \cdot 10^{-130}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{\frac{Ev}{KbT} + 2}\\ \mathbf{elif}\;EAccept \leq 3.6146055457247 \cdot 10^{-110}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ \mathbf{elif}\;EAccept \leq 8.242449403260542 \cdot 10^{+83}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;EAccept \leq 9.664674947119915 \cdot 10^{+120}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EAccept \leq 1.6928188605188652 \cdot 10^{+208}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;EAccept \leq 2.1035779273775626 \cdot 10^{+258}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \end{array} \]
Alternative 4
Error21.1
Cost15068
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{if}\;KbT \leq -9.903114064371258 \cdot 10^{+148}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq -6.734512779280759 \cdot 10^{-133}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq -1.4452661097146926 \cdot 10^{-273}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq 4.391812419067754 \cdot 10^{-213}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.2156859123628 \cdot 10^{-113}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq 1.9359023940492826 \cdot 10^{+71}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 3.493656713315095 \cdot 10^{+119}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 5
Error20.5
Cost15068
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{if}\;KbT \leq -9.903114064371258 \cdot 10^{+148}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{elif}\;KbT \leq -6.734512779280759 \cdot 10^{-133}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq -1.4452661097146926 \cdot 10^{-273}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 4.391812419067754 \cdot 10^{-213}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.2156859123628 \cdot 10^{-113}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 1.9359023940492826 \cdot 10^{+71}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 3.493656713315095 \cdot 10^{+119}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 6
Error20.4
Cost15068
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_2 := t_1 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ t_3 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{if}\;KbT \leq -9.903114064371258 \cdot 10^{+148}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq -6.734512779280759 \cdot 10^{-133}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq -1.4452661097146926 \cdot 10^{-273}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 4.391812419067754 \cdot 10^{-213}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.2156859123628 \cdot 10^{-113}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 1.9359023940492826 \cdot 10^{+71}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 6.108070469401109 \cdot 10^{+139}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \end{array} \]
Alternative 7
Error15.0
Cost14936
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_1 := t_0 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ t_2 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_3 := t_2 + \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{if}\;Vef \leq -2.855180334553743 \cdot 10^{+99}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Vef \leq -7.717780234228377 \cdot 10^{-63}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq -3.8379833621517593 \cdot 10^{-292}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + e^{\frac{-Ec}{KbT}}}\\ \mathbf{elif}\;Vef \leq 1.1895994952149542 \cdot 10^{+33}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{elif}\;Vef \leq 4.153024022242105 \cdot 10^{+110}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 1.746100016891607 \cdot 10^{+200}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 8
Error17.5
Cost14804
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_1 := t_0 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{if}\;EAccept \leq 4.1279342494488547 \cdot 10^{-297}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;EAccept \leq 1.5488211525530587 \cdot 10^{-152}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ \mathbf{elif}\;EAccept \leq 8.242449403260542 \cdot 10^{+83}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;EAccept \leq 9.664674947119915 \cdot 10^{+120}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{elif}\;EAccept \leq 8.235762877568935 \cdot 10^{+140}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \end{array} \]
Alternative 9
Error28.1
Cost14616
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ \mathbf{if}\;Ev \leq -5.248875139868052 \cdot 10^{+253}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Ev \leq -1.564021404032279 \cdot 10^{+189}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -1.1473017232835468 \cdot 10^{+142}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -1.6043431568000327 \cdot 10^{+78}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -69363720136.47902:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -1.3975998597860094 \cdot 10^{-52}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{1 + e^{\frac{-mu}{KbT}}}\\ \mathbf{elif}\;Ev \leq -3.739360293376714 \cdot 10^{-135}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + \left(\frac{Vef}{KbT} + 2\right)\right)\right) - \frac{mu}{KbT}}\\ \mathbf{elif}\;Ev \leq -5.796202464006071 \cdot 10^{-192}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ \mathbf{elif}\;Ev \leq 1.4894054588141408 \cdot 10^{-15}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)}\\ \end{array} \]
Alternative 10
Error28.6
Cost14552
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ t_2 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_3 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ \mathbf{if}\;Ev \leq -1.6171036476743678 \cdot 10^{+251}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + t_1\\ \mathbf{elif}\;Ev \leq -1.564021404032279 \cdot 10^{+189}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Ev \leq -1.1473017232835468 \cdot 10^{+142}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ev \leq -1.6043431568000327 \cdot 10^{+78}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Ev \leq -219531161516313.13:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ev \leq -1.5965646477934753 \cdot 10^{-70}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{elif}\;Ev \leq -1.3457405580552205 \cdot 10^{-102}:\\ \;\;\;\;t_0 + \frac{NaChar}{2}\\ \mathbf{elif}\;Ev \leq -3.739360293376714 \cdot 10^{-135}:\\ \;\;\;\;t_0 + \frac{NaChar}{\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + \left(\frac{Vef}{KbT} + 2\right)\right)\right) - \frac{mu}{KbT}}\\ \mathbf{elif}\;Ev \leq -5.796202464006071 \cdot 10^{-192}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ \mathbf{elif}\;Ev \leq 1.4894054588141408 \cdot 10^{-15}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)}\\ \end{array} \]
Alternative 11
Error28.7
Cost14552
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_2 := \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ t_3 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ \mathbf{if}\;Ev \leq -5.248875139868052 \cdot 10^{+253}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Ev \leq -1.564021404032279 \cdot 10^{+189}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Ev \leq -1.1473017232835468 \cdot 10^{+142}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -1.6043431568000327 \cdot 10^{+78}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Ev \leq -219531161516313.13:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -1.5965646477934753 \cdot 10^{-70}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{elif}\;Ev \leq -1.3457405580552205 \cdot 10^{-102}:\\ \;\;\;\;t_0 + \frac{NaChar}{2}\\ \mathbf{elif}\;Ev \leq -3.739360293376714 \cdot 10^{-135}:\\ \;\;\;\;t_0 + \frac{NaChar}{\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + \left(\frac{Vef}{KbT} + 2\right)\right)\right) - \frac{mu}{KbT}}\\ \mathbf{elif}\;Ev \leq -7.889172457888365 \cdot 10^{-198}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ \mathbf{elif}\;Ev \leq 1.4894054588141408 \cdot 10^{-15}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)}\\ \end{array} \]
Alternative 12
Error14.6
Cost14540
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_1 := t_0 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{if}\;EDonor \leq -1.1335458952522276 \cdot 10^{+91}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;EDonor \leq 17686672389.143406:\\ \;\;\;\;t_0 + \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{elif}\;EDonor \leq 7.159457943445307 \cdot 10^{+81}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 13
Error25.9
Cost8420
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ \mathbf{if}\;Vef \leq -3.0706754018691694 \cdot 10^{+28}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 5.60661988851688 \cdot 10^{-300}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 1.184573533608558 \cdot 10^{-252}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 2.7125072492697777 \cdot 10^{-176}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 2.4806009959081104 \cdot 10^{-162}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 1.3543657098817458 \cdot 10^{-132}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + \frac{NaChar}{2}\\ \mathbf{elif}\;Vef \leq 4.794257188309306 \cdot 10^{-102}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{elif}\;Vef \leq 5.659800589017694 \cdot 10^{-45}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 6.252644587480332 \cdot 10^{+41}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 14
Error24.0
Cost8152
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ \mathbf{if}\;KbT \leq -9.903114064371258 \cdot 10^{+148}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq -4.8318281611013115 \cdot 10^{-261}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 4.391812419067754 \cdot 10^{-213}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 1.9359023940492826 \cdot 10^{+71}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 3.575266168324005 \cdot 10^{+155}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 1.3943231836829932 \cdot 10^{+218}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;NdChar \cdot 0.5 + \frac{NaChar}{1 + e^{\frac{EAccept + \left(Vef + Ev\right)}{KbT}}}\\ \end{array} \]
Alternative 15
Error22.4
Cost8152
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{if}\;KbT \leq -9.903114064371258 \cdot 10^{+148}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{\frac{mu}{KbT} + 2}\\ \mathbf{elif}\;KbT \leq -4.8318281611013115 \cdot 10^{-261}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 4.391812419067754 \cdot 10^{-213}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 1.9359023940492826 \cdot 10^{+71}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 3.575266168324005 \cdot 10^{+155}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 1.3943231836829932 \cdot 10^{+218}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;NdChar \cdot 0.5 + \frac{NaChar}{1 + e^{\frac{EAccept + \left(Vef + Ev\right)}{KbT}}}\\ \end{array} \]
Alternative 16
Error22.3
Cost8152
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{if}\;KbT \leq -9.903114064371258 \cdot 10^{+148}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)}\\ \mathbf{elif}\;KbT \leq -4.8318281611013115 \cdot 10^{-261}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 4.391812419067754 \cdot 10^{-213}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 1.9359023940492826 \cdot 10^{+71}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 3.575266168324005 \cdot 10^{+155}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 1.3943231836829932 \cdot 10^{+218}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;NdChar \cdot 0.5 + \frac{NaChar}{1 + e^{\frac{EAccept + \left(Vef + Ev\right)}{KbT}}}\\ \end{array} \]
Alternative 17
Error28.3
Cost7632
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{if}\;Vef \leq -1.1010362096508229 \cdot 10^{+222}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 2.0226285365214046 \cdot 10^{+43}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 8.941581687886309 \cdot 10^{+119}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{2}\\ \mathbf{elif}\;Vef \leq 6.775643968545699 \cdot 10^{+171}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 18
Error28.5
Cost7500
\[\begin{array}{l} t_0 := 1 + e^{\frac{Vef}{KbT}}\\ t_1 := \frac{NaChar}{t_0}\\ \mathbf{if}\;Vef \leq -1.1010362096508229 \cdot 10^{+222}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 2.0226285365214046 \cdot 10^{+43}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ \mathbf{elif}\;Vef \leq 4.278923438017494 \cdot 10^{+146}:\\ \;\;\;\;\frac{NdChar}{t_0} + \frac{NaChar}{2}\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 19
Error20.0
Cost7496
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{if}\;NaChar \leq -2.367389284070756 \cdot 10^{+100}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;NaChar \leq 3.9577063560159275 \cdot 10^{+60}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{\left(Vef + \left(EDonor + mu\right)\right) - Ec}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 20
Error38.1
Cost7376
\[\begin{array}{l} \mathbf{if}\;KbT \leq -1.991488055220193 \cdot 10^{-65}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{elif}\;KbT \leq -2.8425257852119457 \cdot 10^{-266}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{elif}\;KbT \leq 7.214248764131584 \cdot 10^{-84}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{-mu}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.81091011651938 \cdot 10^{+132}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)} + \frac{NaChar}{2}\\ \end{array} \]
Alternative 21
Error27.5
Cost7368
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{if}\;Vef \leq -1.1010362096508229 \cdot 10^{+222}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 6.775643968545699 \cdot 10^{+171}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Ev + EAccept\right) - mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 22
Error38.8
Cost7244
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{if}\;KbT \leq -8.689632199704875 \cdot 10^{-93}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 2.546129759679642 \cdot 10^{-242}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.81091011651938 \cdot 10^{+132}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)} + \frac{NaChar}{2}\\ \end{array} \]
Alternative 23
Error37.7
Cost7244
\[\begin{array}{l} \mathbf{if}\;KbT \leq -1.991488055220193 \cdot 10^{-65}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.546129759679642 \cdot 10^{-242}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.81091011651938 \cdot 10^{+132}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)} + \frac{NaChar}{2}\\ \end{array} \]
Alternative 24
Error38.8
Cost6980
\[\begin{array}{l} \mathbf{if}\;KbT \leq 2.81091011651938 \cdot 10^{+132}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)} + \frac{NaChar}{2}\\ \end{array} \]
Alternative 25
Error49.3
Cost1480
\[\begin{array}{l} t_0 := 0.5 \cdot \left(NdChar + NaChar\right)\\ \mathbf{if}\;Ev \leq -7.134678257775287 \cdot 10^{-107}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -4.843389145396855 \cdot 10^{-215}:\\ \;\;\;\;\frac{NaChar}{\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + \left(\frac{Vef}{KbT} + 2\right)\right)\right) - \frac{mu}{KbT}}\\ \mathbf{elif}\;Ev \leq 8.951945074948315 \cdot 10^{-220}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{\frac{mu}{KbT} + 2}\\ \end{array} \]
Alternative 26
Error46.9
Cost1096
\[\begin{array}{l} \mathbf{if}\;NdChar \leq 2.6663661498388252 \cdot 10^{-278}:\\ \;\;\;\;0.5 \cdot \left(NdChar + NaChar\right)\\ \mathbf{elif}\;NdChar \leq 5.97661450341788 \cdot 10^{-264}:\\ \;\;\;\;\frac{NdChar}{\frac{mu}{KbT} + 2}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + \left(1 + \frac{EDonor}{KbT}\right)} + \frac{NaChar}{2}\\ \end{array} \]
Alternative 27
Error46.3
Cost712
\[\begin{array}{l} t_0 := 0.5 \cdot \left(NdChar + NaChar\right)\\ \mathbf{if}\;KbT \leq 5.641200669291786 \cdot 10^{-301}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 3.6474348186928805 \cdot 10^{-181}:\\ \;\;\;\;\frac{NdChar}{\frac{mu}{KbT} + 2}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 28
Error46.6
Cost320
\[0.5 \cdot \left(NdChar + NaChar\right) \]
Alternative 29
Error52.3
Cost192
\[\frac{NaChar}{2} \]

Error

Reproduce

herbie shell --seed 2022316 
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
  :name "Bulmash initializePoisson"
  :precision binary64
  (+ (/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))