How do you find the integral of sinxcos3(x)dx??