int_(pi/4)^(3pi/4) (-4*x^2)*log(sin x)