Details

rewrite652.0ms (0.7%)

Algorithm

23×	rewrite-expression-head

Calls

70 calls:

80.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
75.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*)))))
52.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*))))))
50.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
49.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

279×	add-exp-log
234×	add-sqr-sqrt
184×	*-un-lft-identity
166×	pow1
153×	add-cbrt-cube
152×	add-cube-cbrt
132×	prod-exp
114×	associate-*r*
108×	associate-*r/
82×	add-log-exp
61×	unpow-prod-down times-frac
56×	pow-prod-down
46×	cbrt-unprod
44×	distribute-rgt-in distribute-lft-in
41×	flip-- flip3--
34×	pow-exp
28×	sub-neg frac-sub associate-*l*
26×	unswap-sqr
24×	sqrt-div cbrt-prod
21×	sqrt-pow1
20×	associate--l+ div-exp
19×	pow-to-exp
18×	exp-prod
16×	difference-of-squares distribute-lft-out-- log-pow
14×	*-commutative sqr-pow
12×	log-prod
11×	associate-/r*
10×	sqrt-prod
8×	cube-prod pow1/3
7×	associate-/l*
6×	sum-log div-inv pow1/2
5×	cbrt-undiv
4×	rem-log-exp
3×	clear-num frac-2neg
2×	associate-/l/ sinh-def associate-+r+ unpow3 cube-mult +-commutative flip3-+ acos-asin flip-+ rem-sqrt-square rem-exp-log associate-/r/
1×	div-sub