Rational trigonometric containment

The arctangent kernel uses exact rational argument reduction. The sine and cosine kernels use global Taylor bounds. Each computed interval contains the corresponding real function value for every rational input and every finite degree.