int ln(2-2*cos(x)) dx, x=pi/3..pi