Details

rewrite8.4s (5.9%)

Algorithm

30×	rewrite-expression-head

Calls

110 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))))
723.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
556.0ms	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
453.0ms	(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
397.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))

Rules

1264×	add-exp-log
1071×	add-sqr-sqrt
1029×	times-frac
993×	*-un-lft-identity
829×	add-cube-cbrt
690×	add-cbrt-cube
544×	prod-exp
348×	unpow-prod-down
330×	div-exp
289×	pow1
281×	cbrt-unprod
190×	sqrt-prod
188×	associate-*r*
172×	associate-*l*
137×	prod-diff
135×	add-log-exp
125×	associate-/r*
124×	pow-exp
122×	cbrt-undiv
110×	log1p-expm1-u expm1-log1p-u
102×	pow-unpow
101×	associate-*r/
99×	associate-*l/
94×	associate-/l*
93×	pow-prod-down
91×	div-inv
85×	associate-/r/
76×	sqr-pow
67×	pow-to-exp
65×	sqrt-div
64×	frac-times
59×	unswap-sqr
56×	flip-- flip3--
53×	tan-quot
52×	distribute-lft-out
51×	difference-of-squares
48×	distribute-rgt-in distribute-lft-in
47×	fma-def
43×	distribute-lft-out--
39×	*-commutative
27×	clear-num frac-2neg
26×	fma-neg
23×	cos-sum
21×	flip3-+ flip-+
20×	sub-neg
15×	pow-pow
14×	sqrt-pow1
13×	associate-+r+ distribute-lft-neg-in distribute-rgt-neg-in
12×	hypot-def
11×	associate-/l/
10×	pow1/2
9×	rem-sqrt-square fma-udef
8×	div-sub
7×	diff-log
6×	sum-log pow-sub
5×	+-commutative
4×	pow-neg
3×	neg-sub0
2×	associate-+r- frac-add
1×	acos-asin un-div-inv asin-acos frac-sub cos-diff neg-mul-1 associate--l+