On circuit polynomials of graphs