What is the derivative of y = cos(a^3 + x^3)?