integral of log(sin(x))