Details

rewrite10.3s (6.7%)

Algorithm

33×	rewrite-expression-head

Calls

128 calls:

1.0s	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
861.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
473.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
439.0ms	(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
411.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

Rules

1358×	add-exp-log
1289×	add-sqr-sqrt
1246×	times-frac
1220×	*-un-lft-identity
864×	add-cube-cbrt
781×	add-cbrt-cube
581×	prod-exp
373×	unpow-prod-down
354×	pow1
336×	div-exp
313×	cbrt-unprod
254×	associate-*l*
218×	associate-*r*
217×	sqrt-prod
199×	difference-of-squares
180×	sqr-pow
169×	associate-*r/
165×	add-log-exp
153×	associate-/l*
132×	cbrt-undiv pow-exp
117×	pow-prod-down
115×	distribute-lft-out
114×	pow-unpow
109×	associate-/r*
106×	associate-/r/
102×	associate-*l/
92×	div-inv
88×	distribute-lft-out--
75×	sqrt-div
74×	flip-- unswap-sqr flip3--
71×	pow-to-exp
68×	frac-times
53×	distribute-rgt-neg-in flip3-+ flip-+ tan-quot
48×	*-commutative
41×	cube-prod distribute-lft-neg-in
31×	clear-num frac-2neg
28×	distribute-rgt-in sub-neg distribute-lft-in
23×	pow-pow
15×	sqrt-pow1
14×	associate-/l/
13×	div-sub
11×	pow1/2
10×	rem-sqrt-square frac-add diff-log
9×	+-commutative sum-log frac-sub
8×	associate--l+
6×	rem-cube-cbrt pow-sub cube-div
5×	neg-mul-1 neg-sub0
4×	pow-neg
3×	cube-mult unpow3
2×	cos-sum associate--r+ distribute-neg-frac
1×	distribute-frac-neg acos-asin un-div-inv unsub-neg asin-acos difference-cubes associate--l- cos-diff associate-+r-