On Tue, 21 Nov 2023 18:14:41 GMT, Paul Sandoz <psan...@openjdk.org> wrote:
> > This looks good. As far as I can tell the choice you've made of accuracy > > matches what we need to meet the spec. > > Same here . Sinh/cosh/tanh/expm1 are specified to be within 2.5 ulps of the > exact result, but i believe sleef does not offer that option, it's either > within 1 or 3.5, so we have to pick the former. AFAICT sleef does not say > anything about monotonicity, but we relax semi-monotonicity for all but sqrt > (we defer to IEEE 754). Yes, that's why we at least have to use the 1up in sleef here. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16234#issuecomment-1821956522