| 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.