Title: Polynomial Formal Verification of Approximate Functions