! IEEE double test vectors for cosh 4x =d 0x7ff80aa0 0x00000000 0x00000000 0x00000000 OK 0x7ff80aa0 0x00000000 4x =d 0x00000000 0x00000000 0x00000000 0x00000000 OK 0x3ff00000 0x00000000 4x =d 0x80000000 0x00000000 0x00000000 0x00000000 OK 0x3ff00000 0x00000000 4x =d 0x7ff00000 0x00000000 0x00000000 0x00000000 OK 0x7ff00000 0x00000000 4x =d 0xfff00000 0x00000000 0x00000000 0x00000000 OK 0x7ff00000 0x00000000 4x =d 0x3ff00000 0x00000000 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f550 4x =d 0x40000000 0x00000000 0x00000000 0x00000000 x 0x400e18fa 0x0df2d9bc 4x =d 0x40080000 0x00000000 0x00000000 0x00000000 x 0x402422a4 0x97d6185e 4x =d 0x3fe00000 0x00000000 0x00000000 0x00000000 x 0x3ff20ac1 0x862ae8d0 4x =d 0x3fd00000 0x00000000 0x00000000 0x00000000 x 0x3ff080ab 0x05ca6146 4x =d 0x3fc00000 0x00000000 0x00000000 0x00000000 x 0x3ff0200a 0xac16db6f ! 11 manual vectors 4x =d 0xffefffff 0xffffffff 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 4x =d 0xffefffff 0xfffffffe 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 4x =d 0xffefffff 0xfffffffd 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 4x =d 0xffefffff 0xfffffffc 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 4x =d 0xbff00000 0x00000004 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f555 4x =d 0xbff00000 0x00000003 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f554 4x =d 0xbff00000 0x00000002 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f553 ! 4x =d 0xbff00000 0x00000001 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f551 4x =d 0xbff00000 0x00000001 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f552 4x =d 0xbff00000 0x00000000 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f550 4x =d 0xbfefffff 0xffffffff 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f550 4x =d 0xbfefffff 0xfffffffe 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54f ! 4x =d 0xbfefffff 0xfffffffd 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54f 4x =d 0xbfefffff 0xfffffffd 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54e 4x =d 0xbfefffff 0xfffffffc 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54e 4x =d 0x80100000 0x00000004 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80100000 0x00000003 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80100000 0x00000002 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80100000 0x00000001 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80100000 0x00000000 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x800fffff 0xffffffff 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x800fffff 0xfffffffe 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x800fffff 0xfffffffd 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x800fffff 0xfffffffc 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80000000 0x00000005 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80000000 0x00000004 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80000000 0x00000003 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80000000 0x00000002 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x80000000 0x00000001 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00000000 0x00000001 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00000000 0x00000002 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00000000 0x00000003 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00000000 0x00000004 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00000000 0x00000005 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x000fffff 0xfffffffc 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x000fffff 0xfffffffd 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x000fffff 0xfffffffe 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x000fffff 0xffffffff 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00100000 0x00000000 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00100000 0x00000001 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00100000 0x00000002 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00100000 0x00000003 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x00100000 0x00000004 0x00000000 0x00000000 x 0x3ff00000 0x00000000 4x =d 0x3fefffff 0xfffffffc 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54e ! 4x =d 0x3fefffff 0xfffffffd 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54f 4x =d 0x3fefffff 0xfffffffd 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54e 4x =d 0x3fefffff 0xfffffffe 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f54f 4x =d 0x3fefffff 0xffffffff 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f550 ! 4x =d 0x3ff00000 0x00000001 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f551 4x =d 0x3ff00000 0x00000001 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f552 4x =d 0x3ff00000 0x00000002 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f553 4x =d 0x3ff00000 0x00000003 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f554 4x =d 0x3ff00000 0x00000004 0x00000000 0x00000000 x 0x3ff8b075 0x51d9f555 4x =d 0x7fefffff 0xfffffffc 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 4x =d 0x7fefffff 0xfffffffd 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 4x =d 0x7fefffff 0xfffffffe 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 4x =d 0x7fefffff 0xffffffff 0x00000000 0x00000000 ox 0x7ff00000 0x00000000 ! 64 total vectors