antiderivative of 1/(x^3 + x + 1)