integrate (log (2sin(x/2)))^2 dx from 0 to pi/3