[PATCH 00/11] Add binary64 cosh/sinh/tanh CORE-MATH implementations to libm

[Paul Zimmermann]

       Hi Florian,

we recently found an issue in the CORE-MATH sinh, and I am working on a full
proof of correctness of that function, thus maybe it would be better to wait
until this proof is complete (probably this month).

We plan to prove cosh and tanh similarly. (For cosh, a recent CORE-MATH patch
increases the error bounds.)

Paul

> From: Florian Weimer <fweimer@redhat.com>
> Cc: libc-alpha@sourceware.org,  Wilco Dijkstra <Wilco.Dijkstra@arm.com>,
>   Paul Zimmermann <Paul.Zimmermann@inria.fr>,  DJ Delorie <dj@redhat.com>,
>   Joseph Myers <josmyers@redhat.com>
> Date: Mon, 02 Mar 2026 13:04:51 +0100
> 
> * Adhemerval Zanella:
> 
> > Adhemerval Zanella (11):
> >   benchtests: Adapt cosh
> >   benchtests: Adapt sinh
> >   benchtests: Adapt tanh
> >   math: Use cosh from CORE-MATH
> >   math: Remove the SVID error handling from cosh
> >   math: Use sinh from CORE-MATH
> >   math: Remove the SVID error handling from sinh
> >   math: Use tanh from CORE-MATH
> >   math: Consolidated common definition/data for cosh/sinh/tanh
> >   x86_64: Add cosh with FMA
> >   x86: Fix tanh ifunc selection
> 
> What's the status of this series?
> 
> Thanks,
> Florian
> 
>