integral of sin(x)*cos(3*x^2)