How do you simplify 1/( tan^2 x + 1)?