what is the antiderivative of 2x​