[math-fun] Synthesizing functions over finite fields with polynomials