Vitalsource Technologies, Inc. Polynomial Formal Verification of Approximate Functions