/x\ tan|-| \2/ lim (cos(2*x)) x->pi+
Limit(cos(2*x)^tan(x/2), x, pi)
1
= 1.0
/x\ tan|-| \2/ lim (cos(2*x)) x->pi-
1.0