derivitive of 4 cos(x)