integral log(2-2cos(x))