Details

rewrite585.0ms

Algorithm

rewrite-expression-head

Rules

268×	*-un-lft-identity
108×	times-frac
88×	distribute-lft-out
79×	add-sqr-sqrt
63×	add-cube-cbrt
49×	distribute-rgt-neg-in
48×	distribute-lft-out--
31×	exp-prod
28×	distribute-lft-neg-in
27×	associate-/l*
10×	add-log-exp
8×	add-exp-log add-cbrt-cube difference-of-squares
7×	div-sub
6×	associate-/r*
4×	pow1 expm1-log1p-u neg-mul-1 fma-def log1p-expm1-u associate-/l/
3×	neg-sub0 exp-diff sum-log div-inv
2×	cbrt-undiv associate-+r- frac-2neg flip3-+ div-exp unsub-neg clear-num flip-+ distribute-neg-frac
1×	+-commutative associate-+l+ flip3-- distribute-frac-neg flip-- rem-exp-log

Counts

4 → 216

Calls

4 calls:

162.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
14.0ms	(+ (+ Ev Vef) EAccept)
256.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
142.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)