rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

292×	*-un-lft-identity
147×	times-frac
114×	add-sqr-sqrt
86×	add-cube-cbrt
84×	distribute-lft-out--
61×	distribute-rgt-neg-in
58×	exp-prod
52×	distribute-lft-out
49×	distribute-lft-neg-in
30×	associate-/l*
14×	difference-of-squares
10×	add-exp-log associate-/r* add-cbrt-cube
7×	neg-mul-1
5×	div-sub add-log-exp
4×	pow1 div-inv associate-/l/
3×	cbrt-undiv neg-sub0 frac-2neg div-exp clear-num
2×	flip3-+ distribute-frac-neg associate-/r/ flip-+ distribute-neg-frac
1×	exp-neg associate-+r- flip3-- exp-diff unsub-neg flip-- rem-exp-log

Counts

4 → 248

Calls

4 calls:

17.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
15.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
15.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))