integral of ln(cos x)