Details

rewrite1.8s (1.8%)

Algorithm

27×	rewrite-expression-head

Calls

92 calls:

176.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*))))
157.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*)))))
137.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
130.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*)))))
125.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

478×	add-sqr-sqrt
420×	*-un-lft-identity
372×	add-cube-cbrt
289×	add-exp-log
244×	unpow-prod-down
234×	pow1
210×	prod-diff
173×	sqrt-prod
167×	add-cbrt-cube
138×	cbrt-prod
117×	prod-exp
110×	unpow-prod-up
96×	associate-*r/
93×	add-log-exp log1p-expm1-u
92×	expm1-log1p-u
89×	associate-*r*
84×	distribute-rgt-in distribute-lft-in
68×	times-frac
64×	pow-unpow sqrt-pow1
63×	cube-prod
54×	pow-prod-down
46×	flip-- flip3--
44×	pow-exp
43×	pow-pow
42×	cbrt-unprod
40×	associate--l+ pow1/2
39×	associate-*l*
34×	sub-neg
32×	frac-sub
30×	sqr-pow
29×	pow-to-exp
24×	difference-of-squares distribute-lft-out-- sqrt-div
20×	unswap-sqr
18×	div-exp
14×	rem-sqrt-square
12×	*-commutative
11×	log-pow
8×	sqrt-pow2 swap-sqr pow-sub associate-/r*
7×	cube-mult unpow3 exp-prod
6×	associate-/l* div-inv log-prod
5×	pow1/3 pow-prod-up
4×	rem-cbrt-cube expm1-udef
3×	cbrt-undiv pow-sqr rem-cube-cbrt sin-diff
2×	associate-/l/ cbrt-div cube-div acos-asin associate-/r/ clear-num frac-2neg rem-log-exp sinh-def
1×	expm1-log1p rem-square-sqrt div-sub pow-plus sqrt-unprod exp-to-pow pow2