Details

rewrite2.6s (1.0%)

Algorithm

25×	rewrite-expression-head

Calls

80 calls:

295.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
258.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
214.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (- U U*) (* n (pow (/ l Om) (* 2 (/ 2.0 2))))))))
203.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
198.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

Rules

297×	add-exp-log
292×	add-sqr-sqrt
226×	*-un-lft-identity
194×	pow1 add-cube-cbrt
164×	add-cbrt-cube
137×	prod-exp
127×	associate-*r*
116×	cbrt-prod
94×	add-log-exp
92×	associate-*r/
61×	unpow-prod-down
60×	pow-prod-down
58×	times-frac
51×	cbrt-unprod
46×	flip-- flip3--
45×	associate-*l*
37×	sqrt-pow1
34×	distribute-rgt-in distribute-lft-in pow-exp unswap-sqr
32×	frac-sub
28×	pow1/3
26×	sub-neg
25×	sqrt-prod
24×	sqrt-div log-pow log-prod
20×	associate--l+
19×	pow-to-exp
18×	div-exp
17×	*-commutative
16×	sinh-def difference-of-squares distribute-lft-out--
14×	cbrt-div sqr-pow
12×	associate-*l/ swap-sqr exp-prod
10×	pow1/2
8×	cube-prod sum-log associate-/r*
6×	associate-/l*
5×	div-inv
4×	+-commutative flip-+ flip3-+ pow-prod-up rem-log-exp pow-sqr
3×	cbrt-undiv
2×	associate-/l/ cube-mult unpow3 pow-plus acos-asin associate-+r+ rem-sqrt-square frac-times associate-/r/ clear-num frac-2neg pow2
1×	div-sub