integrate from 0 to 2pi log(2-2cos(x)) dx