Provably faithful evaluation of polynomials