Gappa input script for bounding the rounding error in the expression from Figure 1. A note about syntax and convention: the rounding operator on the left-hand side of the equals is applied to all operations, but not variables, on the right-hand side; we use the suffixes
_m,
_f, and
_fx to represent mathematically ideal, floating and fixed point variables, respectively.