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