solve 2 cos(x) = sqrt(3) from 0 to pi/2