How do you verify (1)/(cosx*sinx) - (cosx)/(sinx)=tanx?