integral of sin(2x) * x^3