From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=VQWM=6F=inria.fr=Paul.Zimmermann@sourceware.org>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sourceware.org (Postfix) with ESMTPS id C666E385480C
	for <libc-alpha@sourceware.org>; Thu,  9 Feb 2023 10:02:59 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C666E385480C
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=inria.fr
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=inria.fr
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=inria.fr; s=dc;
  h=date:message-id:from:to:subject;
  bh=Mu1zZEeaB+6doiB/0WBoCfY66axXTy42zTruVXVH7Zk=;
  b=ErSv7/P/m4df+rOVqTnGdNJiThsp08ZJ0vB11VqqqQyheRyENwSBwTub
   yGo18RaP8L+jMkivdjJ2NTzyA+fxquguM/4hgf/c2W/KIdk+LrLevRGj+
   +239ZG92ChYyjU4yYAbgtvXjW6BLu/r9SpvUqF07cOTXiqwIUru05VnAI
   A=;
Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Paul.Zimmermann@inria.fr; spf=None smtp.helo=postmaster@coriandre
Received-SPF: SoftFail (mail3-relais-sop.national.inria.fr:
  domain of Paul.Zimmermann@inria.fr is inclined to not
  designate 152.81.9.227 as permitted sender)
  identity=mailfrom; client-ip=152.81.9.227;
  receiver=mail3-relais-sop.national.inria.fr;
  envelope-from="Paul.Zimmermann@inria.fr";
  x-sender="Paul.Zimmermann@inria.fr"; x-conformance=spf_only;
  x-record-type="v=spf1"; x-record-text="v=spf1
  ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160
  ip4:89.107.174.7 mx ~all"
Received-SPF: None (mail3-relais-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@coriandre) identity=helo; client-ip=152.81.9.227;
  receiver=mail3-relais-sop.national.inria.fr;
  envelope-from="Paul.Zimmermann@inria.fr";
  x-sender="postmaster@coriandre"; x-conformance=spf_only
X-IronPort-AV: E=Sophos;i="5.97,283,1669071600"; 
   d="scan'208";a="47283195"
Received: from coriandre.loria.fr (HELO coriandre) ([152.81.9.227])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Feb 2023 11:02:59 +0100
Date: Thu, 09 Feb 2023 11:02:58 +0100
Message-Id: <mwwn4r40ml.fsf@coriandre.loria.fr>
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
To: libc-alpha@sourceware.org
Subject: known maximal errors
X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_SHORT,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <libc-alpha.sourceware.org>

       Hi,

[1] gives a maximal known error of 0 ulp for hypotf on x86_64, but the
following gives an error of 1 ulp:

Checking hypot with glibc-2.37
hypot 0 -1 -0x1.003222p-20,-0x1.6a2d58p-32 [0.501] 0.500001 0.500000001392678
libm gives 0x1.003224p-20
mpfr gives 0x1.003222p-20

Same for binary64 tan:

tan 0 -1 -0x1.317cd745dd37cp+9 [1] [0.619] 0.618367 0.6183663571802361
libm gives -0x1.efcf403abf99ep+3
mpfr gives -0x1.efcf403abf99fp+3

and for atan2:

atan2 0 -1 0x1.ed6060626eecfp-429,0x1.f42ebb62994dcp-426 [0.524] 0.523171 0.5231707007273592
libm gives 0x1.f67f36f292b58p-4
mpfr gives 0x1.f67f36f292b59p-4

For binary64 sin a maximal known error of 2 ulps is given but I can only
find an error of 0.516 ulps, thus rounding to 1.
Do you have an example with 2 ulps on x86_64 ?

Best regards,
Paul

[1] https://www.gnu.org/software/libc/manual/html_node/Errors-in-Math-Functions.html