What is the derivative of tan(cos x)?