integrate from 0 to pi/2 of -2/pi* log(sin(x)) dx