What is the derivative of #f(x) = tan(x)cos(x)#?