Details

rewrite4.6s (1.8%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

807.0ms	(* (* 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))
800.0ms	(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)))
424.0ms	(* (* (* 2.0 n) (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* (* 2.0 l) (/ l Om))))) U)
421.0ms	(sqrt (* (* (* 2.0 n) (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
352.0ms	(* (* 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

397×	add-sqr-sqrt
346×	*-un-lft-identity
295×	add-exp-log
250×	add-cube-cbrt
248×	pow1
164×	add-cbrt-cube
131×	times-frac
128×	prod-exp
124×	cbrt-prod
123×	unpow-prod-down
116×	associate-*r*
109×	sqrt-prod
86×	add-log-exp
70×	pow-prod-down
64×	cbrt-div
60×	sqrt-pow1
58×	associate-*l*
50×	cbrt-unprod
38×	pow-exp
37×	pow1/2
36×	associate-*r/ distribute-lft-out--
32×	difference-of-squares flip3-- flip-- unswap-sqr
30×	pow-unpow
28×	associate-*l/ swap-sqr
26×	pow-pow
24×	frac-times
22×	pow-to-exp flip-+ flip3-+
19×	div-exp associate-/r*
18×	associate-/l/
16×	pow1/3 sqr-pow
15×	rem-sqrt-square *-commutative
14×	sub-neg
13×	associate-/l*
12×	unpow-prod-up
10×	distribute-lft-out
9×	pow-prod-up
8×	distribute-rgt-in log-pow sqrt-div div-inv distribute-lft-in
7×	pow-sqr
6×	associate-/r/ exp-prod pow-sub sqrt-pow2 log-prod
3×	cbrt-undiv frac-2neg pow2 pow-plus clear-num
2×	rem-log-exp acos-asin
1×	div-sub rem-square-sqrt sqrt-unprod