How do you verify cot(x2)=tanxsecx1?