What is the antiderivative of 1cosx(2+sinx)?