?

Average Accuracy: 100.0% → 100.0%
Time: 51.5s
Precision: binary64
Cost: 40768

?

\[\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}}} \]
\[\begin{array}{l} t_0 := \sqrt[3]{\frac{\left(\left(mu - Ec\right) + Vef\right) + EDonor}{KbT}}\\ \frac{NdChar}{1 + {\left(e^{{t_0}^{2}}\right)}^{t_0}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}} \end{array} \]
(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
 (let* ((t_0 (cbrt (/ (+ (+ (- mu Ec) Vef) EDonor) KbT))))
   (+
    (/ NdChar (+ 1.0 (pow (exp (pow t_0 2.0)) t_0)))
    (/ NaChar (+ 1.0 (exp (/ (- (+ Vef (+ Ev 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) {
	double t_0 = cbrt(((((mu - Ec) + Vef) + EDonor) / KbT));
	return (NdChar / (1.0 + pow(exp(pow(t_0, 2.0)), t_0))) + (NaChar / (1.0 + exp((((Vef + (Ev + 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((-(((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) {
	double t_0 = Math.cbrt(((((mu - Ec) + Vef) + EDonor) / KbT));
	return (NdChar / (1.0 + Math.pow(Math.exp(Math.pow(t_0, 2.0)), t_0))) + (NaChar / (1.0 + Math.exp((((Vef + (Ev + 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)
	t_0 = cbrt(Float64(Float64(Float64(Float64(mu - Ec) + Vef) + EDonor) / KbT))
	return Float64(Float64(NdChar / Float64(1.0 + (exp((t_0 ^ 2.0)) ^ t_0))) + Float64(NaChar / Float64(1.0 + exp(Float64(Float64(Float64(Vef + Float64(Ev + 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_] := Block[{t$95$0 = N[Power[N[(N[(N[(N[(mu - Ec), $MachinePrecision] + Vef), $MachinePrecision] + EDonor), $MachinePrecision] / KbT), $MachinePrecision], 1/3], $MachinePrecision]}, N[(N[(NdChar / N[(1.0 + N[Power[N[Exp[N[Power[t$95$0, 2.0], $MachinePrecision]], $MachinePrecision], t$95$0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(NaChar / N[(1.0 + N[Exp[N[(N[(N[(Vef + N[(Ev + EAccept), $MachinePrecision]), $MachinePrecision] - mu), $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}}}
\begin{array}{l}
t_0 := \sqrt[3]{\frac{\left(\left(mu - Ec\right) + Vef\right) + EDonor}{KbT}}\\
\frac{NdChar}{1 + {\left(e^{{t_0}^{2}}\right)}^{t_0}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}
\end{array}

Error?

Try it out?

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation?

  1. Initial program 100.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. Simplified100.0%

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

    [Start]100.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}}} \]

    neg-sub0 [=>]100.0

    \[ \frac{NdChar}{1 + e^{\frac{\color{blue}{0 - \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}}} \]

    associate--r- [=>]100.0

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

    +-commutative [=>]100.0

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

    neg-sub0 [<=]100.0

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

    sub-neg [<=]100.0

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

    associate--l- [=>]100.0

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

    unsub-neg [=>]100.0

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

    +-commutative [=>]100.0

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

    associate-+l+ [=>]100.0

    \[ \frac{NdChar}{1 + e^{\frac{mu - \left(Ec - \left(Vef + EDonor\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\color{blue}{\left(Vef + \left(Ev + EAccept\right)\right)} - mu}{KbT}}} \]
  3. Applied egg-rr100.0%

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

    [Start]100.0

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

    add-cube-cbrt [=>]100.0

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

    exp-prod [=>]100.0

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

    pow2 [=>]100.0

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

    associate--r- [=>]100.0

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

    associate-+r+ [=>]100.0

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

    associate--r- [=>]100.0

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

    associate-+r+ [=>]100.0

    \[ \frac{NdChar}{1 + {\left(e^{{\left(\sqrt[3]{\frac{\left(\left(mu - Ec\right) + Vef\right) + EDonor}{KbT}}\right)}^{2}}\right)}^{\left(\sqrt[3]{\frac{\color{blue}{\left(\left(mu - Ec\right) + Vef\right) + EDonor}}{KbT}}\right)}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}} \]
  4. Final simplification100.0%

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

Alternatives

Alternative 1
Accuracy76.3%
Cost15264
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_1 := t_0 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ t_2 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{if}\;mu \leq -240000000:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{elif}\;mu \leq -7 \cdot 10^{-96}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq -1.05 \cdot 10^{-170}:\\ \;\;\;\;t_2 + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \frac{Vef}{KbT}\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;mu \leq -5.5 \cdot 10^{-172}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + \frac{KbT + Vef \cdot \frac{KbT}{EDonor}}{KbT \cdot \frac{KbT}{EDonor}}\right)\right) - \frac{Ec}{KbT}\right)}\\ \mathbf{elif}\;mu \leq -9.5 \cdot 10^{-240}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{elif}\;mu \leq -4.2 \cdot 10^{-249}:\\ \;\;\;\;t_2 + \frac{KbT}{\frac{Vef}{NdChar}}\\ \mathbf{elif}\;mu \leq -4.2 \cdot 10^{-271}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{\left(mu + Vef\right) - Ec}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{elif}\;mu \leq 5.2 \cdot 10^{+87}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 + e^{\frac{-mu}{KbT}}}\\ \end{array} \]
Alternative 2
Accuracy75.0%
Cost15200
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_1 := t_0 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ t_2 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_3 := t_2 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{if}\;mu \leq -2600000000:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq -3.5 \cdot 10^{-93}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq -1.1 \cdot 10^{-169}:\\ \;\;\;\;t_2 + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \frac{Vef}{KbT}\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;mu \leq -3.3 \cdot 10^{-172}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + \frac{KbT + Vef \cdot \frac{KbT}{EDonor}}{KbT \cdot \frac{KbT}{EDonor}}\right)\right) - \frac{Ec}{KbT}\right)}\\ \mathbf{elif}\;mu \leq -9.5 \cdot 10^{-240}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{elif}\;mu \leq -4.2 \cdot 10^{-249}:\\ \;\;\;\;t_2 + \frac{KbT}{\frac{Vef}{NdChar}}\\ \mathbf{elif}\;mu \leq -8.2 \cdot 10^{-271}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{\left(mu + Vef\right) - Ec}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{elif}\;mu \leq 4 \cdot 10^{-110}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 3
Accuracy74.8%
Cost15068
\[\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(mu + Vef\right) - Ec}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_3 := t_0 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{if}\;Vef \leq -7.6 \cdot 10^{+130}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq -8 \cdot 10^{-56}:\\ \;\;\;\;t_2 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{elif}\;Vef \leq -8.5 \cdot 10^{-262}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Vef \leq 9.2 \cdot 10^{-209}:\\ \;\;\;\;NdChar + t_0\\ \mathbf{elif}\;Vef \leq 1.65 \cdot 10^{+43}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Vef \leq 1.32 \cdot 10^{+98}:\\ \;\;\;\;t_2 + \frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)}\\ \mathbf{elif}\;Vef \leq 8.5 \cdot 10^{+128}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 4
Accuracy66.5%
Cost14940
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_1 := NdChar + t_0\\ t_2 := \frac{NdChar}{1 + e^{\frac{\left(mu + Vef\right) - Ec}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{if}\;Vef \leq -7.6 \cdot 10^{+130}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq -6 \cdot 10^{-37}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Vef \leq -5.5 \cdot 10^{-85}:\\ \;\;\;\;t_0 + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \frac{Vef}{KbT}\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;Vef \leq -1.3 \cdot 10^{-145}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq -3.3 \cdot 10^{-257}:\\ \;\;\;\;t_0 + \frac{NdChar}{1 + \left(\left(1 + \frac{mu}{KbT}\right) + 0.5 \cdot \frac{mu \cdot mu}{KbT \cdot KbT}\right)}\\ \mathbf{elif}\;Vef \leq 7.6 \cdot 10^{-195}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 5.5 \cdot 10^{+16}:\\ \;\;\;\;t_0 + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}\right)}\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 5
Accuracy74.9%
Cost14936
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_1 := t_0 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{\left(mu + Vef\right) - Ec}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{if}\;Vef \leq -5.8 \cdot 10^{+109}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq -1.9 \cdot 10^{-259}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 2.5 \cdot 10^{-208}:\\ \;\;\;\;NdChar + t_0\\ \mathbf{elif}\;Vef \leq 2 \cdot 10^{+43}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 7.5 \cdot 10^{+101}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}} + \frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)}\\ \mathbf{elif}\;Vef \leq 1.16 \cdot 10^{+129}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 6
Accuracy64.3%
Cost14816
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_1 := t_0 + 2 \cdot \left(\frac{NaChar}{EAccept} \cdot \frac{KbT \cdot KbT}{EAccept}\right)\\ t_2 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_3 := NdChar + t_2\\ t_4 := t_2 + \frac{NdChar}{1 - EDonor \cdot \frac{Ec \cdot \frac{KbT}{EDonor} - KbT}{KbT \cdot KbT}}\\ \mathbf{if}\;KbT \leq -2.15 \cdot 10^{+148}:\\ \;\;\;\;t_2 + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \frac{Vef}{KbT}\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.12 \cdot 10^{-166}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq -3 \cdot 10^{-302}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq 6.6 \cdot 10^{-270}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 5.5 \cdot 10^{-216}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq 1.05 \cdot 10^{-172}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 6.5 \cdot 10^{-171}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 1.28 \cdot 10^{-129}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;KbT \leq 2.85 \cdot 10^{-95}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 3.4 \cdot 10^{+75}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_0 + \frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)}\\ \end{array} \]
Alternative 7
Accuracy100.0%
Cost14528
\[\frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}} + \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}} \]
Alternative 8
Accuracy57.9%
Cost9840
\[\begin{array}{l} t_0 := 2 + \frac{Vef}{KbT}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_2 := NdChar + t_1\\ t_3 := t_1 + \frac{NdChar}{\left(\frac{mu}{KbT} + t_0\right) - \frac{Ec}{KbT}}\\ t_4 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_5 := t_4 + \frac{NaChar}{t_0}\\ t_6 := t_4 + \frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)}\\ \mathbf{if}\;EAccept \leq -1.2 \cdot 10^{-52}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;EAccept \leq 2.15 \cdot 10^{-285}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;EAccept \leq 1.36 \cdot 10^{-123}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EAccept \leq 1.36 \cdot 10^{-96}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;EAccept \leq 9.6 \cdot 10^{-62}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \left(\frac{Vef}{KbT} - \frac{Ec}{KbT}\right)}\\ \mathbf{elif}\;EAccept \leq 1.05 \cdot 10^{-22}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;EAccept \leq 15500000:\\ \;\;\;\;t_3\\ \mathbf{elif}\;EAccept \leq 8.5 \cdot 10^{+84}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;EAccept \leq 3 \cdot 10^{+138}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EAccept \leq 1.46 \cdot 10^{+153}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;EAccept \leq 5 \cdot 10^{+208}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EAccept \leq 1.6 \cdot 10^{+226}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_6\\ \end{array} \]
Alternative 9
Accuracy57.8%
Cost9840
\[\begin{array}{l} t_0 := 2 + \frac{Vef}{KbT}\\ t_1 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_2 := t_1 + \frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)}\\ t_3 := t_1 + \frac{NaChar}{t_0}\\ t_4 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_5 := NdChar + t_4\\ t_6 := t_4 + \frac{NdChar}{\left(\frac{mu}{KbT} + t_0\right) - \frac{Ec}{KbT}}\\ \mathbf{if}\;EAccept \leq -9.5 \cdot 10^{-53}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;EAccept \leq 1.5 \cdot 10^{-283}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;EAccept \leq 5.2 \cdot 10^{-122}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;EAccept \leq 1.85 \cdot 10^{-96}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;EAccept \leq 1.05 \cdot 10^{-69}:\\ \;\;\;\;t_4 + \frac{NdChar}{1 + \left(\frac{Vef}{KbT} - \frac{Ec}{KbT}\right)}\\ \mathbf{elif}\;EAccept \leq 1.05 \cdot 10^{-21}:\\ \;\;\;\;t_1 + \frac{NaChar}{\left(2 + \frac{EAccept}{KbT}\right) + 0.5 \cdot \frac{EAccept \cdot EAccept}{KbT \cdot KbT}}\\ \mathbf{elif}\;EAccept \leq 12500000:\\ \;\;\;\;t_6\\ \mathbf{elif}\;EAccept \leq 3.4 \cdot 10^{+84}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EAccept \leq 5 \cdot 10^{+137}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;EAccept \leq 3.2 \cdot 10^{+151}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;EAccept \leq 5.5 \cdot 10^{+208}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;EAccept \leq 1.16 \cdot 10^{+225}:\\ \;\;\;\;t_6\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 10
Accuracy55.6%
Cost9708
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_1 := t_0 + \frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)}\\ t_2 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_3 := NdChar + t_2\\ t_4 := t_0 + \frac{NaChar}{2 + \frac{Vef}{KbT}}\\ \mathbf{if}\;Ec \leq -5.8 \cdot 10^{+248}:\\ \;\;\;\;t_2 - \frac{KbT}{\frac{Ec}{NdChar}}\\ \mathbf{elif}\;Ec \leq -3.6 \cdot 10^{+51}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ec \leq -8000000000000:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Ec \leq -2.05 \cdot 10^{-160}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ec \leq -3.6 \cdot 10^{-230}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + \left(\frac{Vef}{KbT} - \frac{Ec}{KbT}\right)}\\ \mathbf{elif}\;Ec \leq -1.05 \cdot 10^{-296}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Ec \leq 6.6 \cdot 10^{-254}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 + \left(1 + \frac{mu}{KbT}\right)}\\ \mathbf{elif}\;Ec \leq 3.5 \cdot 10^{-237}:\\ \;\;\;\;t_0 + 2 \cdot \left(\frac{NaChar}{EAccept} \cdot \frac{KbT \cdot KbT}{EAccept}\right)\\ \mathbf{elif}\;Ec \leq 1.6 \cdot 10^{-138}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Ec \leq 10^{-76}:\\ \;\;\;\;t_2 + \frac{NdChar}{1 - \frac{KbT \cdot \left(Ec - EDonor\right)}{KbT \cdot KbT}}\\ \mathbf{elif}\;Ec \leq 0.03:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 11
Accuracy64.1%
Cost9312
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_2 := NdChar + t_1\\ t_3 := t_1 + \frac{NdChar}{1 - EDonor \cdot \frac{Ec \cdot \frac{KbT}{EDonor} - KbT}{KbT \cdot KbT}}\\ t_4 := t_1 + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \frac{Vef}{KbT}\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{if}\;KbT \leq -5 \cdot 10^{+149}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq -6.8 \cdot 10^{-167}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq -6.4 \cdot 10^{-296}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 8.2 \cdot 10^{-269}:\\ \;\;\;\;t_0 + 2 \cdot \left(\frac{NaChar}{EAccept} \cdot \frac{KbT \cdot KbT}{EAccept}\right)\\ \mathbf{elif}\;KbT \leq 5.5 \cdot 10^{-216}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 1.25 \cdot 10^{-159}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq 3.3 \cdot 10^{-46}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq 1.95 \cdot 10^{+75}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_0 + \frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)}\\ \end{array} \]
Alternative 12
Accuracy64.7%
Cost8400
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ t_1 := NdChar + t_0\\ t_2 := t_0 + \frac{NdChar}{1 + \left(1 + \frac{mu}{KbT}\right)}\\ \mathbf{if}\;KbT \leq -4.8 \cdot 10^{+149}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq 8 \cdot 10^{-296}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 1.9 \cdot 10^{-95}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}} + 2 \cdot \left(\frac{NaChar}{EAccept} \cdot \frac{KbT \cdot KbT}{EAccept}\right)\\ \mathbf{elif}\;KbT \leq 3.5 \cdot 10^{+96}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 13
Accuracy44.1%
Cost8033
\[\begin{array}{l} t_0 := \frac{Vef}{KbT} + \frac{EDonor}{KbT}\\ t_1 := NdChar + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{if}\;Ev \leq -8.2 \cdot 10^{+139}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -1 \cdot 10^{+114}:\\ \;\;\;\;\frac{NaChar}{2} + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + t_0\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;Ev \leq -4.7 \cdot 10^{-91}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -8.6 \cdot 10^{-137}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{2}\\ \mathbf{elif}\;Ev \leq -2.2 \cdot 10^{-137}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -5 \cdot 10^{-167}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{KbT}{\frac{EDonor}{NdChar}}\\ \mathbf{elif}\;Ev \leq -9 \cdot 10^{-193} \lor \neg \left(Ev \leq 2.3 \cdot 10^{-306}\right):\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)} + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + t_0\right)\right) - \frac{Ec}{KbT}\right)}\\ \end{array} \]
Alternative 14
Accuracy44.0%
Cost8033
\[\begin{array}{l} t_0 := \frac{Vef}{KbT} + \frac{EDonor}{KbT}\\ t_1 := NdChar + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{if}\;Ev \leq -8.2 \cdot 10^{+139}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -1.12 \cdot 10^{+114}:\\ \;\;\;\;\frac{NaChar}{2} + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + t_0\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;Ev \leq -6.2 \cdot 10^{-91}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Ev \leq -1.6 \cdot 10^{-136}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{2}\\ \mathbf{elif}\;Ev \leq -4.6 \cdot 10^{-138}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + \frac{NaChar}{2}\\ \mathbf{elif}\;Ev \leq -4.9 \cdot 10^{-167}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{KbT}{\frac{EDonor}{NdChar}}\\ \mathbf{elif}\;Ev \leq -1.6 \cdot 10^{-194} \lor \neg \left(Ev \leq 2.55 \cdot 10^{-306}\right):\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)} + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + t_0\right)\right) - \frac{Ec}{KbT}\right)}\\ \end{array} \]
Alternative 15
Accuracy44.0%
Cost8033
\[\begin{array}{l} t_0 := NdChar + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{if}\;Ev \leq -1.2 \cdot 10^{+156}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -6.2 \cdot 10^{+113}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{2}\\ \mathbf{elif}\;Ev \leq -8.2 \cdot 10^{-91}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ev \leq -1.5 \cdot 10^{-136}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{2}\\ \mathbf{elif}\;Ev \leq -3.8 \cdot 10^{-138}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + \frac{NaChar}{2}\\ \mathbf{elif}\;Ev \leq -5.6 \cdot 10^{-170}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{KbT}{\frac{EDonor}{NdChar}}\\ \mathbf{elif}\;Ev \leq -1.3 \cdot 10^{-193} \lor \neg \left(Ev \leq 2.3 \cdot 10^{-306}\right):\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)} + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}\right)}\\ \end{array} \]
Alternative 16
Accuracy67.6%
Cost8009
\[\begin{array}{l} \mathbf{if}\;NdChar \leq -3.8 \cdot 10^{+89} \lor \neg \left(NdChar \leq 6.6 \cdot 10^{+88}\right):\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}} + \frac{NaChar}{2 + \frac{EAccept}{KbT}}\\ \mathbf{else}:\\ \;\;\;\;NdChar + \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \end{array} \]
Alternative 17
Accuracy67.6%
Cost8008
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(\left(Vef + EDonor\right) - Ec\right)}{KbT}}}\\ \mathbf{if}\;NdChar \leq -1.4 \cdot 10^{+88}:\\ \;\;\;\;t_0 + \frac{NaChar}{2 + \frac{EAccept}{KbT}}\\ \mathbf{elif}\;NdChar \leq 5.5 \cdot 10^{+90}:\\ \;\;\;\;NdChar + \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_0 + \frac{NaChar}{2 + \frac{Vef}{KbT}}\\ \end{array} \]
Alternative 18
Accuracy66.4%
Cost7753
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{if}\;KbT \leq -2.45 \cdot 10^{+149} \lor \neg \left(KbT \leq 3.4 \cdot 10^{+96}\right):\\ \;\;\;\;t_0 + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;NdChar + t_0\\ \end{array} \]
Alternative 19
Accuracy63.7%
Cost7624
\[\begin{array}{l} \mathbf{if}\;KbT \leq -7 \cdot 10^{+150}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{2}\\ \mathbf{elif}\;KbT \leq 8 \cdot 10^{+108}:\\ \;\;\;\;NdChar + \frac{NaChar}{1 + e^{\frac{\left(Vef + \left(Ev + EAccept\right)\right) - mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{2} + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \end{array} \]
Alternative 20
Accuracy48.7%
Cost7240
\[\begin{array}{l} t_0 := \frac{Vef}{KbT} + \frac{EDonor}{KbT}\\ \mathbf{if}\;KbT \leq -2.5 \cdot 10^{+150}:\\ \;\;\;\;\frac{NaChar}{2} + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + t_0\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;KbT \leq 4.5 \cdot 10^{+94}:\\ \;\;\;\;NdChar + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)} + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + t_0\right)\right) - \frac{Ec}{KbT}\right)}\\ \end{array} \]
Alternative 21
Accuracy48.6%
Cost7240
\[\begin{array}{l} \mathbf{if}\;KbT \leq -2 \cdot 10^{+55}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{2}\\ \mathbf{elif}\;KbT \leq 6 \cdot 10^{+94}:\\ \;\;\;\;NdChar + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)} + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}\right)}\\ \end{array} \]
Alternative 22
Accuracy27.6%
Cost2632
\[\begin{array}{l} \mathbf{if}\;KbT \leq 2.6 \cdot 10^{-282}:\\ \;\;\;\;\frac{NaChar}{2} + \frac{NdChar}{2}\\ \mathbf{elif}\;KbT \leq 6.8 \cdot 10^{-215}:\\ \;\;\;\;\frac{NdChar}{1 + \left(\frac{EDonor}{KbT} - \frac{Ec}{KbT}\right)} + \frac{NaChar}{1 + \left(\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + \left(1 + \frac{Vef}{KbT}\right)\right)\right) - \frac{mu}{KbT}\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{2 + \frac{EAccept}{KbT} \cdot \left(1 + \frac{EAccept \cdot 0.5}{KbT}\right)} + \frac{NdChar}{1 + \left(\left(\frac{mu}{KbT} + \left(1 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}\right)}\\ \end{array} \]
Alternative 23
Accuracy27.4%
Cost2377
\[\begin{array}{l} \mathbf{if}\;KbT \leq 4 \cdot 10^{-285} \lor \neg \left(KbT \leq 5.4 \cdot 10^{-214}\right):\\ \;\;\;\;\frac{NaChar}{2} + \frac{NdChar}{2}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + \left(\frac{EDonor}{KbT} - \frac{Ec}{KbT}\right)} + \frac{NaChar}{1 + \left(\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + \left(1 + \frac{Vef}{KbT}\right)\right)\right) - \frac{mu}{KbT}\right)}\\ \end{array} \]
Alternative 24
Accuracy17.1%
Cost584
\[\begin{array}{l} \mathbf{if}\;NaChar \leq -2.05 \cdot 10^{-122}:\\ \;\;\;\;NaChar \cdot 0.5\\ \mathbf{elif}\;NaChar \leq -2.4 \cdot 10^{-303}:\\ \;\;\;\;KbT \cdot \frac{NdChar}{EDonor}\\ \mathbf{else}:\\ \;\;\;\;NaChar \cdot 0.5\\ \end{array} \]
Alternative 25
Accuracy19.0%
Cost584
\[\begin{array}{l} \mathbf{if}\;KbT \leq -6.9 \cdot 10^{-72}:\\ \;\;\;\;NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq 4.2 \cdot 10^{-112}:\\ \;\;\;\;\frac{NdChar \cdot KbT}{EDonor}\\ \mathbf{else}:\\ \;\;\;\;NaChar \cdot 0.5\\ \end{array} \]
Alternative 26
Accuracy27.2%
Cost448
\[\frac{NaChar}{2} + \frac{NdChar}{2} \]
Alternative 27
Accuracy17.7%
Cost192
\[NaChar \cdot 0.5 \]

Error

Reproduce?

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