solve 2 (cos(x))^2 - sqrt(3) * cos(x) = 0 between 0 and pi/2