How do you find the antiderivative of int sinx/cos^3x dxsinxcos3xdx?