benchtests/cos-inputs

   1 0x1.000000cf4a2a1p0
   2 0x1.0000010b239a8p0
   3 0x1.00000162a932ap0
   4 0x1.000002d452a11p0
   5 0x1.000005bc7d86cp0
   6 # cos slow path at 768 bits
   7 # Implemented in sysdeps/ieee754/dbl-64/sincos32.c
   8 ## name: 768bits
   9 0x1.000000cf4a2a2p0
  10 0x1.0000010b239a9p0
  11 0x1.00000162a932bp0
  12 0x1.000002d452a10p0
  13 0x1.000005bc7d86dp0