Approximate Checking of Polynomials and Functional Equations (extended abstract).