Simplify (1-cos(x)^2)(cot(x)^2+1)