A Strong and Easily Computable Separation Bound for Arithmetic Expressions Involving Radicals

We consider arithmetic expressions over operators + , - , * , / , and $\sqrt[k]$ , with integer operands. For an expression E having value $\xi$ , a separation bound sep (E) is a positive real number with the property that $\xi\neq$ 0 implies $|\xi | \geq$ sep (E) . We propose a new separation bound that is easy to compute and stronger than previous bounds