Details

rewrite8.5s (6.0%)

Algorithm

30×	rewrite-expression-head

Calls

112 calls:

889.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))))
742.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
615.0ms	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
526.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
455.0ms	(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))

Rules

1263×	add-exp-log
999×	add-sqr-sqrt
981×	*-un-lft-identity
896×	times-frac
751×	add-cube-cbrt
697×	add-cbrt-cube
547×	prod-exp
324×	div-exp
294×	unpow-prod-down pow1
284×	cbrt-unprod
192×	associate-*l*
191×	associate-*r*
189×	sqrt-prod
135×	add-log-exp
125×	prod-diff
122×	cbrt-undiv pow-exp
112×	log1p-expm1-u expm1-log1p-u
106×	associate-/l*
102×	pow-unpow
101×	associate-*l/ associate-*r/
94×	pow-prod-down
92×	associate-/r*
87×	div-inv
86×	associate-/r/
74×	distribute-lft-out
67×	sqrt-div
66×	distribute-lft-out--
65×	pow-to-exp
62×	frac-times
58×	unswap-sqr sqr-pow
56×	flip-- flip3--
54×	difference-of-squares
53×	tan-quot distribute-rgt-neg-in
48×	distribute-rgt-in distribute-lft-in
44×	fma-def
41×	distribute-lft-neg-in
40×	*-commutative
27×	clear-num frac-2neg
23×	flip3-+ flip-+ cos-sum
20×	fma-neg
18×	sub-neg
15×	sqrt-pow1 pow-pow
12×	hypot-def
11×	pow1/2 associate-+r+ associate-/l/
10×	rem-sqrt-square div-sub
9×	fma-udef
7×	sum-log
6×	+-commutative
5×	neg-mul-1 diff-log
4×	pow-sub
3×	neg-sub0
2×	distribute-neg-frac associate--l+ associate-+r- frac-add
1×	distribute-frac-neg pow-neg acos-asin unsub-neg asin-acos frac-sub cos-diff