What is the antiderivative of 5+cosx?