derivative of cos(3x) at x equals pi/6