What is the antiderivative of sinx+3Cos(5x)?