Details

rewrite1.1s (0.4%)

Algorithm

24×	rewrite-expression-head

Calls

72 calls:

190.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
74.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
67.0ms	(* (* n (- t (fma (/ l Om) (* l 2.0) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) (* 2.0 U))
45.0ms	(sqrt (* (* n (- t (fma (/ l Om) (* l 2.0) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) (* 2.0 U)))
39.0ms	(* n (pow (/ l Om) 2.0))

Rules

331×	add-sqr-sqrt
280×	add-exp-log
275×	*-un-lft-identity
258×	pow1
231×	add-cube-cbrt
164×	add-cbrt-cube
126×	prod-exp
91×	associate-*r*
90×	pow-prod-down prod-diff
78×	unpow-prod-down
73×	expm1-log1p-u log1p-expm1-u
72×	add-log-exp
65×	times-frac
61×	sqrt-prod
57×	cbrt-unprod
55×	associate-*l*
54×	log-prod
50×	distribute-lft-in distribute-rgt-in
47×	sqrt-pow1
44×	unpow-prod-up
32×	pow-exp
28×	associate-*r/
27×	pow1/2
26×	unswap-sqr associate-*l/
22×	sqrt-div
19×	distribute-lft-out-- difference-of-squares
18×	pow-to-exp
17×	flip3-- flip-- log-pow
16×	swap-sqr
15×	div-exp *-commutative
14×	sinh-def
12×	pow-unpow sqr-pow
10×	rem-log-exp pow-prod-up sub-neg
8×	pow-pow
6×	log-div pow-sqr
5×	associate-/r* div-inv associate-/l*
4×	exp-prod
3×	distribute-lft-out exp-sum flip3-+ cbrt-prod acos-asin flip-+
2×	associate-/r/ frac-times associate-/l/ rem-square-sqrt pow2 rem-sqrt-square pow-plus sqrt-unprod sqrt-pow2 pow-sub
1×	div-sub expm1-log1p rem-exp-log cbrt-undiv pow1/3 log1p-def frac-2neg log1p-expm1 expm1-udef log1p-udef clear-num