derivative of sqrt(cos(3x))