rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

212×	*-un-lft-identity
93×	times-frac
74×	add-sqr-sqrt
58×	add-cube-cbrt
53×	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
8×	difference-of-squares
6×	add-log-exp
4×	pow1 neg-mul-1 div-sub associate-/l/
3×	cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv
2×	neg-sub0 associate-/r/ distribute-neg-frac
1×	+-commutative associate-+r- flip3-- distribute-frac-neg unsub-neg sum-log flip--

Counts

4 → 192

Calls

4 calls:

15.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
12.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
18.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)