Details

rewrite1.9s (1.8%)

Algorithm

29×	rewrite-expression-head

Calls

98 calls:

193.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*))))
172.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*)))))
169.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*)))))
148.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
144.0ms	(sqrt (* (* (* 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*)))))

Rules

430×	add-sqr-sqrt
341×	*-un-lft-identity
303×	add-cube-cbrt
284×	add-exp-log
247×	pow1
169×	add-cbrt-cube
138×	prod-diff
115×	sqrt-prod
114×	prod-exp
113×	associate-*r*
105×	unpow-prod-down
102×	associate-*r/
101×	expm1-log1p-u
99×	log1p-expm1-u
98×	add-log-exp
78×	times-frac
73×	distribute-rgt-in distribute-lft-in
59×	sqrt-pow1
58×	pow-prod-down
53×	associate-*l*
45×	flip-- flip3--
44×	unpow-prod-up
43×	pow1/2
42×	cbrt-unprod
40×	associate--l+
34×	pow-exp
32×	frac-sub unswap-sqr
26×	sub-neg
24×	sqrt-div
22×	swap-sqr
20×	pow-unpow
19×	difference-of-squares distribute-lft-out-- pow-to-exp
18×	div-exp
17×	rem-sqrt-square log-pow
16×	cbrt-prod pow-pow
15×	log-prod
14×	*-commutative sqr-pow
12×	exp-prod pow-prod-up
10×	expm1-udef
8×	expm1-log1p pow-sqr associate-/r*
7×	div-inv
6×	associate-/l* pow1/3
5×	rem-log-exp
4×	sinh-def sqrt-pow2 acos-asin pow-sub
3×	cbrt-undiv pow-plus log1p-udef log1p-expm1 pow2
2×	associate-/l/ rem-square-sqrt sqrt-unprod associate-/r/ clear-num sin-diff frac-2neg cosh-def
1×	exp-diff div-sub log-div