cos(pi/3 - x) = 1/2