Simplify (1-tan(x)^2)/(cot(x)^2-1)