Details

rewrite12.9s (4.2%)

Algorithm

29×	rewrite-expression-head

Calls

98 calls:

1.6s	(* (* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U)
1.6s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
1.4s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
1.1s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
1.1s	(* (* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U)

Rules

395×	add-sqr-sqrt
306×	add-exp-log
305×	*-un-lft-identity
293×	pow1
257×	add-cube-cbrt
197×	sqrt-prod
186×	add-cbrt-cube
164×	unpow-prod-down
124×	prod-exp
108×	add-log-exp
99×	cbrt-prod
96×	associate-*r*
90×	associate-*l/
88×	associate-*r/
81×	sqrt-pow1
77×	pow-prod-down
76×	pow-unpow
60×	cbrt-div
57×	cbrt-unprod
48×	pow-exp
45×	times-frac
44×	associate-*l*
42×	pow-pow
40×	flip3-+ flip-+
37×	pow1/2
34×	sqrt-div unswap-sqr
30×	pow-to-exp log-prod
29×	pow1/3
28×	frac-times log-pow
24×	distribute-lft-out-- difference-of-squares sqr-pow
22×	swap-sqr
19×	exp-prod
16×	rem-sqrt-square *-commutative
15×	unpow-prod-up
13×	div-exp pow-prod-up
10×	sub-neg
8×	pow-plus sqrt-pow2
7×	pow-sqr
6×	rem-log-exp sum-log pow-sub
5×	associate-/r* associate-/l*
4×	flip3-- flip-- pow2 distribute-rgt-in distribute-lft-in
3×	exp-sum div-inv
2×	associate-+l+ sinh-def associate-/l/ associate-/r/ acos-asin +-commutative e-exp-1
1×	div-sub rem-exp-log cbrt-undiv frac-2neg pow3 clear-num