(x^2-9)