integral ln(2cos(x)) dx