Details

rewrite13.7s (8.7%)

Algorithm

33×	rewrite-expression-head

Calls

123 calls:

4.0s	(* (exp (- (- (fabs (- m n)) l) (pow (- (/ (+ m n) 2.0) M) 2.0))) (cos (- (/ (* K (+ m n)) 2.0) M)))
939.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
777.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
412.0ms	(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
398.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))

Rules

1312×	add-sqr-sqrt
1309×	add-exp-log
1179×	times-frac
1059×	*-un-lft-identity
829×	add-cube-cbrt
736×	add-cbrt-cube
556×	prod-exp
435×	unpow-prod-down
336×	div-exp
329×	pow1
293×	cbrt-unprod
223×	sqrt-prod
218×	associate-*r*
211×	associate-*l*
171×	difference-of-squares
167×	add-log-exp
137×	associate-*r/
135×	associate-/r*
131×	associate-/l*
128×	cbrt-undiv
126×	pow-exp
118×	sqr-pow
108×	pow-prod-down
105×	pow-unpow
103×	cube-prod
101×	associate-*l/
97×	associate-/r/
90×	div-inv
81×	sqrt-div
72×	unswap-sqr
70×	flip-- flip3--
68×	pow-to-exp distribute-lft-out--
66×	frac-times
60×	distribute-lft-out
53×	tan-quot
45×	*-commutative
42×	flip3-+ flip-+
30×	clear-num frac-2neg
27×	sub-neg
26×	distribute-rgt-in distribute-lft-in
21×	sqrt-pow1
19×	associate-/l/
16×	pow1/2 pow-pow
13×	sum-log distribute-lft-neg-in distribute-rgt-neg-in
10×	diff-log +-commutative rem-sqrt-square
9×	associate--l+ div-sub
8×	frac-sub
6×	pow-sub
5×	difference-cubes
4×	pow-neg exp-sum neg-sub0
3×	cos-diff frac-add
2×	rem-cube-cbrt associate-+r+ sqrt-unprod cos-sum
1×	associate-+l- neg-log exp-diff cube-mult unpow3 acos-asin un-div-inv asin-acos neg-mul-1 associate-+r- associate--r+ distribute-neg-frac cube-div