integral of ln(cosx)