Simplify cot^2x/(1+cot^2x)?