What is the integral of #int sin(3x) * cos(4x) dx#?