d/dx cos(6x^3+12x)