Details

rewrite37.7s (11.6%)

Algorithm

116×	rewrite-expression-head

Calls

439 calls:

6.3s	(* (* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
2.3s	(/ (/ NdChar (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))))
1.8s	(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))
1.8s	(/ 2.0 (* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))
1.6s	(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))

Rules

33698×	add-exp-log
22319×	prod-exp
9125×	div-exp
8341×	pow-exp
6917×	times-frac
5319×	add-sqr-sqrt
5213×	*-un-lft-identity
4334×	add-cube-cbrt
3285×	pow-to-exp
3126×	add-cbrt-cube
1781×	unpow-prod-down
1611×	cbrt-prod
1513×	cbrt-unprod
1412×	sqrt-div
1340×	frac-times
1334×	pow1
1180×	sqrt-prod
1020×	associate-*r*
969×	associate-*r/
819×	associate-*l/
703×	cbrt-undiv
672×	associate-*l*
626×	sqr-pow
620×	flip-- flip3--
504×	add-log-exp
493×	1-exp
491×	rec-exp
479×	pow-prod-down
441×	expm1-log1p-u
440×	log1p-expm1-u
433×	associate-/r*
363×	div-inv
357×	associate-/l*
356×	distribute-lft-out--
321×	unswap-sqr
311×	pow-unpow
290×	exp-prod
252×	distribute-rgt-neg-in
250×	unpow2
239×	distribute-lft-neg-in
236×	prod-diff
192×	associate-/r/
178×	flip-+ flip3-+
171×	distribute-lft-out
148×	cbrt-div *-commutative sqrt-pow1
130×	difference-of-squares
126×	tan-quot
110×	distribute-rgt-in distribute-lft-in
95×	clear-num frac-2neg
84×	swap-sqr
82×	pow1/2
71×	fma-def
46×	fma-udef
44×	pow-pow
42×	rem-sqrt-square
40×	pow1/3
39×	sub-neg
38×	div-sub
37×	associate-/l/
34×	pow-prod-up neg-mul-1
31×	fma-neg
30×	pow-sub
28×	frac-sub
25×	cos-sum
23×	sum-log
22×	pow-sqr neg-sub0 associate--l+
16×	+-commutative
14×	pow-neg
12×	hypot-def
9×	frac-add distribute-neg-frac
8×	distribute-frac-neg diff-log
7×	hypot-udef
6×	un-div-inv
5×	rem-exp-log exp-diff pow-plus exp-neg pow2 acos-asin
4×	associate-+r+ sqrt-unprod rem-square-sqrt neg-log asin-acos
3×	associate-+r- associate-+l+ associate-+l-
2×	log1p-udef log1p-expm1 quot-tan expm1-log1p unsub-neg expm1-udef
1×	sqrt-pow2 sqrt-undiv cos-diff mul0 distribute-rgt-neg-out