antiderivative of (3x^2-1)^2