Details

rewrite1.2s (1.0%)

Algorithm

28×	rewrite-expression-head

Calls

93 calls:

88.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
66.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
66.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
55.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
55.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

710×	add-sqr-sqrt
534×	*-un-lft-identity
488×	add-cube-cbrt
396×	prod-diff
289×	add-exp-log
281×	pow1
262×	sqrt-prod
227×	distribute-rgt-in distribute-lft-in
224×	unpow-prod-down
184×	unpow-prod-up
172×	add-cbrt-cube
148×	associate-*r*
125×	prod-exp
119×	associate-*r/
116×	associate-*l*
103×	add-log-exp
94×	log1p-expm1-u
93×	expm1-log1p-u
92×	exp-sum
86×	swap-sqr
79×	pow-prod-down
78×	unswap-sqr sqrt-pow1
63×	flip-- flip3--
60×	sub-neg
48×	times-frac pow1/2
46×	cbrt-unprod
45×	associate--l+
44×	frac-sub
42×	pow-exp
40×	sqrt-div
38×	sqr-pow
35×	log-pow
34×	cbrt-prod
30×	pow-to-exp
25×	exp-prod
24×	pow-pow
22×	pow-unpow difference-of-squares distribute-lft-out-- associate--r+
18×	*-commutative
16×	pow1/3 log-prod
15×	div-exp
14×	pow-prod-up
12×	pow-sub
10×	pow-sqr rem-sqrt-square
8×	cosh-def associate-/r*
6×	associate-/l*
5×	pow2
4×	sqrt-pow2 rem-exp-log div-inv rem-log-exp
3×	cbrt-undiv pow-plus associate-*l/ acos-asin sqrt-unprod fma-neg diff-log frac-times
2×	associate-/l/ rem-square-sqrt exp-lft-sqr associate-/r/ clear-num frac-2neg expm1-udef exp-to-pow cbrt-div sinh-def
1×	expm1-log1p div-sub associate--l- sin-diff