integral of x^3*ln(sin(x)) from 0 to pi/2