int_0^{pi/2}(x*log(sinx))