Details

rewrite15.3s (5.0%)

Algorithm

115×	rewrite-expression-head

Calls

437 calls:

1.2s	(- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)
356.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (/ (* (* 1.0 (pow (/ (* M D) (* 2.0 d)) 2.0)) h) (* 2.0 l))))
342.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
293.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))))
292.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))))

Rules

51645×	add-exp-log
37937×	prod-exp
26763×	pow-exp
18514×	div-exp
12222×	pow-to-exp
6560×	times-frac
5639×	add-sqr-sqrt
5465×	*-un-lft-identity
4536×	add-cube-cbrt
4061×	1-exp rec-exp
3941×	sqrt-prod
2563×	add-cbrt-cube
1565×	pow1
1562×	associate-*l*
1032×	cbrt-prod
1010×	associate-*r*
983×	cbrt-unprod
810×	unpow-prod-down
514×	cbrt-undiv
494×	pow-unpow
491×	add-log-exp
489×	associate-/l*
448×	pow-prod-down
438×	log1p-expm1-u expm1-log1p-u
365×	associate-*r/
328×	div-inv
327×	associate-/r*
318×	distribute-lft-out--
316×	prod-diff
311×	unswap-sqr
243×	distribute-lft-out
236×	sqrt-div
222×	sqr-pow
221×	distribute-rgt-neg-in
193×	difference-of-squares
179×	distribute-lft-neg-in
168×	distribute-rgt-in distribute-lft-in
151×	*-commutative
148×	flip3-- flip--
146×	exp-prod
139×	associate-/r/
125×	flip-+ flip3-+
123×	pow-prod-up
114×	sqrt-pow1
112×	cbrt-div
105×	log-pow
96×	clear-num frac-2neg
94×	frac-times
84×	associate-*l/
81×	cube-prod
77×	pow-sqr
69×	cos-sum
67×	pow1/2
60×	pow-pow
59×	pow-plus
57×	unpow2 sub-neg
54×	fma-def
48×	pow1/3
44×	associate-/l/ pow2 associate--l+
42×	rem-sqrt-square
37×	div-sub
36×	frac-sub
25×	fma-udef
24×	tan-quot
23×	pow-flip swap-sqr neg-mul-1
20×	sum-log
18×	+-commutative
17×	pow-sub log-prod
16×	exp-diff fma-neg neg-sub0
14×	hypot-def
12×	frac-add
10×	distribute-neg-frac log-div
9×	rem-cube-cbrt inv-pow
8×	pow-div pow-neg
7×	unpow3 cube-mult
6×	diff-log
5×	distribute-frac-neg exp-sum
4×	cube-div rem-exp-log un-div-inv associate-+r- unsub-neg acos-asin rem-log-exp
3×	cos-diff hypot-udef
2×	asin-acos rem-cbrt-cube
1×	sqrt-undiv associate-+l+ log1p-udef exp-to-pow log1p-expm1 expm1-log1p rem-square-sqrt sqrt-unprod mul0 expm1-udef