Details

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

342×	*-un-lft-identity
162×	times-frac
118×	add-sqr-sqrt
90×	add-cube-cbrt
89×	exp-prod
84×	distribute-lft-out distribute-lft-out--
70×	distribute-rgt-neg-in
49×	distribute-lft-neg-in
27×	associate-/l*
14×	difference-of-squares
8×	add-exp-log div-sub add-cbrt-cube
7×	neg-mul-1
6×	associate-/r* add-log-exp
4×	pow1 neg-sub0 exp-diff div-inv associate-/l/
2×	cbrt-undiv associate-+r- frac-2neg distribute-frac-neg div-exp unsub-neg clear-num rem-exp-log distribute-neg-frac
1×	exp-neg flip3-- flip3-+ flip-- flip-+

Counts

4 → 257

Calls

4 calls:

14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
14.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
16.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
19.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)