Details

rewrite36.3s (2.5%)

Algorithm

115×	rewrite-expression-head

Calls

433 calls:

6.9s	(* (/ NaChar (fma (* (exp (/ (+ EAccept (+ Ev (- Vef mu))) KbT)) (exp (/ (+ EAccept (+ Ev (- Vef mu))) KbT))) (exp (/ (+ EAccept (+ Ev (- Vef mu))) KbT)) 1)) (+ (* 1 1) (- (* (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT)) (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))) (* 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))))
1.7s	(/ (/ NdChar (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))) (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)))
1.6s	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))
1.6s	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))
1.5s	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))

Rules

14948×	times-frac
9740×	add-sqr-sqrt
9446×	*-un-lft-identity
8571×	add-cube-cbrt
6283×	add-exp-log
4870×	add-cbrt-cube
4414×	sqrt-prod
2704×	pow1
2630×	prod-exp
2181×	prod-diff
2008×	div-exp
1954×	cbrt-unprod
1795×	unpow-prod-up
1549×	cbrt-undiv
1545×	frac-times
1384×	associate-*l/
1158×	associate-/r*
1081×	sqrt-div
1056×	cbrt-prod
954×	associate-*r*
798×	associate-*l*
779×	associate-*r/
774×	difference-of-squares
749×	pow-prod-down
704×	div-inv
664×	associate-/r/
570×	pow-prod-up
563×	associate-/l*
496×	add-log-exp
435×	expm1-log1p-u
433×	log1p-expm1-u insert-posit16
333×	flip3-- flip--
287×	pow-sqr
282×	unswap-sqr
264×	pow-exp
258×	pow-plus
206×	distribute-lft-out
204×	unpow-prod-down
194×	swap-sqr
177×	pow2
151×	sqrt-pow1
136×	pow-to-exp
132×	*-commutative
126×	pow1/3
108×	frac-2neg clear-num
106×	sqr-pow
100×	sub-neg
90×	cbrt-div
80×	distribute-lft-out--
78×	pow-unpow
74×	1-exp rec-exp
73×	pow1/2
69×	fma-neg
65×	distribute-rgt-in distribute-lft-in
58×	flip-+ flip3-+
56×	associate-/l/
49×	fma-def
48×	exp-prod
47×	log-pow
46×	distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in
45×	rem-sqrt-square
44×	tan-quot
41×	fma-udef
40×	frac-add
24×	pow-sub
19×	pow-pow diff-log
18×	div-sub
15×	sum-log log-prod associate-+r-
14×	pow-flip
13×	exp-diff
12×	inv-pow
10×	+-commutative cos-sum
9×	distribute-rgt-out--
7×	frac-sub hypot-udef
6×	exp-sum un-div-inv
5×	associate--l+
4×	log-div
3×	difference-of-sqr-1 sqrt-unprod sub-div asin-acos acos-asin expm1-def
2×	expm1-log1p expm1-udef log1p-expm1 rem-log-exp distribute-neg-frac unpow2 cos-diff log1p-udef
1×	remove-posit16 sqrt-undiv cube-unmult pow3 rem-exp-log sqr-sin rem-square-sqrt sin-mult count-2 distribute-rgt-out