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}}}\]
Simplified0.0
\[\leadsto \color{blue}{\frac{NaChar}{1 + e^{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}}} + \frac{NdChar}{e^{\frac{-\left(Ec - \left(\left(Vef + mu\right) + EDonor\right)\right)}{KbT}} + 1}}\]
- Using strategy
rm Applied add-log-exp0.0
\[\leadsto \frac{NaChar}{1 + e^{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}}} + \frac{NdChar}{e^{\frac{-\left(Ec - \left(\left(Vef + mu\right) + EDonor\right)\right)}{KbT}} + \color{blue}{\log \left(e^{1}\right)}}\]
Applied add-log-exp0.0
\[\leadsto \frac{NaChar}{1 + e^{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}}} + \frac{NdChar}{\color{blue}{\log \left(e^{e^{\frac{-\left(Ec - \left(\left(Vef + mu\right) + EDonor\right)\right)}{KbT}}}\right)} + \log \left(e^{1}\right)}\]
Applied sum-log0.0
\[\leadsto \frac{NaChar}{1 + e^{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}}} + \frac{NdChar}{\color{blue}{\log \left(e^{e^{\frac{-\left(Ec - \left(\left(Vef + mu\right) + EDonor\right)\right)}{KbT}}} \cdot e^{1}\right)}}\]
Simplified0.0
\[\leadsto \frac{NaChar}{1 + e^{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}}} + \frac{NdChar}{\log \color{blue}{\left(e \cdot e^{e^{\frac{\left(\left(Vef + mu\right) - Ec\right) + EDonor}{KbT}}}\right)}}\]
Final simplification0.0
\[\leadsto \frac{NdChar}{\log \left(e^{e^{\frac{EDonor + \left(\left(mu + Vef\right) - Ec\right)}{KbT}}} \cdot e\right)} + \frac{NaChar}{e^{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} + 1}\]
