antiderivative of 2x