xref: /third_party/musl/libc-test/src/math/ucb/cosh.h (revision 570af302)
1// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue
2// Mountain View, California  94043 All rights reserved.
3//
4// Any person is hereby authorized to download, copy, use, create bug fixes,
5// and distribute, subject to the following conditions:
6//
7// 	1.  the software may not be redistributed for a fee except as
8// 	    reasonable to cover media costs;
9// 	2.  any copy of the software must include this notice, as well as
10// 	    any other embedded copyright notices; and
11// 	3.  any distribution of this software or derivative works thereof
12// 	    must comply with all applicable U.S. export control laws.
13//
14// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED
15// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED
16// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR
17// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO
18// SPECIFICATIONS.
19//
20// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS
21// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY
22// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR
23// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN
24// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE.
25//
26// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED
27// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL,
28// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE
29// POSSIBILITY OF SUCH DAMAGES.
30//
31// This file is provided with no support and without any obligation on the
32// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated
33// companies to assist in its use, correction, modification or
34// enhancement.  Nevertheless, and without creating any obligation on its
35// part, Sun welcomes your comments concerning the software and requests
36// that they be sent to fdlibm-comments@sunpro.sun.com.
37// overflow boundary
38T(RN,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3bp+1023,   0x1.a6b164p-4, INEXACT)
39T(RZ,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3ap+1023,  -0x1.cb29d4p-1, INEXACT)
40T(RU,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3bp+1023,   0x1.a6b164p-4, INEXACT)
41T(RD,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3ap+1023,  -0x1.cb29d4p-1, INEXACT)
42T(RN,   -0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3bp+1023,   0x1.a6b164p-4, INEXACT)
43T(RN,    0x1.633ce8fb9f87ep+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
44T(RN,   -0x1.633ce8fb9f87ep+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
45T(RZ,   -0x1.633ce8fb9f87ep+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
46T(RU,   -0x1.633ce8fb9f87ep+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
47T(RD,   -0x1.633ce8fb9f87ep+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
48// coshd(0 or tiny) :=: 1.0
49T(RN,                 0x1p-67,                  0x1p+0,          0x0p+0, INEXACT)
50T(RN,                -0x1p-67,                  0x1p+0,          0x0p+0, INEXACT)
51T(RN,               0x1p-1022,                  0x1p+0,          0x0p+0, INEXACT)
52T(RN,              -0x1p-1022,                  0x1p+0,          0x0p+0, INEXACT)
53T(RN,               0x1p-1074,                  0x1p+0,          0x0p+0, INEXACT)
54T(RN,              -0x1p-1074,                  0x1p+0,          0x0p+0, INEXACT)
55T(RN,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
56T(RN,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
57// random arguments between -50,50
58T(RN,   -0x1.adeefb2b5006dp+3,   0x1.4de3262eea3cap+18,   0x1.e30caep-3, INEXACT)
59T(RN,    0x1.1ce3efb825911p+5,   0x1.4c46db4f09332p+50,  -0x1.1bee26p-3, INEXACT)
60T(RN,    0x1.602e109de7505p+5,   0x1.6cd152f852538p+62,   0x1.432474p-2, INEXACT)
61T(RN,   -0x1.0b245fba96889p+5,   0x1.2121104afc5efp+47,    0x1.b8303p-2, INEXACT)
62T(RN,   -0x1.b171ee27084ddp+3,   0x1.749cc0eb38f31p+18,   0x1.1a3cf8p-3, INEXACT)
63T(RN,   -0x1.f6eff1b093c41p+0,    0x1.d16cbf8794c45p+1,  -0x1.6a0662p-3, INEXACT)
64T(RN,    0x1.ceaa3d18455f5p+4,   0x1.a507cd0be14cdp+40,   0x1.40d57cp-4, INEXACT)
65T(RN,    0x1.560914a51b239p+5,   0x1.9a9b0ddd8b0c7p+60,   0x1.5db126p-2, INEXACT)
66T(RN,   -0x1.0ce901079de4dp+3,   0x1.16e676fb41d68p+11,   0x1.5681cap-3, INEXACT)
67T(RN,   -0x1.7f35b3103b871p+5,   0x1.13ae32648dd07p+68,     0x1.ebb6p-4, INEXACT)
68// coshd(nan/inf)
69T(RN,                     nan,                     nan,          0x0p+0, 0)
70T(RN,                     nan,                     nan,          0x0p+0, 0)
71T(RN,                     inf,                     inf,          0x0p+0, 0)
72T(RN,                    -inf,                     inf,          0x0p+0, 0)
73T(RD,                     inf,                     inf,          0x0p+0, 0)
74T(RD,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
75T(RD,                    -inf,                     inf,          0x0p+0, 0)
76T(RD,               0x1p-1074,                  0x1p+0,          0x0p+0, INEXACT)
77T(RD,               0x1p-1073,                  0x1p+0,          0x0p+0, INEXACT)
78T(RD,               0x1p-1024,                  0x1p+0,          0x0p+0, INEXACT)
79T(RD,               0x1p-1023,                  0x1p+0,          0x0p+0, INEXACT)
80T(RD, 0x1.ffffffffffffcp-1023,                  0x1p+0,          0x0p+0, INEXACT)
81T(RD, 0x1.ffffffffffffep-1023,                  0x1p+0,          0x0p+0, INEXACT)
82T(RD,               0x1p-1022,                  0x1p+0,          0x0p+0, INEXACT)
83T(RD, 0x1.0000000000001p-1022,                  0x1p+0,          0x0p+0, INEXACT)
84T(RD, 0x1.0000000000002p-1022,                  0x1p+0,          0x0p+0, INEXACT)
85T(RD,               0x1p-1021,                  0x1p+0,          0x0p+0, INEXACT)
86T(RD,               0x1p-1020,                  0x1p+0,          0x0p+0, INEXACT)
87T(RD,                 0x1p-27,                  0x1p+0,         -0x1p-3, INEXACT)
88T(RD,              -0x1p-1074,                  0x1p+0,          0x0p+0, INEXACT)
89T(RD,              -0x1p-1073,                  0x1p+0,          0x0p+0, INEXACT)
90T(RD,              -0x1p-1024,                  0x1p+0,          0x0p+0, INEXACT)
91T(RD,              -0x1p-1023,                  0x1p+0,          0x0p+0, INEXACT)
92T(RD,-0x1.ffffffffffffcp-1023,                  0x1p+0,          0x0p+0, INEXACT)
93T(RD,-0x1.ffffffffffffep-1023,                  0x1p+0,          0x0p+0, INEXACT)
94T(RD,              -0x1p-1022,                  0x1p+0,          0x0p+0, INEXACT)
95T(RD,-0x1.0000000000001p-1022,                  0x1p+0,          0x0p+0, INEXACT)
96T(RD,-0x1.0000000000002p-1022,                  0x1p+0,          0x0p+0, INEXACT)
97T(RD,              -0x1p-1021,                  0x1p+0,          0x0p+0, INEXACT)
98T(RD,              -0x1p-1020,                  0x1p+0,          0x0p+0, INEXACT)
99T(RD,                -0x1p-27,                  0x1p+0,         -0x1p-3, INEXACT)
100T(RD,              0x1.634p+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
101T(RD,               0x1p+1022, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
102T(RD,               0x1p+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
103T(RD, 0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
104T(RD, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
105T(RD,             -0x1.634p+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
106T(RD,              -0x1p+1022, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
107T(RD,              -0x1p+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
108T(RD,-0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
109T(RD,-0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
110T(RD,                     nan,                     nan,          0x0p+0, 0)
111T(RD,                     nan,                     nan,          0x0p+0, 0)
112T(RD,                 0x1p-25,    0x1.0000000000002p+0, -0x1.555554p-53, INEXACT)
113T(RD,                -0x1p-25,    0x1.0000000000002p+0, -0x1.555554p-53, INEXACT)
114T(RN,               0x1p-1073,                  0x1p+0,          0x0p+0, INEXACT)
115T(RN,               0x1p-1024,                  0x1p+0,          0x0p+0, INEXACT)
116T(RN,               0x1p-1023,                  0x1p+0,          0x0p+0, INEXACT)
117T(RN, 0x1.ffffffffffffcp-1023,                  0x1p+0,          0x0p+0, INEXACT)
118T(RN, 0x1.ffffffffffffep-1023,                  0x1p+0,          0x0p+0, INEXACT)
119T(RN, 0x1.0000000000001p-1022,                  0x1p+0,          0x0p+0, INEXACT)
120T(RN, 0x1.0000000000002p-1022,                  0x1p+0,          0x0p+0, INEXACT)
121T(RN,               0x1p-1021,                  0x1p+0,          0x0p+0, INEXACT)
122T(RN,               0x1p-1020,                  0x1p+0,          0x0p+0, INEXACT)
123T(RN,                 0x1p-27,                  0x1p+0,         -0x1p-3, INEXACT)
124T(RN,                 0x1p-25,    0x1.0000000000002p+0, -0x1.555554p-53, INEXACT)
125T(RN,              -0x1p-1073,                  0x1p+0,          0x0p+0, INEXACT)
126T(RN,              -0x1p-1024,                  0x1p+0,          0x0p+0, INEXACT)
127T(RN,              -0x1p-1023,                  0x1p+0,          0x0p+0, INEXACT)
128T(RN,-0x1.ffffffffffffcp-1023,                  0x1p+0,          0x0p+0, INEXACT)
129T(RN,-0x1.ffffffffffffep-1023,                  0x1p+0,          0x0p+0, INEXACT)
130T(RN,-0x1.0000000000001p-1022,                  0x1p+0,          0x0p+0, INEXACT)
131T(RN,-0x1.0000000000002p-1022,                  0x1p+0,          0x0p+0, INEXACT)
132T(RN,              -0x1p-1021,                  0x1p+0,          0x0p+0, INEXACT)
133T(RN,              -0x1p-1020,                  0x1p+0,          0x0p+0, INEXACT)
134T(RN,                -0x1p-27,                  0x1p+0,         -0x1p-3, INEXACT)
135T(RN,                -0x1p-25,    0x1.0000000000002p+0, -0x1.555554p-53, INEXACT)
136T(RN,              0x1.634p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
137T(RN,               0x1p+1022,                     inf,          0x0p+0, INEXACT|OVERFLOW)
138T(RN,               0x1p+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
139T(RN, 0x1.ffffffffffffep+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
140T(RN, 0x1.fffffffffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
141T(RN,             -0x1.634p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
142T(RN,              -0x1p+1022,                     inf,          0x0p+0, INEXACT|OVERFLOW)
143T(RN,              -0x1p+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
144T(RN,-0x1.ffffffffffffep+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
145T(RN,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
146T(RU,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
147T(RU,                     inf,                     inf,          0x0p+0, 0)
148T(RU,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
149T(RU,                    -inf,                     inf,          0x0p+0, 0)
150T(RU,              0x1.634p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
151T(RU,               0x1p+1022,                     inf,          0x0p+0, INEXACT|OVERFLOW)
152T(RU,               0x1p+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
153T(RU, 0x1.ffffffffffffep+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
154T(RU, 0x1.fffffffffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
155T(RU,             -0x1.634p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
156T(RU,              -0x1p+1022,                     inf,          0x0p+0, INEXACT|OVERFLOW)
157T(RU,              -0x1p+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
158T(RU,-0x1.ffffffffffffep+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
159T(RU,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
160T(RU,                     nan,                     nan,          0x0p+0, 0)
161T(RU,                     nan,                     nan,          0x0p+0, 0)
162T(RU,               0x1p-1074,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
163T(RU,               0x1p-1073,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
164T(RU,               0x1p-1024,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
165T(RU,               0x1p-1023,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
166T(RU, 0x1.ffffffffffffcp-1023,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
167T(RU, 0x1.ffffffffffffep-1023,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
168T(RU,               0x1p-1022,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
169T(RU, 0x1.0000000000001p-1022,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
170T(RU, 0x1.0000000000002p-1022,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
171T(RU,               0x1p-1021,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
172T(RU,               0x1p-1020,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
173T(RU,                 0x1p-27,    0x1.0000000000001p+0,        0x1.cp-1, INEXACT)
174T(RU,                 0x1p-25,    0x1.0000000000003p+0,          0x1p+0, INEXACT)
175T(RU,              -0x1p-1074,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
176T(RU,              -0x1p-1073,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
177T(RU,              -0x1p-1024,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
178T(RU,              -0x1p-1023,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
179T(RU,-0x1.ffffffffffffcp-1023,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
180T(RU,-0x1.ffffffffffffep-1023,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
181T(RU,              -0x1p-1022,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
182T(RU,-0x1.0000000000001p-1022,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
183T(RU,-0x1.0000000000002p-1022,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
184T(RU,              -0x1p-1021,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
185T(RU,              -0x1p-1020,    0x1.0000000000001p+0,          0x1p+0, INEXACT)
186T(RU,                -0x1p-27,    0x1.0000000000001p+0,        0x1.cp-1, INEXACT)
187T(RU,                -0x1p-25,    0x1.0000000000003p+0,          0x1p+0, INEXACT)
188T(RZ,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
189T(RZ,                     inf,                     inf,          0x0p+0, 0)
190T(RZ,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
191T(RZ,                    -inf,                     inf,          0x0p+0, 0)
192T(RZ,               0x1p-1074,                  0x1p+0,          0x0p+0, INEXACT)
193T(RZ,               0x1p-1073,                  0x1p+0,          0x0p+0, INEXACT)
194T(RZ,               0x1p-1024,                  0x1p+0,          0x0p+0, INEXACT)
195T(RZ,               0x1p-1023,                  0x1p+0,          0x0p+0, INEXACT)
196T(RZ, 0x1.ffffffffffffcp-1023,                  0x1p+0,          0x0p+0, INEXACT)
197T(RZ, 0x1.ffffffffffffep-1023,                  0x1p+0,          0x0p+0, INEXACT)
198T(RZ,               0x1p-1022,                  0x1p+0,          0x0p+0, INEXACT)
199T(RZ, 0x1.0000000000001p-1022,                  0x1p+0,          0x0p+0, INEXACT)
200T(RZ, 0x1.0000000000002p-1022,                  0x1p+0,          0x0p+0, INEXACT)
201T(RZ,               0x1p-1021,                  0x1p+0,          0x0p+0, INEXACT)
202T(RZ,               0x1p-1020,                  0x1p+0,          0x0p+0, INEXACT)
203T(RZ,                 0x1p-27,                  0x1p+0,         -0x1p-3, INEXACT)
204T(RZ,              -0x1p-1074,                  0x1p+0,          0x0p+0, INEXACT)
205T(RZ,              -0x1p-1073,                  0x1p+0,          0x0p+0, INEXACT)
206T(RZ,              -0x1p-1024,                  0x1p+0,          0x0p+0, INEXACT)
207T(RZ,              -0x1p-1023,                  0x1p+0,          0x0p+0, INEXACT)
208T(RZ,-0x1.ffffffffffffcp-1023,                  0x1p+0,          0x0p+0, INEXACT)
209T(RZ,-0x1.ffffffffffffep-1023,                  0x1p+0,          0x0p+0, INEXACT)
210T(RZ,              -0x1p-1022,                  0x1p+0,          0x0p+0, INEXACT)
211T(RZ,-0x1.0000000000001p-1022,                  0x1p+0,          0x0p+0, INEXACT)
212T(RZ,-0x1.0000000000002p-1022,                  0x1p+0,          0x0p+0, INEXACT)
213T(RZ,              -0x1p-1021,                  0x1p+0,          0x0p+0, INEXACT)
214T(RZ,              -0x1p-1020,                  0x1p+0,          0x0p+0, INEXACT)
215T(RZ,                -0x1p-27,                  0x1p+0,         -0x1p-3, INEXACT)
216T(RZ,              0x1.634p+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
217T(RZ,               0x1p+1022, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
218T(RZ,               0x1p+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
219T(RZ, 0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
220T(RZ, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
221T(RZ,             -0x1.634p+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
222T(RZ,              -0x1p+1022, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
223T(RZ,              -0x1p+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
224T(RZ,-0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
225T(RZ,-0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
226T(RZ,                     nan,                     nan,          0x0p+0, 0)
227T(RZ,                     nan,                     nan,          0x0p+0, 0)
228T(RZ,                 0x1p-25,    0x1.0000000000002p+0, -0x1.555554p-53, INEXACT)
229T(RZ,                -0x1p-25,    0x1.0000000000002p+0, -0x1.555554p-53, INEXACT)
230