On the graceful polynomials of a graph