/-cot(a) + cot(x)\ lim |----------------| x->a+\ x - a /
Limit((-cot(a) + cot(x))/(x - a), x, a)
/ 2 \ -\1 + tan (a)/ --------------- 2 tan (a)