Details

rewrite761.0ms (0.8%)

Algorithm

23×	rewrite-expression-head

Calls

66 calls:

84.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
84.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*)))))
80.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*))))))
65.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
62.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))

Rules

261×	add-sqr-sqrt
255×	add-exp-log
235×	*-un-lft-identity
203×	add-cube-cbrt
162×	pow1
141×	add-cbrt-cube
134×	distribute-rgt-in distribute-lft-in
132×	prod-diff
120×	prod-exp
108×	associate-*r/
76×	associate-*r*
68×	log1p-expm1-u add-log-exp
67×	expm1-log1p-u
61×	times-frac
56×	pow-prod-down
50×	associate--l+
45×	unpow-prod-down
42×	cbrt-unprod
41×	flip-- flip3--
30×	pow-exp
28×	sub-neg frac-sub
27×	cbrt-prod
24×	sqrt-div
21×	sqrt-pow1
20×	div-exp
18×	exp-prod
16×	difference-of-squares distribute-lft-out-- log-pow associate-*l*
15×	pow-to-exp
12×	log-prod unswap-sqr
11×	associate-/r*
10×	*-commutative sqrt-prod
9×	pow1/3
7×	associate-/l*
6×	sqr-pow div-inv pow1/2
5×	cbrt-undiv
4×	rem-log-exp
3×	expm1-udef clear-num frac-2neg
2×	expm1-log1p associate-/l/ rem-exp-log acos-asin rem-sqrt-square fma-udef associate-/r/ sinh-def
1×	sin-diff div-sub log1p-udef log1p-expm1