How do you verify sec(x)-cos(x)=sin(x)tan(x)?