What is the antiderivative of #5+cosx#?