What is the integral of cos2xsinx?