integral log(sin(x))