Refined implementations of inverse trig functions. Refined testing of interval versions of functions which may return NaN.