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