A division-free enclosure for tangent comparisons #
To compare tan x with a rational boundary b, it suffices to determine the sign of
sin x - b * cos x and the sign of cos x. This linear combination of the reduced
enclosures avoids dividing by an interval that may contain zero.
Enclose the residual whose sign determines the tangent comparison once cosine's sign is known.