rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

215×	*-un-lft-identity
93×	times-frac
74×	add-sqr-sqrt
58×	add-cube-cbrt
55×	distribute-lft-out
48×	distribute-lft-out--
40×	distribute-rgt-neg-in
30×	associate-/l*
28×	distribute-lft-neg-in
10×	add-exp-log associate-/r* add-cbrt-cube
9×	add-log-exp
8×	difference-of-squares
4×	pow1 neg-mul-1 div-sub associate-/l/
3×	cbrt-undiv frac-2neg flip3-+ div-exp clear-num sum-log flip-+ div-inv
2×	neg-sub0 associate-/r/ distribute-neg-frac
1×	+-commutative associate-+r- associate-+l+ flip3-- distribute-frac-neg unsub-neg flip--

Counts

4 → 195

Calls

4 calls:

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