antiderivative -1/x^2