?

Average Error: 0.0 → 0.0
Time: 48.8s
Precision: binary64
Cost: 20928

?

\[\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}^{\left(\frac{Vef + \left(mu + \left(EDonor - Ec\right)\right)}{KbT}\right)}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\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 (pow E (/ (+ Vef (+ mu (- EDonor Ec))) KbT))))
  (/ 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) {
	return (NdChar / (1.0 + pow(((double) M_E), ((Vef + (mu + (EDonor - Ec))) / KbT)))) + (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) {
	return (NdChar / (1.0 + Math.pow(Math.E, ((Vef + (mu + (EDonor - Ec))) / KbT)))) + (NaChar / (1.0 + Math.exp((((Vef + Ev) + (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.pow(math.e, ((Vef + (mu + (EDonor - Ec))) / KbT)))) + (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)
	return Float64(Float64(NdChar / Float64(1.0 + (exp(1) ^ Float64(Float64(Vef + Float64(mu + Float64(EDonor - Ec))) / KbT)))) + Float64(NaChar / Float64(1.0 + exp(Float64(Float64(Float64(Vef + Ev) + 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 + (2.71828182845904523536 ^ ((Vef + (mu + (EDonor - Ec))) / KbT)))) + (NaChar / (1.0 + exp((((Vef + 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_] := N[(N[(NdChar / N[(1.0 + N[Power[E, N[(N[(Vef + N[(mu + N[(EDonor - Ec), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / KbT), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(NaChar / N[(1.0 + N[Exp[N[(N[(N[(Vef + Ev), $MachinePrecision] + N[(EAccept - mu), $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}^{\left(\frac{Vef + \left(mu + \left(EDonor - Ec\right)\right)}{KbT}\right)}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\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{mu - \left(\left(Ec - Vef\right) - EDonor\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}}} \]
    Proof

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

    neg-sub0 [=>]0.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- [=>]0.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 [=>]0.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}}} \]

    sub0-neg [=>]0.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 [<=]0.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+ [=>]0.0

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

    +-commutative [=>]0.0

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

    unsub-neg [=>]0.0

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

  3. Applied egg-rr0.0

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

  4. Simplified0.0

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

    [Start]0.0

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

    +-commutative [=>]0.0

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

    associate--l+ [<=]0.0

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

    associate-+r- [=>]0.0

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

    +-commutative [<=]0.0

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

    associate--l+ [=>]0.0

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

    associate-+r+ [<=]0.0

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

  5. Final simplification0.0

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

Alternatives

Alternative 1
Error15.6
Cost15000
\[\begin{array}{l} t_0 := \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\\ t_1 := \frac{NdChar}{1 + e^{t_0}}\\ t_2 := t_1 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ t_3 := t_1 + \frac{NaChar}{1 + e^{\frac{-mu}{KbT}}}\\ \mathbf{if}\;mu \leq -2.5 \cdot 10^{+116}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq -2.1 \cdot 10^{-117}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + t_0\right)}\\ \mathbf{elif}\;mu \leq 1.15 \cdot 10^{-282}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \mathbf{elif}\;mu \leq 1.32 \cdot 10^{-123}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 1.4 \cdot 10^{+30}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{elif}\;mu \leq 4.3 \cdot 10^{+125}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 2
Error19.9
Cost14544
\[\begin{array}{l} t_0 := \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\\ t_1 := \frac{NdChar}{1 + e^{t_0}}\\ t_2 := 1 + e^{\frac{Vef}{KbT}}\\ \mathbf{if}\;NdChar \leq -1.1 \cdot 10^{-72}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + \left(1 - \frac{Vef}{KbT} \cdot \left(-1 - \frac{Vef}{\frac{KbT}{0.5}}\right)\right)}\\ \mathbf{elif}\;NdChar \leq 3 \cdot 10^{-11}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + t_0\right)}\\ \mathbf{elif}\;NdChar \leq 2 \cdot 10^{+83}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + \frac{Vef}{KbT}}\\ \mathbf{elif}\;NdChar \leq 1.05 \cdot 10^{+123}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{1 + e^{\frac{\left(mu + EDonor\right) - Ec}{KbT}}}\\ \mathbf{elif}\;NdChar \leq 4.4 \cdot 10^{+149}:\\ \;\;\;\;\frac{NaChar}{t_2} + \frac{NdChar}{t_2}\\ \mathbf{else}:\\ \;\;\;\;NaChar + t_1\\ \end{array} \]
Alternative 3
Error0.0
Cost14528
\[\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}} \]
Alternative 4
Error17.0
Cost14409
\[\begin{array}{l} t_0 := \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\\ \mathbf{if}\;NdChar \leq -1 \cdot 10^{-72} \lor \neg \left(NdChar \leq 1.96 \cdot 10^{-28}\right):\\ \;\;\;\;\frac{NdChar}{1 + e^{t_0}} + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + t_0\right)}\\ \end{array} \]
Alternative 5
Error17.2
Cost14408
\[\begin{array}{l} t_0 := \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\\ t_1 := \frac{NdChar}{1 + e^{t_0}}\\ \mathbf{if}\;NdChar \leq -1.75 \cdot 10^{-72}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{elif}\;NdChar \leq 1.25 \cdot 10^{-140}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + t_0\right)}\\ \mathbf{else}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \end{array} \]
Alternative 6
Error16.7
Cost14408
\[\begin{array}{l} t_0 := \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\\ t_1 := \frac{NdChar}{1 + e^{t_0}}\\ \mathbf{if}\;NdChar \leq -8.6 \cdot 10^{-73}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \mathbf{elif}\;NdChar \leq 2.5 \cdot 10^{-87}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + t_0\right)}\\ \mathbf{else}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{Vef}{KbT}}}\\ \end{array} \]
Alternative 7
Error41.1
Cost9280
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{-mu}{KbT}}} + NdChar \cdot 0.5\\ t_1 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ t_2 := 1 + e^{\frac{Vef}{KbT}}\\ t_3 := \frac{NdChar}{t_2} + NaChar \cdot 0.5\\ t_4 := \frac{NaChar}{t_2} + \frac{KbT}{\frac{Vef}{NdChar}}\\ t_5 := \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ t_6 := t_5 + \frac{NaChar}{1 + \frac{EAccept}{KbT}}\\ t_7 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{if}\;mu \leq -1.65 \cdot 10^{+232}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;mu \leq -5.4 \cdot 10^{+168}:\\ \;\;\;\;t_7\\ \mathbf{elif}\;mu \leq -3.9 \cdot 10^{+117}:\\ \;\;\;\;NaChar \cdot 0.5 + t_5\\ \mathbf{elif}\;mu \leq -6.8 \cdot 10^{+79}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq -1.3 \cdot 10^{+55}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;mu \leq -2.9 \cdot 10^{+48}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;mu \leq -4 \cdot 10^{-236}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \mathbf{elif}\;mu \leq 4.8 \cdot 10^{-274}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;mu \leq 1.15 \cdot 10^{-197}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq 1.42 \cdot 10^{-186}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;mu \leq 4.3 \cdot 10^{-117}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq 8.2 \cdot 10^{-61}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq 4.4 \cdot 10^{+36}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;mu \leq 1.9 \cdot 10^{+83}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \mathbf{elif}\;mu \leq 6.9 \cdot 10^{+124}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq 4.8 \cdot 10^{+207}:\\ \;\;\;\;t_7\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 8
Error40.9
Cost9208
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ t_1 := \frac{NaChar}{1 + \frac{EAccept}{KbT}}\\ t_2 := 1 + e^{\frac{Vef}{KbT}}\\ t_3 := \frac{NdChar}{t_2}\\ t_4 := t_3 + t_1\\ t_5 := t_3 + NaChar \cdot 0.5\\ t_6 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ t_7 := \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ t_8 := t_7 + t_1\\ t_9 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{if}\;mu \leq -9.2 \cdot 10^{+232}:\\ \;\;\;\;t_8\\ \mathbf{elif}\;mu \leq -8.2 \cdot 10^{+168}:\\ \;\;\;\;t_9\\ \mathbf{elif}\;mu \leq -1.9 \cdot 10^{+117}:\\ \;\;\;\;NaChar \cdot 0.5 + t_7\\ \mathbf{elif}\;mu \leq -1.36 \cdot 10^{+81}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;mu \leq -9 \cdot 10^{+48}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;mu \leq -2.4 \cdot 10^{-238}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;mu \leq 3.3 \cdot 10^{-271}:\\ \;\;\;\;t_8\\ \mathbf{elif}\;mu \leq 5.9 \cdot 10^{-227}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;mu \leq 1.55 \cdot 10^{-183}:\\ \;\;\;\;t_8\\ \mathbf{elif}\;mu \leq 4.7 \cdot 10^{-116}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;mu \leq 8.2 \cdot 10^{-61}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;mu \leq 2.9 \cdot 10^{+36}:\\ \;\;\;\;\frac{NaChar}{t_2} + \frac{KbT}{\frac{Vef}{NdChar}}\\ \mathbf{elif}\;mu \leq 3.5 \cdot 10^{+80}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;mu \leq 8 \cdot 10^{+109}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;t_9\\ \end{array} \]
Alternative 9
Error23.6
Cost8660
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}}\\ t_1 := t_0 + \frac{KbT}{\frac{Vef + \left(\left(mu + EDonor\right) - Ec\right)}{NdChar}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ \mathbf{if}\;NdChar \leq -1 \cdot 10^{-20}:\\ \;\;\;\;t_2 + \frac{NaChar}{1 - \frac{mu}{KbT}}\\ \mathbf{elif}\;NdChar \leq -8 \cdot 10^{-112}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;NdChar \leq -9.2 \cdot 10^{-166}:\\ \;\;\;\;t_2 + \frac{NaChar}{1 + \frac{Ev}{KbT}}\\ \mathbf{elif}\;NdChar \leq -7.8 \cdot 10^{-252}:\\ \;\;\;\;t_0 + NdChar \cdot 0.5\\ \mathbf{elif}\;NdChar \leq 2.2 \cdot 10^{-193}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;NaChar + t_2\\ \end{array} \]
Alternative 10
Error41.0
Cost8556
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + NaChar \cdot 0.5\\ t_1 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ t_2 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ t_3 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ t_4 := NaChar + NdChar \cdot 0.5\\ \mathbf{if}\;mu \leq -7 \cdot 10^{+113}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq -2.6 \cdot 10^{-125}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq -2 \cdot 10^{-258}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \mathbf{elif}\;mu \leq 8.2 \cdot 10^{-283}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;mu \leq 2.6 \cdot 10^{-200}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;mu \leq 1.9 \cdot 10^{-170}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 5.5 \cdot 10^{-117}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq 1.85 \cdot 10^{-106}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;mu \leq 8.2 \cdot 10^{-61}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 2.9 \cdot 10^{+36}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + \frac{KbT}{\frac{Vef}{NdChar}}\\ \mathbf{elif}\;mu \leq 3.1 \cdot 10^{+139}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 11
Error40.8
Cost8556
\[\begin{array}{l} t_0 := 1 + e^{\frac{Vef}{KbT}}\\ t_1 := \frac{NdChar}{t_0} + NaChar \cdot 0.5\\ t_2 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ t_3 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ t_4 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ t_5 := NaChar + NdChar \cdot 0.5\\ \mathbf{if}\;mu \leq -7.5 \cdot 10^{+113}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;mu \leq -1.36 \cdot 10^{-126}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq -2.2 \cdot 10^{-258}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \mathbf{elif}\;mu \leq 5.5 \cdot 10^{-283}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;mu \leq 4 \cdot 10^{-200}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq 3.4 \cdot 10^{-170}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq 2.35 \cdot 10^{-117}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 10^{-106}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq 8.2 \cdot 10^{-61}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;mu \leq 1.62 \cdot 10^{+37}:\\ \;\;\;\;\frac{NaChar}{t_0} + \frac{KbT}{\frac{Vef}{NdChar}}\\ \mathbf{elif}\;mu \leq 2.45 \cdot 10^{+140}:\\ \;\;\;\;t_5\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 12
Error41.3
Cost8556
\[\begin{array}{l} t_0 := 1 + e^{\frac{Vef}{KbT}}\\ t_1 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ t_2 := NaChar + NdChar \cdot 0.5\\ t_3 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ t_4 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{if}\;mu \leq -4.2 \cdot 10^{+113}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq -4.2 \cdot 10^{-126}:\\ \;\;\;\;t_3 + NdChar \cdot 0.5\\ \mathbf{elif}\;mu \leq -7.8 \cdot 10^{-257}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \mathbf{elif}\;mu \leq 5.4 \cdot 10^{-283}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 9 \cdot 10^{-199}:\\ \;\;\;\;\frac{NdChar}{t_0} + NaChar \cdot 0.5\\ \mathbf{elif}\;mu \leq 2.8 \cdot 10^{-166}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;mu \leq 9.2 \cdot 10^{-143}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 5.3 \cdot 10^{-107}:\\ \;\;\;\;t_3 - \frac{NdChar \cdot KbT}{Ec}\\ \mathbf{elif}\;mu \leq 5.4 \cdot 10^{-61}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;mu \leq 5.2 \cdot 10^{+36}:\\ \;\;\;\;\frac{NaChar}{t_0} + \frac{KbT}{\frac{Vef}{NdChar}}\\ \mathbf{elif}\;mu \leq 2.4 \cdot 10^{+139}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 13
Error39.4
Cost8552
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + \frac{EAccept}{KbT}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ t_2 := NaChar \cdot 0.5 + t_1\\ t_3 := 1 + e^{\frac{Vef}{KbT}}\\ t_4 := \frac{NdChar}{t_3} + t_0\\ t_5 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \mathbf{if}\;Ec \leq -1.15 \cdot 10^{+138}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Ec \leq -2.8 \cdot 10^{-8}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \mathbf{elif}\;Ec \leq -3.6 \cdot 10^{-120}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ec \leq -1.6 \cdot 10^{-220}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Ec \leq -2.05 \cdot 10^{-255}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ec \leq 1.05 \cdot 10^{-265}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{elif}\;Ec \leq 2.5 \cdot 10^{-54}:\\ \;\;\;\;t_1 + t_0\\ \mathbf{elif}\;Ec \leq 7.8 \cdot 10^{+31}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Ec \leq 2.45 \cdot 10^{+188}:\\ \;\;\;\;t_0 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{elif}\;Ec \leq 6.5 \cdot 10^{+249}:\\ \;\;\;\;\frac{NaChar}{t_3} + \frac{KbT}{\frac{Vef}{NdChar}}\\ \mathbf{else}:\\ \;\;\;\;t_5\\ \end{array} \]
Alternative 14
Error22.4
Cost8520
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ \mathbf{if}\;NdChar \leq -2.3 \cdot 10^{+68}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 - \frac{mu}{KbT}}\\ \mathbf{elif}\;NdChar \leq -7.8 \cdot 10^{-125}:\\ \;\;\;\;t_0 + \frac{NaChar}{\left(\frac{Ev}{KbT} + \left(\frac{Vef}{KbT} + 2\right)\right) - \frac{mu}{KbT}}\\ \mathbf{elif}\;NdChar \leq 1.4 \cdot 10^{-193}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{KbT}{\frac{Vef + \left(\left(mu + EDonor\right) - Ec\right)}{NdChar}}\\ \mathbf{else}:\\ \;\;\;\;NaChar + t_0\\ \end{array} \]
Alternative 15
Error20.6
Cost8520
\[\begin{array}{l} t_0 := \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\\ t_1 := \frac{NdChar}{1 + e^{t_0}}\\ \mathbf{if}\;NdChar \leq -2.4 \cdot 10^{-20}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 - \frac{mu}{KbT}}\\ \mathbf{elif}\;NdChar \leq 4.6 \cdot 10^{-88}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + t_0\right)}\\ \mathbf{else}:\\ \;\;\;\;NaChar + t_1\\ \end{array} \]
Alternative 16
Error19.4
Cost8520
\[\begin{array}{l} t_0 := \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\\ t_1 := \frac{NdChar}{1 + e^{t_0}}\\ \mathbf{if}\;NdChar \leq -6 \cdot 10^{-73}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + \left(1 - \frac{Vef}{KbT} \cdot \left(-1 - \frac{Vef}{\frac{KbT}{0.5}}\right)\right)}\\ \mathbf{elif}\;NdChar \leq 7.9 \cdot 10^{-87}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + \frac{NdChar}{1 + \left(1 + t_0\right)}\\ \mathbf{else}:\\ \;\;\;\;NaChar + t_1\\ \end{array} \]
Alternative 17
Error23.9
Cost8404
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}}\\ t_2 := t_1 + NdChar \cdot 0.5\\ \mathbf{if}\;NaChar \leq -2 \cdot 10^{+133}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;NaChar \leq -5 \cdot 10^{+93}:\\ \;\;\;\;t_1 + KbT \cdot \frac{NdChar}{Vef}\\ \mathbf{elif}\;NaChar \leq -9.5 \cdot 10^{+14}:\\ \;\;\;\;t_0 + NaChar \cdot 0.5\\ \mathbf{elif}\;NaChar \leq 6 \cdot 10^{+40}:\\ \;\;\;\;NaChar + t_0\\ \mathbf{elif}\;NaChar \leq 1.15 \cdot 10^{+173}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 - \frac{mu}{KbT}}\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 18
Error40.1
Cost8292
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + NaChar \cdot 0.5\\ t_1 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ t_2 := NaChar + NdChar \cdot 0.5\\ \mathbf{if}\;mu \leq -2.15 \cdot 10^{+114}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;mu \leq -3.6 \cdot 10^{-127}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{elif}\;mu \leq -6.8 \cdot 10^{-257}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \mathbf{elif}\;mu \leq 5.5 \cdot 10^{-283}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 9.5 \cdot 10^{-200}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;mu \leq 3.5 \cdot 10^{-166}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;mu \leq 2.45 \cdot 10^{-155}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;mu \leq 6.8 \cdot 10^{-126}:\\ \;\;\;\;\frac{NdChar}{1 + \left(1 + \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{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{elif}\;mu \leq 2.2 \cdot 10^{+140}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 19
Error25.2
Cost8272
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ \mathbf{if}\;NdChar \leq -9.5 \cdot 10^{-13}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + \frac{Vef}{KbT}}\\ \mathbf{elif}\;NdChar \leq -8.6 \cdot 10^{-73}:\\ \;\;\;\;t_1 + NaChar \cdot 0.5\\ \mathbf{elif}\;NdChar \leq -5.8 \cdot 10^{-111}:\\ \;\;\;\;t_0 + NdChar \cdot \frac{KbT}{Ec}\\ \mathbf{elif}\;NdChar \leq -3.6 \cdot 10^{-209}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + \frac{Ev}{KbT}}\\ \mathbf{elif}\;NdChar \leq 2.9 \cdot 10^{-219}:\\ \;\;\;\;t_0 + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;NaChar + t_1\\ \end{array} \]
Alternative 20
Error24.3
Cost8149
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}}\\ t_2 := t_1 + NdChar \cdot 0.5\\ \mathbf{if}\;NaChar \leq -4 \cdot 10^{+133}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;NaChar \leq -5.2 \cdot 10^{+98}:\\ \;\;\;\;t_1 + KbT \cdot \frac{NdChar}{Vef}\\ \mathbf{elif}\;NaChar \leq -5.5 \cdot 10^{+17}:\\ \;\;\;\;t_0 + NaChar \cdot 0.5\\ \mathbf{elif}\;NaChar \leq 4 \cdot 10^{-34} \lor \neg \left(NaChar \leq 1.4 \cdot 10^{+218}\right):\\ \;\;\;\;NaChar + t_0\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 21
Error41.3
Cost8029
\[\begin{array}{l} t_0 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{if}\;Ec \leq -1.3 \cdot 10^{+159}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Ec \leq -6.4 \cdot 10^{+73}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \mathbf{elif}\;Ec \leq -2.4 \cdot 10^{-277}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + NaChar \cdot 0.5\\ \mathbf{elif}\;Ec \leq 6.6 \cdot 10^{-225}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{elif}\;Ec \leq 1.5 \cdot 10^{-213}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{elif}\;Ec \leq 122000000000 \lor \neg \left(Ec \leq 7.8 \cdot 10^{+279}\right):\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 22
Error23.9
Cost8016
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ t_2 := NaChar + t_1\\ \mathbf{if}\;NdChar \leq -6 \cdot 10^{+107}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;NdChar \leq -4.3 \cdot 10^{-73}:\\ \;\;\;\;t_1 + NaChar \cdot 0.5\\ \mathbf{elif}\;NdChar \leq -3.4 \cdot 10^{-110}:\\ \;\;\;\;t_0 + NdChar \cdot \frac{KbT}{Ec}\\ \mathbf{elif}\;NdChar \leq 3 \cdot 10^{-219}:\\ \;\;\;\;t_0 + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 23
Error23.5
Cost7885
\[\begin{array}{l} \mathbf{if}\;NaChar \leq -1.85 \cdot 10^{+51} \lor \neg \left(NaChar \leq 2.1 \cdot 10^{-34}\right) \land NaChar \leq 1.15 \cdot 10^{+218}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;NaChar + \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ \end{array} \]
Alternative 24
Error21.6
Cost7752
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ \mathbf{if}\;KbT \leq -6.5 \cdot 10^{+181}:\\ \;\;\;\;t_0 + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq 1.3 \cdot 10^{+187}:\\ \;\;\;\;NaChar + t_0\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) + \left(EAccept - mu\right)}{KbT}}} + NdChar \cdot 0.5\\ \end{array} \]
Alternative 25
Error41.8
Cost7633
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{if}\;EDonor \leq -9.2 \cdot 10^{+132}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;EDonor \leq -4.2 \cdot 10^{-25}:\\ \;\;\;\;\frac{NaChar}{1 + \frac{EAccept}{KbT}} + \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{elif}\;EDonor \leq -1.02 \cdot 10^{-221} \lor \neg \left(EDonor \leq 6.5 \cdot 10^{-121}\right):\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 26
Error22.6
Cost7624
\[\begin{array}{l} \mathbf{if}\;KbT \leq -7.2 \cdot 10^{+181}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{-\frac{Ec}{KbT}}}\\ \mathbf{elif}\;KbT \leq 1.35 \cdot 10^{+216}:\\ \;\;\;\;NaChar + \frac{NdChar}{1 + e^{\frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ \end{array} \]
Alternative 27
Error38.6
Cost7500
\[\begin{array}{l} t_0 := NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{if}\;NdChar \leq -8.2 \cdot 10^{-125}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;NdChar \leq -1.85 \cdot 10^{-296}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Vef}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{elif}\;NdChar \leq 3.3 \cdot 10^{-33}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 28
Error38.8
Cost7500
\[\begin{array}{l} t_0 := 1 + e^{\frac{Vef}{KbT}}\\ \mathbf{if}\;NdChar \leq -3.7 \cdot 10^{-123}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;NdChar \leq -1.7 \cdot 10^{-296}:\\ \;\;\;\;\frac{NaChar}{t_0} + NdChar \cdot 0.5\\ \mathbf{elif}\;NdChar \leq 3.2 \cdot 10^{-38}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{t_0} + NaChar \cdot 0.5\\ \end{array} \]
Alternative 29
Error40.3
Cost7368
\[\begin{array}{l} t_0 := NaChar + NdChar \cdot 0.5\\ \mathbf{if}\;Vef \leq -2.26 \cdot 10^{+105}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 4.6 \cdot 10^{+223}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + NdChar \cdot 0.5\\ \mathbf{elif}\;Vef \leq 1.65 \cdot 10^{+295}:\\ \;\;\;\;\frac{NaChar}{1 + \frac{EAccept}{KbT}} + \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_0\\ \end{array} \]
Alternative 30
Error42.7
Cost3161
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + \left(1 + \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{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)}\\ t_1 := NaChar + NdChar \cdot 0.5\\ \mathbf{if}\;Vef \leq -9 \cdot 10^{+102}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq -2.5 \cdot 10^{-72}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 1.8 \cdot 10^{-102}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 8 \cdot 10^{+100}:\\ \;\;\;\;\frac{NaChar}{1 + \left(1 - \frac{Vef}{KbT} \cdot \left(-1 - \frac{Vef}{\frac{KbT}{0.5}}\right)\right)} + NdChar \cdot 0.5\\ \mathbf{elif}\;Vef \leq 1.15 \cdot 10^{+234} \lor \neg \left(Vef \leq 1.7 \cdot 10^{+275}\right):\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 31
Error38.5
Cost1481
\[\begin{array}{l} \mathbf{if}\;KbT \leq -8 \cdot 10^{+125} \lor \neg \left(KbT \leq 1.6 \cdot 10^{+216}\right):\\ \;\;\;\;\frac{NdChar}{1 + \left(1 + \frac{mu + \left(EDonor + \left(Vef - Ec\right)\right)}{KbT}\right)} + \frac{NaChar}{2}\\ \mathbf{else}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \end{array} \]
Alternative 32
Error38.4
Cost1476
\[\begin{array}{l} \mathbf{if}\;KbT \leq -2 \cdot 10^{+141}:\\ \;\;\;\;\frac{NaChar}{1 + \left(1 - \frac{Vef}{KbT} \cdot \left(-1 - \frac{Vef}{\frac{KbT}{0.5}}\right)\right)} + NdChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq 1.15 \cdot 10^{+216}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;NdChar \cdot 0.5 + \frac{NaChar}{2}\\ \end{array} \]
Alternative 33
Error38.4
Cost836
\[\begin{array}{l} \mathbf{if}\;KbT \leq -5 \cdot 10^{+141}:\\ \;\;\;\;NdChar \cdot 0.5 + \frac{NaChar}{\frac{Vef}{KbT} + 2}\\ \mathbf{elif}\;KbT \leq 1.15 \cdot 10^{+216}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \mathbf{else}:\\ \;\;\;\;NdChar \cdot 0.5 + \frac{NaChar}{2}\\ \end{array} \]
Alternative 34
Error38.4
Cost713
\[\begin{array}{l} \mathbf{if}\;KbT \leq -1.4 \cdot 10^{+126} \lor \neg \left(KbT \leq 3.2 \cdot 10^{+216}\right):\\ \;\;\;\;NdChar \cdot 0.5 + \frac{NaChar}{2}\\ \mathbf{else}:\\ \;\;\;\;NaChar + NdChar \cdot 0.5\\ \end{array} \]
Alternative 35
Error40.7
Cost320
\[NaChar + NdChar \cdot 0.5 \]

Error

Reproduce?

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