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