integral of sin(a*x)*cos(a*x)