library | value of x2 | value of y2 | comments |
icc 19.0.4.243 | -1.343469 | 0.625392 | with -O1 |
RedHat's libm | -1.248148 | 0.609395 | |
glibc 2.13 | -1.248148 | 0.609395 | idem with 2.14-2.16.0 |
icc 19.0.4.243 | -1.182620 | 0.601759 | with -O2/-O3 |
glibc-2.29 | -0.654706 | 0.631662 | idem with 2.30-2.31 |
icc 19.0.4.243 | -0.654694 | 0.631660 | with -O0 |
musl | -0.654567 | 0.631743 | |
OpenLibm 0.4.1 | -0.654567 | 0.631743 | |
glibc-2.17 | -0.654562 | 0.631744 | idem with 2.18-2.28 |
AMD libm 3.5.0 | -0.654562 | 0.631744 | |
GNU MPFR | -0.654562 | 0.631744 | correctly rounded |
The program using MPFR is available here: it simply replaces the sinf and cosf by variants calling the corresponding MPFR functions.