integrate 5pi/6 - arccosx from -sqrt(3)/2 to 1