integral ln(1+cos(x))