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