|
|
Message-Id: <p9u0qzjmlmj4.fsf@thym>
Date: Tue, 25 Aug 2026 08:52:31 +0200
From: Paul Zimmermann <Paul.Zimmermann@...ia.fr>
To: musl@...ts.openwall.com
CC: vincenzo.innocente@...n.ch, riemannic@...il.com, johnmather@...efx.com, ozaki@....shibaura-it.ac.jp
Subject: Accuracy of Mathematical Functions
Dear all,
a new update of our comparison is available:
https://members.loria.fr/PZimmermann/papers/accuracy.pdf
Main remarks about this update:
* more correctly-rounded functions in GNU libc and LLVM libc
* the Intel Math Library provides some cr_xxx functions: the user can choose
between the default function (log) and the correctly rounded one (cr_log)
* about two years after the adoption of C23, very few libraries implement
the new C23 functions
Specific to Musl:
* For x = -0x1.34e729fd08086p+21, Musl acosh yields 0x1.075fa39542c7fp+3
instead of NaN.
* For x = -16384, expl returns 2^-16384 instead of 0, maybe the code was
copied from exp2l.
* And for x, y = -0x8p-16448,-0x1p+0, powl returns +Inf instead of -Inf.
Brian Gladman
Vincenzo Innocente
John Mather
Katsuhisa Ozaki
Paul Zimmermann
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.