integrate log(cos(x))