How do you integrate sinxcos3xdx?