integrate ln(cos(x))