Towards tight error bounds on rational expression evaluation

Tight bound on rounding errors accumulated during a sequence of operations in expression evaluation can be difficult to obtain. We present two recently developed methods that help solve this problem in the case of rational expression in one variable. These methods have been successfully applied to recent software developments of highly-accurate transcendental function library.