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