How do you verify the identity cos t/(1-sin t) = sec t+tan t?