Evaluate 4cos(x)^2-3=0