x(x²-1)的原函数是什么?