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