(tan^2x+1)cot2x=2-sec^2x