What is the integral of #int (sin(2x)*sin(5x)dx)#?