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