What is the antiderivative of #x^2/2#?