* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))
* * [misc]simplify:  iters left: 6 (27 enodes)
* * [misc]simplify:  iters left: 5 (40 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (80 enodes)
* * [misc]simplify:  iters left: 2 (118 enodes)
* * [misc]simplify:  iters left: 1 (149 enodes)
* [exit]simplify:  Simplified to (+ (/ NaChar (+ (exp (/ (+ (+ EAccept (- mu)) (+ Ev Vef)) KbT)) 1)) (/ NdChar (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1)))
* [misc]progress:  Initial program already accurate, stopping.