integral of ln(cos(x))