integrate log(sin(x)) from x=0 to x=pi/2