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