integrate x^3 (sin(xcosx) - sin(xsinx)) from 0 to pi/4