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 div-inv0.0
\[\leadsto \frac{NaChar}{1 + e^{\frac{\left(Ev + Vef\right) - \left(mu - EAccept\right)}{KbT}}} + \color{blue}{NdChar \cdot \frac{1}{e^{\frac{\left(mu - Ec\right) + \left(Vef + EDonor\right)}{KbT}} + 1}}\]
- Using strategy
rm Applied add-cube-cbrt0.0
\[\leadsto \frac{NaChar}{1 + \color{blue}{\left(\sqrt[3]{e^{\frac{\left(Ev + Vef\right) - \left(mu - EAccept\right)}{KbT}}} \cdot \sqrt[3]{e^{\frac{\left(Ev + Vef\right) - \left(mu - EAccept\right)}{KbT}}}\right) \cdot \sqrt[3]{e^{\frac{\left(Ev + Vef\right) - \left(mu - EAccept\right)}{KbT}}}}} + NdChar \cdot \frac{1}{e^{\frac{\left(mu - Ec\right) + \left(Vef + EDonor\right)}{KbT}} + 1}\]
- Using strategy
rm Applied clear-num0.0
\[\leadsto \frac{NaChar}{1 + \left(\sqrt[3]{e^{\frac{\left(Ev + Vef\right) - \left(mu - EAccept\right)}{KbT}}} \cdot \sqrt[3]{e^{\frac{\left(Ev + Vef\right) - \left(mu - EAccept\right)}{KbT}}}\right) \cdot \sqrt[3]{e^{\color{blue}{\frac{1}{\frac{KbT}{\left(Ev + Vef\right) - \left(mu - EAccept\right)}}}}}} + NdChar \cdot \frac{1}{e^{\frac{\left(mu - Ec\right) + \left(Vef + EDonor\right)}{KbT}} + 1}\]
Final simplification0.0
\[\leadsto NdChar \cdot \frac{1}{1 + e^{\frac{\left(mu - Ec\right) + \left(Vef + EDonor\right)}{KbT}}} + \frac{NaChar}{\sqrt[3]{e^{\frac{1}{\frac{KbT}{\left(Vef + Ev\right) - \left(mu - EAccept\right)}}}} \cdot \left(\sqrt[3]{e^{\frac{\left(Vef + Ev\right) - \left(mu - EAccept\right)}{KbT}}} \cdot \sqrt[3]{e^{\frac{\left(Vef + Ev\right) - \left(mu - EAccept\right)}{KbT}}}\right) + 1}\]