integral of log(2 + sin x)