int ln(2-2*cos(x)) dx