Math Processor Unit Library

libmpu – library of arithmetic functions for integer, real, and complex numbers of increased digit capacity

16 Commits   0 Branches   2 Tags
author: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300 committer: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300 commit: 868b2b66b564b5c00e3a74d10be45db7151627ac parent: cce2ae8d3312493b7653358bb4af201d3271377b
Commit Summary:
Version 1.0.14
Diffstat:
2 files changed, 94 insertions, 0 deletions
diff --git a/mpu/math/cosh/emu00512/ei_cosh_004_emu32lsb.dfn b/mpu/math/cosh/emu00512/ei_cosh_004_emu32lsb.dfn
new file mode 100644
index 0000000..5d8083d
--- /dev/null
+++ b/mpu/math/cosh/emu00512/ei_cosh_004_emu32lsb.dfn
@@ -0,0 +1,53 @@
+
+#ifndef   __REAL_EINTERNAL_COSH_004_32LSB
+#define   __REAL_EINTERNAL_COSH_004_32LSB
+
+#if BITS_PER_EMUSHORT == 32
+
+#define N_COSH_C512  34
+
+static EMUSHORT _ei_cosh__C_512_[N_COSH_C512][NPIR_512] =
+{
+/*   lgw         S i g n i f i c a n d                                                                                                                                                   hgw         Exp                     Sign     */
+/*  ==========  ======================================================================================================================================================================  ==========  ======================  ==========*/
+  { 0x00000000, 0x4baed22f, 0x7c909be5, 0x990a90ac, 0x080eec85, 0x6324ea89, 0xc56fc045, 0x83e354af, 0x39587e5e, 0x66a9b444, 0x97fa8808, 0xfeacf99f, 0x44287117, 0xcac616dd, 0xdc8e44ba, 0x00000000, 0xfffffe7a, 0x3fffffff, 0x00000000 }, /* 1.3665957774449530476870984901557008912684270433376697394818310790300573134572366076045384576611053780225287359311593422497715695097238E-117 */
+  { 0x00000000, 0xc4a621f4, 0x972f8c4c, 0x283ac510, 0x664b4982, 0x9d85089a, 0x10ed6420, 0xbb951f59, 0x187ca7a0, 0x8b5497a8, 0x678c0e19, 0xe0f7316b, 0x22a37206, 0xf0b0e9af, 0xf53f55df, 0x00000000, 0xfffffe88, 0x3fffffff, 0x00000000 }, /* 2.4896945893824864903662219010538860497977788865211290420494051569412458964593070763535583269318902903816737864504381808592232738011728E-113 */
+  { 0x00000000, 0x41e24aa1, 0xdab23aad, 0xbe4b8ef8, 0x87164a95, 0xc085d42a, 0xb51cb5c7, 0x1daae016, 0x7b19a897, 0x1fa8d52f, 0xe41aab9f, 0x03922284, 0xb0360f75, 0x9314312e, 0x806e7b51, 0x00000000, 0xfffffe97, 0x3fffffff, 0x00000000 }, /* 4.2723161235483952418675521004760430904165731507524096413624347351440674151234646612732635880108407261414151926014157331777231944413323E-109 */
+  { 0x00000000, 0xc3839c3c, 0xccfdc22e, 0xf8f4595b, 0xabe03372, 0x51944c82, 0xbe4341ef, 0xda25b478, 0xe9c3f8b5, 0x3057efe5, 0xd3290e38, 0x3ab416ac, 0x877f77ee, 0x945e1cea, 0xfcd982c8, 0x00000000, 0xfffffea4, 0x3fffffff, 0x00000000 }, /* 6.8903914440258972592175316575656546419619916455583977322886395162053605620310271930891655082178562528628016905488168042242155883098734E-105 */
+  { 0x00000000, 0xd591171a, 0x8fdd3c71, 0x0862e901, 0xfb59db86, 0xa9d3f4bb, 0x4c050d20, 0x5289991a, 0x18f8fff2, 0xc8bfb6c4, 0x4ab9132d, 0x42003e84, 0x6b78eea2, 0xf3fe7bbd, 0xe9775621, 0x00000000, 0xfffffeb2, 0x3fffffff, 0x00000000 }, /* 1.0423784176522380830184109515647683869377324098070519967134189831447735515491164938966208975180928875356592681579643146483578998939913E-100 */
+  { 0x00000000, 0x8bbf119c, 0xd51f7226, 0xc1fdb962, 0xc8e15401, 0x741d5237, 0x82b0bf2d, 0x4b93046a, 0xc9d1e75a, 0x4f418453, 0x39e63591, 0x5682a0d2, 0x3685c83f, 0xd81fb071, 0xc9c66330, 0x00000000, 0xfffffec0, 0x3fffffff, 0x00000000 }, /* 1.4760078393955691255292411958544912114703279748272957546345849456396330837292432482301971687133588767322870618571368837509333584659334E-96  */
+  { 0x00000000, 0x56d36fb2, 0x901e8e54, 0x6ad99610, 0xfb193475, 0x23fb58d2, 0x6d467d60, 0xd6165ee2, 0x7eb12520, 0xf2ea699d, 0xa5a82ab7, 0x1a1ea047, 0x60a2339a, 0x4c7093c9, 0xa2dbbfcf, 0x00000000, 0xfffffece, 0x3fffffff, 0x00000000 }, /* 1.9518727668167006115998697554996972807531320546701567765421892526207535706399248001138527905652918042352533998426260267442514176477249E-92  */
+  { 0x00000000, 0x960fab2c, 0xe4a7dd20, 0xa510a57f, 0x68edb0c3, 0xfaabc847, 0xe6cb4953, 0x82a1a4f9, 0x8c1cc7c9, 0x2911a573, 0x2f4ccd34, 0xae68d23a, 0xda53ef99, 0xc1f54e41, 0xf4ec7b76, 0x00000000, 0xfffffedb, 0x3fffffff, 0x00000000 }, /* 2.4047072487181751534910395387415641004760593048166262286543187077279990793610474934641004563032174786539641081074462682635192553167820E-88  */
+  { 0x00000000, 0x02bd2731, 0x74f5b2e3, 0x43f7419c, 0xaca1fc08, 0x07313764, 0x3c9a8657, 0x7cfee310, 0x3df6740d, 0xb48baf15, 0xb4f677d4, 0x81bdb176, 0x436d660a, 0x9ac6470e, 0xab22bcc4, 0x00000000, 0xfffffee9, 0x3fffffff, 0x00000000 }, /* 2.7529088583325669157165420639513427419972605851628500088428478791864275370350123441788021968899000420935160553467337391050619097930362E-84  */
+  { 0x00000000, 0x1137b81b, 0x97a614d6, 0xdecd835c, 0xa467b4ec, 0x0a4a19b1, 0x4b844f15, 0xf2ce9980, 0xdc852b40, 0x1ba8f765, 0x47227d30, 0x9b012350, 0xf85029a2, 0x966bc102, 0xdd9b7b70, 0x00000000, 0xfffffef6, 0x3fffffff, 0x00000000 }, /* 2.9202857169191869841921078214395843807410474846609967752221392848583813470550734780707460805819943354564613329125545506572809352763696E-80  */
+  { 0x00000000, 0x56b5af03, 0x018aebf7, 0xedce91bb, 0x1764d296, 0x56f1e427, 0xaa58a52a, 0xf4411ab0, 0x7d97ccfc, 0xe4ba1116, 0x64878916, 0x62f70e3f, 0xe6c6f2e7, 0xb7f933d2, 0x848da035, 0x00000000, 0xffffff04, 0x3fffffff, 0x00000000 }, /* 2.8618800025808032445082656650107926931262253034438118682355910476046502956734830225406706712392980302095517016672201615821890221853842E-76  */
+  { 0x00000000, 0x191cc401, 0x8b1c2b7d, 0x06df85e7, 0xb6bd249e, 0xa54d27d3, 0x4bfd7f66, 0x75767b43, 0x6d188d01, 0xa3e1768b, 0xd4bd4d07, 0xe30425b1, 0x52372792, 0x2ca88316, 0x9204027b, 0x00000000, 0xffffff11, 0x3fffffff, 0x00000000 }, /* 2.5825605143289168478442589361057393262771057138413942019225259613360620121192750491819285538023816700919232192145779176006745127374878E-72  */
+  { 0x00000000, 0xe9c1f1b9, 0x99d84028, 0xd5465d6a, 0xd95c1b07, 0x88632319, 0xfd1b7f4e, 0x265472e7, 0xcc755c93, 0x78f035de, 0x7dc6559b, 0xb6f47119, 0xcf993f3f, 0xff63527e, 0x93958d81, 0x00000000, 0xffffff1e, 0x3fffffff, 0x00000000 }, /* 2.1383601058643431500150463990955521621574435310606748668227921627436681414795431553951977970156584103922896071315693808587173106813943E-68  */
+  { 0x00000000, 0x348765bf, 0xaa370526, 0xdb5345b7, 0x2647a3ae, 0x6b74bcb0, 0x1faffc8f, 0x01b2478a, 0x80a26610, 0x2139e99e, 0x0cb1ba16, 0x5c84d27c, 0x26c912ee, 0x986f41b6, 0x8857a93a, 0x00000000, 0xffffff2b, 0x3fffffff, 0x00000000 }, /* 1.6183109281181348959313871148355138763207532643067187391931789153993261842201933895160961896112704478522537353632440834689386919059533E-64  */
+  { 0x00000000, 0x8ede28c3, 0xdee75f65, 0x610e67a1, 0x0734106d, 0x7f06e957, 0xabd4917f, 0x1da80fca, 0x0b792a23, 0x36dfe35d, 0x9b58df6e, 0xd6955bf5, 0xd0392255, 0x09571800, 0xe5476a15, 0x00000000, 0xffffff37, 0x3fffffff, 0x00000000 }, /* 1.1146925672877713163175394446987019580097348484544678675562617581524272621855720726695144100088190907899050445694926413211341488653196E-60  */
+  { 0x00000000, 0xebf26497, 0xf5b64d09, 0x2b74df3b, 0x3d1103fb, 0x618d7502, 0xe61483ea, 0x1a2ddbf8, 0xdfbd4bb1, 0xf3cc8a2f, 0x1554b230, 0x6273c50c, 0x9e9b8527, 0x061d5748, 0xaea565ce, 0x00000000, 0xffffff44, 0x3fffffff, 0x00000000 }, /* 6.9556816198756930138214461349199002179807454543558794935510733709287637276255344260528555182837141448829249230151743662654722888845603E-57  */
+  { 0x00000000, 0x37bf69df, 0x9ccb7c49, 0xf23a4530, 0x676d18f4, 0x0be0e7e2, 0x7a1dc091, 0xa95bd8ca, 0xbbb4696d, 0x36bf57bc, 0x1749caaa, 0x93adf50e, 0x35c68953, 0x61654958, 0xefcc1948, 0x00000000, 0xffffff50, 0x3fffffff, 0x00000000 }, /* 3.9118753430180897509731813062789518825923712435297466271731236638103354579476578357940167189720893091041256064545230144679719565636630E-53  */
+  { 0x00000000, 0x74100d32, 0x38e973b1, 0x3184f2d2, 0xf1a7a5dc, 0x10106167, 0x19169100, 0xf7b20189, 0x9d7b7edc, 0xb8aeb87a, 0x2b53e62f, 0xeb5b8644, 0xc515a57c, 0x07ebd09f, 0x9388118e, 0x00000000, 0xffffff5d, 0x3fffffff, 0x00000000 }, /* 1.9715851728811172344904833783645917488265551067389923000952543265604090708030351182717514644635500033558992069902528144559388427241210E-49  */
+  { 0x00000000, 0xa04850f4, 0x46f12d62, 0x6fea81ca, 0xda553e5e, 0x9ff7eb5a, 0xbfb77b52, 0x1d668aae, 0x598dd081, 0x49db7122, 0xb1796db7, 0x5fe1c89d, 0x0f7237d3, 0x1fade217, 0xa1a6973c, 0x00000000, 0xffffff69, 0x3fffffff, 0x00000000 }, /* 8.8484742558904541483932894021002877687335793190445974428275014176031159097640252638420377021735887620732547992428331118876733924942190E-46  */
+  { 0x00000000, 0x1a29e09d, 0x9279a582, 0x0b89f543, 0x1680833e, 0x51c9babd, 0x49b9b664, 0x147b5659, 0x46c161fd, 0x8f8c9599, 0xc3eda249, 0xc4e2ba58, 0x56f6a614, 0x3eb07306, 0x9c996282, 0x00000000, 0xffffff75, 0x3fffffff, 0x00000000 }, /* 3.5110745847373322060824572347533941866334842737968962653139525625049163929943652246657019500452064327715046996020690752572379882762065E-42  */
+  { 0x00000000, 0x78ffcdb1, 0x7da87497, 0xc5a0bf4d, 0x4df355a9, 0x20360d4b, 0xdc234876, 0x84e6c9dc, 0xb99d4cc0, 0x7f75f119, 0x6a766561, 0xa546a152, 0xe2e28e1a, 0xa842e9b9, 0x850c5131, 0x00000000, 0xffffff81, 0x3fffffff, 0x00000000 }, /* 1.2218539554885916077166951176941811769484525272813199003292554917517109047620390981836637749250603875452117553612872711956075606602108E-38  */
+  { 0x00000000, 0x32e5cd01, 0x7a3807f7, 0x11206d4e, 0x398e303d, 0x6b9053a1, 0x1d0c18fe, 0x443cc610, 0xfc124354, 0xf63425ff, 0xb132d1b1, 0x580a4a33, 0x790285d3, 0x5272cd1c, 0xc4742fe3, 0x00000000, 0xffffff8c, 0x3fffffff, 0x00000000 }, /* 3.6948863613975010217352860359072038790921204424987113785956686070571737760004062329073992554495547599959703491751239008468041241311131E-35  */
+  { 0x00000000, 0xa77b21d6, 0x6372b995, 0x23bcdd7e, 0x47da2c5f, 0xfe8e3a2c, 0x74e05bba, 0xfaa12772, 0xfb032f79, 0xed90343d, 0x9ff58436, 0x4ec51033, 0x25a033e5, 0x97abbe65, 0xf96780cb, 0x00000000, 0xffffff97, 0x3fffffff, 0x00000000 }, /* 9.6067045396335026565117436933587300856395131504966495843487383783486518176010562055592380641688451491981576208578669994720962457846437E-32  */
+  { 0x00000000, 0x69733c1b, 0x9f52b495, 0xe8a3bcdb, 0xdeb832be, 0xcd38ab5b, 0xb300f172, 0xc11adf43, 0x694fb797, 0x9c0fbc29, 0xd43a5945, 0x9c763abb, 0x86485bf9, 0xbfc294a2, 0x8671cb6d, 0x00000000, 0xffffffa3, 0x3fffffff, 0x00000000 }, /* 2.1211603623510773865577930074936076029092045036296602282242014339393823213263132101874797645684810088445402282653693626121796306261853E-28  */
+  { 0x00000000, 0x1474c746, 0xbd77dd7b, 0xd8747587, 0xcbf06b96, 0x2e5c453f, 0x2d0bb3bd, 0xde7e7eec, 0xbc0ddd53, 0x9fa46592, 0xf9014d1b, 0x785d5dfe, 0x4e5695fc, 0x1011283d, 0xf2a15d20, 0x00000000, 0xffffffad, 0x3fffffff, 0x00000000 }, /* 3.9199043496247910103588014778481868501762099227076121017583242499199785298110268124264626049225529043447113854563134936657108266166945E-25  */
+  { 0x00000000, 0xfcdce1cf, 0xaa1eb7ec, 0xf4d813f9, 0x595c6fd9, 0x68687b65, 0x496eaf66, 0x3f21e233, 0xe7924a44, 0x807c0362, 0x3ccef73a, 0x61554bc3, 0x80244351, 0xcbecbbdd, 0xb413c31d, 0x00000000, 0xffffffb8, 0x3fffffff, 0x00000000 }, /* 5.9582546114296823357453782463292440122678390825155703946726528598783673653127607548882231594822804146039613065929948971733854533228529E-22  */
+  { 0x00000000, 0x38003650, 0x654c7c19, 0x86aa477a, 0x24d07db2, 0x68cce37f, 0x4dc64da8, 0x93768061, 0x38ccdcc5, 0xed943c0c, 0x5eaf6383, 0x4657f48f, 0xc32b5877, 0x9dc0f88e, 0xd73f9f39, 0x00000000, 0xffffffc2, 0x3fffffff, 0x00000000 }, /* 7.2929036443899311789523429735069946710158350369990581630793271004911216551428191639831851472063112274752486392698032938208695689736872E-19  */
+  { 0x00000000, 0xafa4280a, 0xbbdb36e7, 0x5e3fa302, 0x328375d7, 0xe2401547, 0x38e9e8cd, 0x3a3f185b, 0x75400ef9, 0xaebaf84b, 0x68c46d4b, 0xd1f27546, 0xd6f8a2ef, 0x03e4e905, 0xc9cba546, 0x00000000, 0xffffffcc, 0x3fffffff, 0x00000000 }, /* 7.0011874986143339317942492545667148841752016355190958365561540164714767889371063974238577413180587783762386936990111593284655979390141E-16  */
+  { 0x00000000, 0x404404d7, 0xf18de12f, 0x1d013de3, 0x9de975c7, 0x5ed98f20, 0xda764b82, 0x2f68db50, 0xa55b8aa5, 0xce38ec85, 0x0e7ba5b3, 0x7f425f60, 0x26d4c3d6, 0xc6c4bdaa, 0x8f76c77f, 0x00000000, 0xffffffd6, 0x3fffffff, 0x00000000 }, /* 5.0968644989912351023462134573245684356795467906579017690128801239912351023462134573245684356795467906579017690128801239912350920600752E-13  */
+  { 0x00000000, 0xeccecaa2, 0x111a5038, 0x55e947d3, 0xa2d8c175, 0x71d05b99, 0x6149fdde, 0x58e4222b, 0xd28666fa, 0x6caab3e9, 0x0eef82e1, 0x333c725b, 0x780b69f5, 0xc4fae397, 0x93f27dbb, 0x00000000, 0xffffffdf, 0x3fffffff, 0x00000000 }, /* 2.6911444554673721340388007054673721340388007054673721340388007054673721340388007054673721340388007054673721340388007054673721340393942E-10  */
+  { 0x00000000, 0x0d00d018, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00d00d00, 0x0d00d00d, 0xd00d00d0, 0x00000000, 0xffffffe7, 0x3fffffff, 0x00000000 }, /* 9.6881200396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396827E-8   */
+  { 0x00000000, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x60b60b60, 0x0b60b60b, 0xb60b60b6, 0x00000000, 0xffffffef, 0x3fffffff, 0x00000000 }, /* 2.1701388888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889E-5   */
+  { 0x00000000, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0x00000000, 0xfffffff6, 0x3fffffff, 0x00000000 }, /* 2.6041666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667E-3   */
+  { 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x80000000, 0x00000000, 0xfffffffc, 0x3fffffff, 0x00000000 }, /* 1.2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000E-1   */
+};
+
+#else  /* BITS_PER_EMUSHORT != 32 */
+#error ei_cosh_004_emu32lsb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_COSH_004_32LSB */
diff --git a/mpu/math/cosh/emu00512/ei_cosh_004_emu32msb.dfn b/mpu/math/cosh/emu00512/ei_cosh_004_emu32msb.dfn
new file mode 100644
index 0000000..82134a7
--- /dev/null
+++ b/mpu/math/cosh/emu00512/ei_cosh_004_emu32msb.dfn
@@ -0,0 +1,53 @@
+
+#ifndef   __REAL_EINTERNAL_COSH_004_32MSB
+#define   __REAL_EINTERNAL_COSH_004_32MSB
+
+#if BITS_PER_EMUSHORT == 32
+
+#define N_COSH_C512  34
+
+static EMUSHORT _ei_cosh__C_512_[N_COSH_C512][NPIR_512] =
+{
+/*   Sign        Exp                     hgw         S i g n i f i c a n d                                                                                                                                                   lgw      */
+/*  ==========  ======================  ==========  ======================================================================================================================================================================  ==========*/
+  { 0x00000000, 0x3fffffff, 0xfffffe7a, 0x00000000, 0xdc8e44ba, 0xcac616dd, 0x44287117, 0xfeacf99f, 0x97fa8808, 0x66a9b444, 0x39587e5e, 0x83e354af, 0xc56fc045, 0x6324ea89, 0x080eec85, 0x990a90ac, 0x7c909be5, 0x4baed22f, 0x00000000 }, /* 1.3665957774449530476870984901557008912684270433376697394818310790300573134572366076045384576611053780225287359311593422497715695097238E-117 */
+  { 0x00000000, 0x3fffffff, 0xfffffe88, 0x00000000, 0xf53f55df, 0xf0b0e9af, 0x22a37206, 0xe0f7316b, 0x678c0e19, 0x8b5497a8, 0x187ca7a0, 0xbb951f59, 0x10ed6420, 0x9d85089a, 0x664b4982, 0x283ac510, 0x972f8c4c, 0xc4a621f4, 0x00000000 }, /* 2.4896945893824864903662219010538860497977788865211290420494051569412458964593070763535583269318902903816737864504381808592232738011728E-113 */
+  { 0x00000000, 0x3fffffff, 0xfffffe97, 0x00000000, 0x806e7b51, 0x9314312e, 0xb0360f75, 0x03922284, 0xe41aab9f, 0x1fa8d52f, 0x7b19a897, 0x1daae016, 0xb51cb5c7, 0xc085d42a, 0x87164a95, 0xbe4b8ef8, 0xdab23aad, 0x41e24aa1, 0x00000000 }, /* 4.2723161235483952418675521004760430904165731507524096413624347351440674151234646612732635880108407261414151926014157331777231944413323E-109 */
+  { 0x00000000, 0x3fffffff, 0xfffffea4, 0x00000000, 0xfcd982c8, 0x945e1cea, 0x877f77ee, 0x3ab416ac, 0xd3290e38, 0x3057efe5, 0xe9c3f8b5, 0xda25b478, 0xbe4341ef, 0x51944c82, 0xabe03372, 0xf8f4595b, 0xccfdc22e, 0xc3839c3c, 0x00000000 }, /* 6.8903914440258972592175316575656546419619916455583977322886395162053605620310271930891655082178562528628016905488168042242155883098734E-105 */
+  { 0x00000000, 0x3fffffff, 0xfffffeb2, 0x00000000, 0xe9775621, 0xf3fe7bbd, 0x6b78eea2, 0x42003e84, 0x4ab9132d, 0xc8bfb6c4, 0x18f8fff2, 0x5289991a, 0x4c050d20, 0xa9d3f4bb, 0xfb59db86, 0x0862e901, 0x8fdd3c71, 0xd591171a, 0x00000000 }, /* 1.0423784176522380830184109515647683869377324098070519967134189831447735515491164938966208975180928875356592681579643146483578998939913E-100 */
+  { 0x00000000, 0x3fffffff, 0xfffffec0, 0x00000000, 0xc9c66330, 0xd81fb071, 0x3685c83f, 0x5682a0d2, 0x39e63591, 0x4f418453, 0xc9d1e75a, 0x4b93046a, 0x82b0bf2d, 0x741d5237, 0xc8e15401, 0xc1fdb962, 0xd51f7226, 0x8bbf119c, 0x00000000 }, /* 1.4760078393955691255292411958544912114703279748272957546345849456396330837292432482301971687133588767322870618571368837509333584659334E-96  */
+  { 0x00000000, 0x3fffffff, 0xfffffece, 0x00000000, 0xa2dbbfcf, 0x4c7093c9, 0x60a2339a, 0x1a1ea047, 0xa5a82ab7, 0xf2ea699d, 0x7eb12520, 0xd6165ee2, 0x6d467d60, 0x23fb58d2, 0xfb193475, 0x6ad99610, 0x901e8e54, 0x56d36fb2, 0x00000000 }, /* 1.9518727668167006115998697554996972807531320546701567765421892526207535706399248001138527905652918042352533998426260267442514176477249E-92  */
+  { 0x00000000, 0x3fffffff, 0xfffffedb, 0x00000000, 0xf4ec7b76, 0xc1f54e41, 0xda53ef99, 0xae68d23a, 0x2f4ccd34, 0x2911a573, 0x8c1cc7c9, 0x82a1a4f9, 0xe6cb4953, 0xfaabc847, 0x68edb0c3, 0xa510a57f, 0xe4a7dd20, 0x960fab2c, 0x00000000 }, /* 2.4047072487181751534910395387415641004760593048166262286543187077279990793610474934641004563032174786539641081074462682635192553167820E-88  */
+  { 0x00000000, 0x3fffffff, 0xfffffee9, 0x00000000, 0xab22bcc4, 0x9ac6470e, 0x436d660a, 0x81bdb176, 0xb4f677d4, 0xb48baf15, 0x3df6740d, 0x7cfee310, 0x3c9a8657, 0x07313764, 0xaca1fc08, 0x43f7419c, 0x74f5b2e3, 0x02bd2731, 0x00000000 }, /* 2.7529088583325669157165420639513427419972605851628500088428478791864275370350123441788021968899000420935160553467337391050619097930362E-84  */
+  { 0x00000000, 0x3fffffff, 0xfffffef6, 0x00000000, 0xdd9b7b70, 0x966bc102, 0xf85029a2, 0x9b012350, 0x47227d30, 0x1ba8f765, 0xdc852b40, 0xf2ce9980, 0x4b844f15, 0x0a4a19b1, 0xa467b4ec, 0xdecd835c, 0x97a614d6, 0x1137b81b, 0x00000000 }, /* 2.9202857169191869841921078214395843807410474846609967752221392848583813470550734780707460805819943354564613329125545506572809352763696E-80  */
+  { 0x00000000, 0x3fffffff, 0xffffff04, 0x00000000, 0x848da035, 0xb7f933d2, 0xe6c6f2e7, 0x62f70e3f, 0x64878916, 0xe4ba1116, 0x7d97ccfc, 0xf4411ab0, 0xaa58a52a, 0x56f1e427, 0x1764d296, 0xedce91bb, 0x018aebf7, 0x56b5af03, 0x00000000 }, /* 2.8618800025808032445082656650107926931262253034438118682355910476046502956734830225406706712392980302095517016672201615821890221853842E-76  */
+  { 0x00000000, 0x3fffffff, 0xffffff11, 0x00000000, 0x9204027b, 0x2ca88316, 0x52372792, 0xe30425b1, 0xd4bd4d07, 0xa3e1768b, 0x6d188d01, 0x75767b43, 0x4bfd7f66, 0xa54d27d3, 0xb6bd249e, 0x06df85e7, 0x8b1c2b7d, 0x191cc401, 0x00000000 }, /* 2.5825605143289168478442589361057393262771057138413942019225259613360620121192750491819285538023816700919232192145779176006745127374878E-72  */
+  { 0x00000000, 0x3fffffff, 0xffffff1e, 0x00000000, 0x93958d81, 0xff63527e, 0xcf993f3f, 0xb6f47119, 0x7dc6559b, 0x78f035de, 0xcc755c93, 0x265472e7, 0xfd1b7f4e, 0x88632319, 0xd95c1b07, 0xd5465d6a, 0x99d84028, 0xe9c1f1b9, 0x00000000 }, /* 2.1383601058643431500150463990955521621574435310606748668227921627436681414795431553951977970156584103922896071315693808587173106813943E-68  */
+  { 0x00000000, 0x3fffffff, 0xffffff2b, 0x00000000, 0x8857a93a, 0x986f41b6, 0x26c912ee, 0x5c84d27c, 0x0cb1ba16, 0x2139e99e, 0x80a26610, 0x01b2478a, 0x1faffc8f, 0x6b74bcb0, 0x2647a3ae, 0xdb5345b7, 0xaa370526, 0x348765bf, 0x00000000 }, /* 1.6183109281181348959313871148355138763207532643067187391931789153993261842201933895160961896112704478522537353632440834689386919059533E-64  */
+  { 0x00000000, 0x3fffffff, 0xffffff37, 0x00000000, 0xe5476a15, 0x09571800, 0xd0392255, 0xd6955bf5, 0x9b58df6e, 0x36dfe35d, 0x0b792a23, 0x1da80fca, 0xabd4917f, 0x7f06e957, 0x0734106d, 0x610e67a1, 0xdee75f65, 0x8ede28c3, 0x00000000 }, /* 1.1146925672877713163175394446987019580097348484544678675562617581524272621855720726695144100088190907899050445694926413211341488653196E-60  */
+  { 0x00000000, 0x3fffffff, 0xffffff44, 0x00000000, 0xaea565ce, 0x061d5748, 0x9e9b8527, 0x6273c50c, 0x1554b230, 0xf3cc8a2f, 0xdfbd4bb1, 0x1a2ddbf8, 0xe61483ea, 0x618d7502, 0x3d1103fb, 0x2b74df3b, 0xf5b64d09, 0xebf26497, 0x00000000 }, /* 6.9556816198756930138214461349199002179807454543558794935510733709287637276255344260528555182837141448829249230151743662654722888845603E-57  */
+  { 0x00000000, 0x3fffffff, 0xffffff50, 0x00000000, 0xefcc1948, 0x61654958, 0x35c68953, 0x93adf50e, 0x1749caaa, 0x36bf57bc, 0xbbb4696d, 0xa95bd8ca, 0x7a1dc091, 0x0be0e7e2, 0x676d18f4, 0xf23a4530, 0x9ccb7c49, 0x37bf69df, 0x00000000 }, /* 3.9118753430180897509731813062789518825923712435297466271731236638103354579476578357940167189720893091041256064545230144679719565636630E-53  */
+  { 0x00000000, 0x3fffffff, 0xffffff5d, 0x00000000, 0x9388118e, 0x07ebd09f, 0xc515a57c, 0xeb5b8644, 0x2b53e62f, 0xb8aeb87a, 0x9d7b7edc, 0xf7b20189, 0x19169100, 0x10106167, 0xf1a7a5dc, 0x3184f2d2, 0x38e973b1, 0x74100d32, 0x00000000 }, /* 1.9715851728811172344904833783645917488265551067389923000952543265604090708030351182717514644635500033558992069902528144559388427241210E-49  */
+  { 0x00000000, 0x3fffffff, 0xffffff69, 0x00000000, 0xa1a6973c, 0x1fade217, 0x0f7237d3, 0x5fe1c89d, 0xb1796db7, 0x49db7122, 0x598dd081, 0x1d668aae, 0xbfb77b52, 0x9ff7eb5a, 0xda553e5e, 0x6fea81ca, 0x46f12d62, 0xa04850f4, 0x00000000 }, /* 8.8484742558904541483932894021002877687335793190445974428275014176031159097640252638420377021735887620732547992428331118876733924942190E-46  */
+  { 0x00000000, 0x3fffffff, 0xffffff75, 0x00000000, 0x9c996282, 0x3eb07306, 0x56f6a614, 0xc4e2ba58, 0xc3eda249, 0x8f8c9599, 0x46c161fd, 0x147b5659, 0x49b9b664, 0x51c9babd, 0x1680833e, 0x0b89f543, 0x9279a582, 0x1a29e09d, 0x00000000 }, /* 3.5110745847373322060824572347533941866334842737968962653139525625049163929943652246657019500452064327715046996020690752572379882762065E-42  */
+  { 0x00000000, 0x3fffffff, 0xffffff81, 0x00000000, 0x850c5131, 0xa842e9b9, 0xe2e28e1a, 0xa546a152, 0x6a766561, 0x7f75f119, 0xb99d4cc0, 0x84e6c9dc, 0xdc234876, 0x20360d4b, 0x4df355a9, 0xc5a0bf4d, 0x7da87497, 0x78ffcdb1, 0x00000000 }, /* 1.2218539554885916077166951176941811769484525272813199003292554917517109047620390981836637749250603875452117553612872711956075606602108E-38  */
+  { 0x00000000, 0x3fffffff, 0xffffff8c, 0x00000000, 0xc4742fe3, 0x5272cd1c, 0x790285d3, 0x580a4a33, 0xb132d1b1, 0xf63425ff, 0xfc124354, 0x443cc610, 0x1d0c18fe, 0x6b9053a1, 0x398e303d, 0x11206d4e, 0x7a3807f7, 0x32e5cd01, 0x00000000 }, /* 3.6948863613975010217352860359072038790921204424987113785956686070571737760004062329073992554495547599959703491751239008468041241311131E-35  */
+  { 0x00000000, 0x3fffffff, 0xffffff97, 0x00000000, 0xf96780cb, 0x97abbe65, 0x25a033e5, 0x4ec51033, 0x9ff58436, 0xed90343d, 0xfb032f79, 0xfaa12772, 0x74e05bba, 0xfe8e3a2c, 0x47da2c5f, 0x23bcdd7e, 0x6372b995, 0xa77b21d6, 0x00000000 }, /* 9.6067045396335026565117436933587300856395131504966495843487383783486518176010562055592380641688451491981576208578669994720962457846437E-32  */
+  { 0x00000000, 0x3fffffff, 0xffffffa3, 0x00000000, 0x8671cb6d, 0xbfc294a2, 0x86485bf9, 0x9c763abb, 0xd43a5945, 0x9c0fbc29, 0x694fb797, 0xc11adf43, 0xb300f172, 0xcd38ab5b, 0xdeb832be, 0xe8a3bcdb, 0x9f52b495, 0x69733c1b, 0x00000000 }, /* 2.1211603623510773865577930074936076029092045036296602282242014339393823213263132101874797645684810088445402282653693626121796306261853E-28  */
+  { 0x00000000, 0x3fffffff, 0xffffffad, 0x00000000, 0xf2a15d20, 0x1011283d, 0x4e5695fc, 0x785d5dfe, 0xf9014d1b, 0x9fa46592, 0xbc0ddd53, 0xde7e7eec, 0x2d0bb3bd, 0x2e5c453f, 0xcbf06b96, 0xd8747587, 0xbd77dd7b, 0x1474c746, 0x00000000 }, /* 3.9199043496247910103588014778481868501762099227076121017583242499199785298110268124264626049225529043447113854563134936657108266166945E-25  */
+  { 0x00000000, 0x3fffffff, 0xffffffb8, 0x00000000, 0xb413c31d, 0xcbecbbdd, 0x80244351, 0x61554bc3, 0x3ccef73a, 0x807c0362, 0xe7924a44, 0x3f21e233, 0x496eaf66, 0x68687b65, 0x595c6fd9, 0xf4d813f9, 0xaa1eb7ec, 0xfcdce1cf, 0x00000000 }, /* 5.9582546114296823357453782463292440122678390825155703946726528598783673653127607548882231594822804146039613065929948971733854533228529E-22  */
+  { 0x00000000, 0x3fffffff, 0xffffffc2, 0x00000000, 0xd73f9f39, 0x9dc0f88e, 0xc32b5877, 0x4657f48f, 0x5eaf6383, 0xed943c0c, 0x38ccdcc5, 0x93768061, 0x4dc64da8, 0x68cce37f, 0x24d07db2, 0x86aa477a, 0x654c7c19, 0x38003650, 0x00000000 }, /* 7.2929036443899311789523429735069946710158350369990581630793271004911216551428191639831851472063112274752486392698032938208695689736872E-19  */
+  { 0x00000000, 0x3fffffff, 0xffffffcc, 0x00000000, 0xc9cba546, 0x03e4e905, 0xd6f8a2ef, 0xd1f27546, 0x68c46d4b, 0xaebaf84b, 0x75400ef9, 0x3a3f185b, 0x38e9e8cd, 0xe2401547, 0x328375d7, 0x5e3fa302, 0xbbdb36e7, 0xafa4280a, 0x00000000 }, /* 7.0011874986143339317942492545667148841752016355190958365561540164714767889371063974238577413180587783762386936990111593284655979390141E-16  */
+  { 0x00000000, 0x3fffffff, 0xffffffd6, 0x00000000, 0x8f76c77f, 0xc6c4bdaa, 0x26d4c3d6, 0x7f425f60, 0x0e7ba5b3, 0xce38ec85, 0xa55b8aa5, 0x2f68db50, 0xda764b82, 0x5ed98f20, 0x9de975c7, 0x1d013de3, 0xf18de12f, 0x404404d7, 0x00000000 }, /* 5.0968644989912351023462134573245684356795467906579017690128801239912351023462134573245684356795467906579017690128801239912350920600752E-13  */
+  { 0x00000000, 0x3fffffff, 0xffffffdf, 0x00000000, 0x93f27dbb, 0xc4fae397, 0x780b69f5, 0x333c725b, 0x0eef82e1, 0x6caab3e9, 0xd28666fa, 0x58e4222b, 0x6149fdde, 0x71d05b99, 0xa2d8c175, 0x55e947d3, 0x111a5038, 0xeccecaa2, 0x00000000 }, /* 2.6911444554673721340388007054673721340388007054673721340388007054673721340388007054673721340388007054673721340388007054673721340393942E-10  */
+  { 0x00000000, 0x3fffffff, 0xffffffe7, 0x00000000, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d00d, 0x00d00d00, 0xd00d00d0, 0x0d00d018, 0x00000000 }, /* 9.6881200396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396825396827E-8   */
+  { 0x00000000, 0x3fffffff, 0xffffffef, 0x00000000, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x60b60b60, 0xb60b60b6, 0x0b60b60b, 0x00000000 }, /* 2.1701388888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889E-5   */
+  { 0x00000000, 0x3fffffff, 0xfffffff6, 0x00000000, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0x00000000 }, /* 2.6041666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667E-3   */
+  { 0x00000000, 0x3fffffff, 0xfffffffc, 0x00000000, 0x80000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000 }  /* 1.2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000E-1   */
+};
+
+#else  /* BITS_PER_EMUSHORT != 32 */
+#error ei_cosh_004_emu32msb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_COSH_004_32MSB */