What is the derivative of e^cosx + cos(e^x)?