What is the integral of #int sin^5x*cos^7x #?