Average Error: 0.0 → 0.0
Time: 1.0min
Precision: binary64
Cost: 14656
\[\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{1}{KbT} \cdot \left(Vef + \left(EDonor + \left(mu - Ec\right)\right)\right)}} + \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 (* (/ 1.0 KbT) (+ Vef (+ EDonor (- mu Ec)))))))
  (/ 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(((1.0 / KbT) * (Vef + (EDonor + (mu - Ec))))))) + (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(((1.0d0 / kbt) * (vef + (edonor + (mu - ec))))))) + (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(((1.0 / KbT) * (Vef + (EDonor + (mu - Ec))))))) + (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(((1.0 / KbT) * (Vef + (EDonor + (mu - Ec))))))) + (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(1.0 / KbT) * Float64(Vef + Float64(EDonor + Float64(mu - Ec))))))) + 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(((1.0 / KbT) * (Vef + (EDonor + (mu - Ec))))))) + (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[(1.0 / KbT), $MachinePrecision] * N[(Vef + N[(EDonor + N[(mu - Ec), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $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{1}{KbT} \cdot \left(Vef + \left(EDonor + \left(mu - Ec\right)\right)\right)}} + \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. Applied egg-rr0.0

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

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

Alternatives

Alternative 1
Error18.7
Cost15596
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef}{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{mu}{KbT}}}\\ t_3 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_4 := t_3 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ t_5 := t_1 + t_0\\ \mathbf{if}\;Ec \leq -4.381232962995084 \cdot 10^{+188}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Ec \leq -9.811371446775994 \cdot 10^{+159}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{1 + e^{\frac{-Ec}{KbT}}}\\ \mathbf{elif}\;Ec \leq -1.1760100628531237 \cdot 10^{+48}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Ec \leq -3.3940063120648595 \cdot 10^{-199}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ec \leq -2.5469888359064335 \cdot 10^{-236}:\\ \;\;\;\;t_3 + \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}\;Ec \leq 7.534538906172922 \cdot 10^{-228}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Ec \leq 9.451742432343999 \cdot 10^{-177}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Ec \leq 2.30424799493297 \cdot 10^{-152}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ \mathbf{elif}\;Ec \leq 2.324716274940305 \cdot 10^{-53}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ec \leq 1.8960693739449297 \cdot 10^{+58}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Ec \leq 6.433722347693165 \cdot 10^{+169}:\\ \;\;\;\;t_5\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 2
Error26.8
Cost15476
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_2 := NaChar + t_1\\ t_3 := t_1 + \frac{NaChar}{\frac{Vef}{KbT}}\\ t_4 := 1 + \frac{Vef}{KbT}\\ t_5 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(t_4 + \frac{mu + \left(EDonor - Ec\right)}{KbT}\right)}\\ t_6 := t_1 + \frac{NaChar}{1 + \left(\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + t_4\right)\right) - \frac{mu}{KbT}\right)}\\ \mathbf{if}\;Vef \leq -7.066180221157135 \cdot 10^{+249}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Vef \leq -9.210322397076529 \cdot 10^{+182}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq -4.202826114370106 \cdot 10^{+157}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq -1.5051078831508584 \cdot 10^{+29}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;Vef \leq -1.0342026168558173 \cdot 10^{-246}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq 3.691984211779477 \cdot 10^{-291}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;Vef \leq 2.2578963139573347 \cdot 10^{-214}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq 1.1805237438668736 \cdot 10^{-191}:\\ \;\;\;\;t_0 + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;Vef \leq 5.3634276415860825 \cdot 10^{-132}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;Vef \leq 82215440554683620:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq 3.663518125466235 \cdot 10^{+52}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq 9.377519725611863 \cdot 10^{+159}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq 4.989752458665278 \cdot 10^{+220}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + t_0\\ \end{array} \]
Alternative 3
Error27.4
Cost15344
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_2 := NaChar + t_1\\ t_3 := t_1 + \frac{NaChar}{\frac{Vef}{KbT}}\\ t_4 := 1 + \frac{Vef}{KbT}\\ t_5 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(t_4 + \frac{mu + \left(EDonor - Ec\right)}{KbT}\right)}\\ t_6 := t_1 + \frac{NaChar}{1 + \left(\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + t_4\right)\right) - \frac{mu}{KbT}\right)}\\ \mathbf{if}\;Vef \leq -7.066180221157135 \cdot 10^{+249}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Vef \leq -9.210322397076529 \cdot 10^{+182}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq -4.202826114370106 \cdot 10^{+157}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq -1.5051078831508584 \cdot 10^{+29}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;Vef \leq -1.0342026168558173 \cdot 10^{-246}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq 3.691984211779477 \cdot 10^{-291}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;Vef \leq 2.2578963139573347 \cdot 10^{-214}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq 1.1805237438668736 \cdot 10^{-191}:\\ \;\;\;\;t_0 + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;Vef \leq 82215440554683620:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{1 + e^{\frac{-mu}{KbT}}}\\ \mathbf{elif}\;Vef \leq 1.326910930315407 \cdot 10^{+138}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq 9.377519725611863 \cdot 10^{+159}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Vef \leq 4.989752458665278 \cdot 10^{+220}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + t_0\\ \end{array} \]
Alternative 4
Error27.3
Cost15080
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_2 := NaChar + t_1\\ t_3 := t_1 + \frac{NaChar}{\frac{Vef}{KbT}}\\ t_4 := 1 + \frac{Vef}{KbT}\\ t_5 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(t_4 + \frac{mu + \left(EDonor - Ec\right)}{KbT}\right)}\\ \mathbf{if}\;Vef \leq -7.066180221157135 \cdot 10^{+249}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Vef \leq -9.210322397076529 \cdot 10^{+182}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq -4.202826114370106 \cdot 10^{+157}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq -1.5051078831508584 \cdot 10^{+29}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + \left(\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + t_4\right)\right) - \frac{mu}{KbT}\right)}\\ \mathbf{elif}\;Vef \leq -1.0342026168558173 \cdot 10^{-246}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq 1.4524993365892116 \cdot 10^{-182}:\\ \;\;\;\;t_0 + \frac{NdChar}{1 + e^{\frac{-Ec}{KbT}}}\\ \mathbf{elif}\;Vef \leq 82215440554683620:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{1 + e^{\frac{-mu}{KbT}}}\\ \mathbf{elif}\;Vef \leq 1.326910930315407 \cdot 10^{+138}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq 9.377519725611863 \cdot 10^{+159}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Vef \leq 4.989752458665278 \cdot 10^{+220}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + t_0\\ \end{array} \]
Alternative 5
Error14.6
Cost14936
\[\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{mu}{KbT}}}\\ t_2 := t_0 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{if}\;EDonor \leq -6.448899704524284 \cdot 10^{+193}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EDonor \leq -4.4820186353465154 \cdot 10^{+154}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;EDonor \leq -4.496743519496535 \cdot 10^{+58}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;EDonor \leq 6.652508329804123 \cdot 10^{-109}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;EDonor \leq 9.542940387731557 \cdot 10^{-57}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ \mathbf{elif}\;EDonor \leq 52156963.63782109:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 6
Error17.9
Cost14936
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_2 := t_0 + \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}}\\ t_3 := t_0 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{if}\;Ev \leq -3.70885091085674 \cdot 10^{+153}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ \mathbf{elif}\;Ev \leq -4.9430083201384793 \cdot 10^{+101}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ev \leq -2.3130355693364114 \cdot 10^{+58}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Ev \leq -1.2950607399233596 \cdot 10^{-69}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Ev \leq -3.657156459206117 \cdot 10^{-174}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;Ev \leq -6.767859952131681 \cdot 10^{-261}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1 + \frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}}\\ \end{array} \]
Alternative 7
Error15.0
Cost14804
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{Ev}{KbT}}}\\ t_1 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ \mathbf{if}\;Vef \leq -9.846910000533943 \cdot 10^{+149}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq -3.717487361182768 \cdot 10^{-72}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq -1.1400938844862632 \cdot 10^{-191}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;Vef \leq 2.2578963139573347 \cdot 10^{-214}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 0.0038747577503076744:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 8
Error15.5
Cost14672
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ t_1 := \frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ \mathbf{if}\;Vef \leq -4.561446388249198 \cdot 10^{+139}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq -1.833527315865595 \cdot 10^{-255}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 1.8081944638902543 \cdot 10^{-298}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{1 + e^{\frac{-Ec}{KbT}}}\\ \mathbf{elif}\;Vef \leq 0.0038747577503076744:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 9
Error0.0
Cost14528
\[\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}} \]
Alternative 10
Error20.9
Cost14148
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_1 := NaChar + t_0\\ t_2 := 1 + \frac{Vef}{KbT}\\ \mathbf{if}\;NaChar \leq -6.899200655243208 \cdot 10^{+24}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(Vef + Ev\right) - mu}{KbT}}}\\ \mathbf{elif}\;NaChar \leq -8.14045347224087 \cdot 10^{-29}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;NaChar \leq -5.168401586951036 \cdot 10^{-83}:\\ \;\;\;\;t_0 + \frac{NaChar}{1 + \left(\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + t_2\right)\right) - \frac{mu}{KbT}\right)}\\ \mathbf{elif}\;NaChar \leq 1.38449792303246 \cdot 10^{-258}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;NaChar \leq 1.2354457899400863 \cdot 10^{-34}:\\ \;\;\;\;t_0 + KbT \cdot \frac{NaChar}{EAccept + \left(Ev + \left(Vef - mu\right)\right)}\\ \mathbf{elif}\;NaChar \leq 1.075672235425709 \cdot 10^{-5}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(t_2 + \frac{mu + \left(EDonor - Ec\right)}{KbT}\right)}\\ \end{array} \]
Alternative 11
Error23.7
Cost13892
\[\begin{array}{l} t_0 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_1 := t_0 + NdChar \cdot \frac{KbT}{Vef + \left(\left(EDonor + mu\right) - Ec\right)}\\ t_2 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_3 := t_2 + KbT \cdot \frac{NaChar}{EAccept + \left(Ev + \left(Vef - mu\right)\right)}\\ t_4 := NaChar + t_2\\ \mathbf{if}\;KbT \leq -4.831118076725048 \cdot 10^{+171}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev}{KbT}}} + \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}}\\ \mathbf{elif}\;KbT \leq -1.279232891709486 \cdot 10^{-67}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq -6.7541576100179285 \cdot 10^{-195}:\\ \;\;\;\;t_0 + \frac{NdChar}{1 + \frac{EDonor}{KbT}}\\ \mathbf{elif}\;KbT \leq -6.612325075985172 \cdot 10^{-267}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 8.089479163311883 \cdot 10^{-300}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq 5.382595093067099 \cdot 10^{-281}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 6.775559278696222 \cdot 10^{-209}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 2.5419147054372487 \cdot 10^{-95}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq 8.26454056650274 \cdot 10^{-66}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;t_2 + \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 12
Error26.2
Cost9836
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_1 := NaChar + t_0\\ t_2 := t_0 + \frac{NaChar}{\frac{Vef}{KbT}}\\ t_3 := 1 + \frac{Vef}{KbT}\\ t_4 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \left(t_3 + \frac{mu + \left(EDonor - Ec\right)}{KbT}\right)}\\ t_5 := t_0 + \frac{NaChar}{1 + \left(\left(\frac{Ev}{KbT} + \left(\frac{EAccept}{KbT} + t_3\right)\right) - \frac{mu}{KbT}\right)}\\ \mathbf{if}\;Vef \leq -7.066180221157135 \cdot 10^{+249}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;Vef \leq -5.41884808165965 \cdot 10^{+183}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Vef \leq -4.202826114370106 \cdot 10^{+157}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq -1.5051078831508584 \cdot 10^{+29}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq -1.0342026168558173 \cdot 10^{-246}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 3.691984211779477 \cdot 10^{-291}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq 2.2578963139573347 \cdot 10^{-214}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 1.1805237438668736 \cdot 10^{-191}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}}\\ \mathbf{elif}\;Vef \leq 5.3634276415860825 \cdot 10^{-132}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;Vef \leq 82215440554683620:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 3.663518125466235 \cdot 10^{+52}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;Vef \leq 9.377519725611863 \cdot 10^{+159}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 1.2301122616071315 \cdot 10^{+192}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 13
Error24.8
Cost8924
\[\begin{array}{l} t_0 := Vef + \left(EDonor + \left(mu - Ec\right)\right)\\ t_1 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{t_0}{KbT}}}\\ t_3 := NaChar + t_2\\ \mathbf{if}\;KbT \leq -1.3070232386117823 \cdot 10^{+138}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{1}{KbT} \cdot t_0}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq -6.869650393870107 \cdot 10^{-25}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.467535451934054 \cdot 10^{-92}:\\ \;\;\;\;t_2 + \frac{NaChar}{\frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -6.7541576100179285 \cdot 10^{-195}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{EDonor}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.3180866842090114 \cdot 10^{-236}:\\ \;\;\;\;t_2 + KbT \cdot \frac{NaChar}{Ev}\\ \mathbf{elif}\;KbT \leq 8.534327172845124 \cdot 10^{-289}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 1.8508670582366304 \cdot 10^{-218}:\\ \;\;\;\;t_1 + NdChar \cdot \frac{KbT}{Vef + \left(\left(EDonor + mu\right) - Ec\right)}\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2 + \frac{NaChar}{\frac{EAccept}{KbT} + 2}\\ \end{array} \]
Alternative 14
Error25.1
Cost8924
\[\begin{array}{l} t_0 := Vef + \left(EDonor + \left(mu - Ec\right)\right)\\ t_1 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{t_0}{KbT}}}\\ t_3 := t_2 + KbT \cdot \frac{NaChar}{EAccept + \left(Ev + \left(Vef - mu\right)\right)}\\ t_4 := NaChar + t_2\\ \mathbf{if}\;KbT \leq -1.3070232386117823 \cdot 10^{+138}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{1}{KbT} \cdot t_0}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq -6.869650393870107 \cdot 10^{-25}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.467535451934054 \cdot 10^{-92}:\\ \;\;\;\;t_2 + \frac{NaChar}{\frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -6.7541576100179285 \cdot 10^{-195}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{EDonor}{KbT}}\\ \mathbf{elif}\;KbT \leq -6.612325075985172 \cdot 10^{-267}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 8.089479163311883 \cdot 10^{-300}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;KbT \leq 6.151435756482833 \cdot 10^{-225}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;t_2 + \frac{NaChar}{\frac{EAccept}{KbT} + 2}\\ \end{array} \]
Alternative 15
Error25.5
Cost8800
\[\begin{array}{l} t_0 := Vef + \left(EDonor + \left(mu - Ec\right)\right)\\ t_1 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{t_0}{KbT}}}\\ t_3 := NaChar + t_2\\ \mathbf{if}\;KbT \leq -1.3070232386117823 \cdot 10^{+138}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{1}{KbT} \cdot t_0}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq -6.869650393870107 \cdot 10^{-25}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.467535451934054 \cdot 10^{-92}:\\ \;\;\;\;t_2 + \frac{NaChar}{\frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -6.7541576100179285 \cdot 10^{-195}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{EDonor}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.3180866842090114 \cdot 10^{-236}:\\ \;\;\;\;t_2 + KbT \cdot \frac{NaChar}{Ev}\\ \mathbf{elif}\;KbT \leq 8.089479163311883 \cdot 10^{-300}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 6.151435756482833 \cdot 10^{-225}:\\ \;\;\;\;t_2 - \frac{KbT \cdot NaChar}{mu}\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2 + \frac{NaChar}{\frac{EAccept}{KbT} + 2}\\ \end{array} \]
Alternative 16
Error25.5
Cost8544
\[\begin{array}{l} t_0 := Vef + \left(EDonor + \left(mu - Ec\right)\right)\\ t_1 := \frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}}\\ t_2 := \frac{NdChar}{1 + e^{\frac{t_0}{KbT}}}\\ t_3 := NaChar + t_2\\ \mathbf{if}\;KbT \leq -1.3070232386117823 \cdot 10^{+138}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{1}{KbT} \cdot t_0}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq -6.869650393870107 \cdot 10^{-25}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.467535451934054 \cdot 10^{-92}:\\ \;\;\;\;t_2 + \frac{NaChar}{\frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -6.7541576100179285 \cdot 10^{-195}:\\ \;\;\;\;t_1 + \frac{NdChar}{1 + \frac{EDonor}{KbT}}\\ \mathbf{elif}\;KbT \leq -1.3180866842090114 \cdot 10^{-236}:\\ \;\;\;\;t_2 + KbT \cdot \frac{NaChar}{Ev}\\ \mathbf{elif}\;KbT \leq 8.089479163311883 \cdot 10^{-300}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;KbT \leq 6.151435756482833 \cdot 10^{-225}:\\ \;\;\;\;t_2 - \frac{KbT \cdot NaChar}{mu}\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2 + NaChar \cdot 0.5\\ \end{array} \]
Alternative 17
Error24.4
Cost8280
\[\begin{array}{l} t_0 := Vef + \left(EDonor + \left(mu - Ec\right)\right)\\ t_1 := \frac{NdChar}{1 + e^{\frac{t_0}{KbT}}}\\ t_2 := NaChar + t_1\\ \mathbf{if}\;KbT \leq -1.3070232386117823 \cdot 10^{+138}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{1}{KbT} \cdot t_0}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq -6.869650393870107 \cdot 10^{-25}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{Ev + \left(Vef + \left(EAccept - mu\right)\right)}{KbT}}} + \frac{NdChar}{1 + \frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq -4.7274109450052573 \cdot 10^{-98}:\\ \;\;\;\;t_1 + \frac{NaChar}{\frac{Vef}{KbT}}\\ \mathbf{elif}\;KbT \leq 8.089479163311883 \cdot 10^{-300}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq 6.151435756482833 \cdot 10^{-225}:\\ \;\;\;\;t_1 - \frac{KbT \cdot NaChar}{mu}\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1 + NaChar \cdot 0.5\\ \end{array} \]
Alternative 18
Error22.6
Cost8016
\[\begin{array}{l} t_0 := Vef + \left(EDonor + \left(mu - Ec\right)\right)\\ t_1 := \frac{NdChar}{1 + e^{\frac{t_0}{KbT}}}\\ t_2 := NaChar + t_1\\ \mathbf{if}\;KbT \leq -1.294206849555879 \cdot 10^{+148}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{1}{KbT} \cdot t_0}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq 8.089479163311883 \cdot 10^{-300}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;KbT \leq 6.151435756482833 \cdot 10^{-225}:\\ \;\;\;\;t_1 - \frac{KbT \cdot NaChar}{mu}\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1 + NaChar \cdot 0.5\\ \end{array} \]
Alternative 19
Error34.7
Cost7828
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{-Ec}{KbT}}} + NaChar \cdot 0.5\\ t_1 := NaChar + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{if}\;Vef \leq -3.632825236141168 \cdot 10^{+80}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{Vef}{KbT}}} + \frac{NaChar}{2}\\ \mathbf{elif}\;Vef \leq -1.0342026168558173 \cdot 10^{-246}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 1.3909719722175566 \cdot 10^{-292}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;Vef \leq 3.5408648947469325 \cdot 10^{-225}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;Vef \leq 5.3634276415860825 \cdot 10^{-132}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 20
Error21.8
Cost7752
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ t_1 := t_0 + NaChar \cdot 0.5\\ \mathbf{if}\;KbT \leq -1.294206849555879 \cdot 10^{+148}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;NaChar + t_0\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 21
Error21.8
Cost7752
\[\begin{array}{l} t_0 := Vef + \left(EDonor + \left(mu - Ec\right)\right)\\ t_1 := \frac{NdChar}{1 + e^{\frac{t_0}{KbT}}}\\ \mathbf{if}\;KbT \leq -1.294206849555879 \cdot 10^{+148}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{1}{KbT} \cdot t_0}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;NaChar + t_1\\ \mathbf{else}:\\ \;\;\;\;t_1 + NaChar \cdot 0.5\\ \end{array} \]
Alternative 22
Error22.7
Cost7624
\[\begin{array}{l} \mathbf{if}\;KbT \leq -4.831118076725048 \cdot 10^{+171}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + NaChar \cdot 0.5\\ \mathbf{elif}\;KbT \leq 7.101257939228167 \cdot 10^{+207}:\\ \;\;\;\;NaChar + \frac{NdChar}{1 + e^{\frac{Vef + \left(EDonor + \left(mu - Ec\right)\right)}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{1 + e^{\frac{mu}{KbT}}} + \frac{NaChar}{2}\\ \end{array} \]
Alternative 23
Error30.6
Cost7368
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{if}\;KbT \leq -3.891082455958937 \cdot 10^{+93}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{2}\\ \mathbf{elif}\;KbT \leq 4.951270156756525 \cdot 10^{+151}:\\ \;\;\;\;NaChar + t_0\\ \mathbf{else}:\\ \;\;\;\;t_0 + \frac{NaChar}{2}\\ \end{array} \]
Alternative 24
Error30.7
Cost7368
\[\begin{array}{l} t_0 := \frac{NdChar}{1 + e^{\frac{EDonor}{KbT}}} + NaChar \cdot 0.5\\ \mathbf{if}\;KbT \leq -3.935156740688936 \cdot 10^{+92}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 9.3141232527715 \cdot 10^{+164}:\\ \;\;\;\;NaChar + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 25
Error31.1
Cost7240
\[\begin{array}{l} \mathbf{if}\;KbT \leq -1.3070232386117823 \cdot 10^{+138}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{2}\\ \mathbf{elif}\;KbT \leq 1.1334558131679835 \cdot 10^{+246}:\\ \;\;\;\;NaChar + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}} + NaChar \cdot 0.5\\ \end{array} \]
Alternative 26
Error30.9
Cost7240
\[\begin{array}{l} \mathbf{if}\;KbT \leq -3.891082455958937 \cdot 10^{+93}:\\ \;\;\;\;\frac{NaChar}{1 + e^{\frac{EAccept}{KbT}}} + \frac{NdChar}{2}\\ \mathbf{elif}\;KbT \leq 1.1334558131679835 \cdot 10^{+246}:\\ \;\;\;\;NaChar + \frac{NdChar}{1 + e^{\frac{mu}{KbT}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{\left(\frac{mu}{KbT} + \left(2 + \left(\frac{Vef}{KbT} + \frac{EDonor}{KbT}\right)\right)\right) - \frac{Ec}{KbT}} + NaChar \cdot 0.5\\ \end{array} \]
Alternative 27
Error38.5
Cost1608
\[\begin{array}{l} \mathbf{if}\;KbT \leq -1.294206849555879 \cdot 10^{+148}:\\ \;\;\;\;NaChar \cdot 0.5 + \frac{NdChar}{2}\\ \mathbf{elif}\;KbT \leq 7.521878960037732 \cdot 10^{+132}:\\ \;\;\;\;NaChar + \frac{NdChar}{2}\\ \mathbf{else}:\\ \;\;\;\;\frac{NdChar}{2} + \frac{NaChar}{\left(2 + \left(\frac{Vef}{KbT} + \frac{EAccept}{KbT}\right)\right) + \frac{Ev - mu}{KbT}}\\ \end{array} \]
Alternative 28
Error38.9
Cost712
\[\begin{array}{l} t_0 := NaChar \cdot 0.5 + \frac{NdChar}{2}\\ \mathbf{if}\;KbT \leq -1.294206849555879 \cdot 10^{+148}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;KbT \leq 5.73431869469461 \cdot 10^{+51}:\\ \;\;\;\;NaChar + \frac{NdChar}{2}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 29
Error41.1
Cost320
\[NaChar + \frac{NdChar}{2} \]
Alternative 30
Error52.3
Cost192
\[NdChar \cdot 0.5 \]

Error

Reproduce

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