Details

rewrite15.0s (4.9%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

4.2s	(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))))) (* (cbrt U) (cbrt U))) (cbrt U)))
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.5s	(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

407×	add-exp-log
382×	add-sqr-sqrt
357×	pow1
298×	*-un-lft-identity
260×	add-cube-cbrt
210×	add-cbrt-cube
202×	prod-exp
134×	log-pow
130×	exp-prod
125×	associate-*r*
122×	pow-prod-down
119×	unpow-prod-down
106×	add-log-exp
94×	sqrt-pow1
89×	sqrt-prod
81×	cbrt-unprod
74×	cbrt-prod
58×	log-prod
55×	associate-*l* times-frac
54×	pow-exp
51×	pow1/3
36×	unswap-sqr
30×	pow-to-exp
28×	pow-unpow
27×	pow1/2
26×	associate-*r/
24×	swap-sqr
23×	div-exp unpow-prod-up
22×	sqr-pow associate-*l/
21×	*-commutative
19×	distribute-lft-out-- difference-of-squares
16×	pow-prod-up pow-sqr sub-neg
14×	rem-sqrt-square pow-pow
12×	flip3-+ flip-+
10×	rem-log-exp sqrt-div
8×	pow2 pow-plus
7×	exp-sum
6×	sin-sum sum-log distribute-lft-in distribute-rgt-in
5×	rem-exp-log flip3-- flip-- associate-/r* associate-/l*
4×	sqrt-pow2 div-inv pow-sub
2×	sinh-def associate-/l/ associate-/r/ associate-+l+ acos-asin +-commutative e-exp-1
1×	div-sub cbrt-undiv frac-2neg clear-num