derivative of 1/4cos(x