## args: double:double
## ret: double
## includes: math.h
# Random inputs y*2^f, x*2^e where x,y are random in [1/2,1]
# and e,f are random in [-1073,1024]
0xf.e64ade01a4bcp-112, 0x1.51e7f10afb4d8p+292
0x1.eb1594e8f1c6ap+348, 0x3.f3ad0d8215544p+112
0x1.088f870ee691ap+280, 0x2.cfaffd3a44354p+900
0x1.958092dd184ap-196, 0x1.2d547e5e0d0a9p+412
0xe.dee18e7a8b8ep-848, 0x1.765fff587d5f3p-1024
0x7.5224020da9c5p+768, 0x2.1e01c025eaf62p+212
0x7.5da25daeca808p+400, 0x1.248a2a8873f16p+276
0x9.b96d1dba2d8dp+628, 0x3.4262411da747cp+876
0x3.8dcdb12e8f006p-520, 0x7.ca40e5d987398p+44
0x1.9ee50c39f32d1p-48, 0x5.1e4326c496ad4p-204
0x1.be04f86130756p+180, 0x2.d457c98518efp+308
0x7.2e751bf2b8fccp+876, 0x1.12169563f86d4p+968
0x3.26da26f2e0f7ap+596, 0x1.b5fa5c347616ap-28
0x3.5c8cf5fa36fd8p-320, 0x1.909d3b62e5cfap-596
0x3.8da67c7c8e46p-396, 0x1.e3c256ec4e494p-132
0xa.8bbfd4f4ed25p-100, 0x1.7c770ae7b8856p+88
0xf.d001af3a9085p-108, 0x2.f58c9c0b64848p+776
0x1.9628542428016p-920, 0x1.25c4f0f55ca49p+124
0x2.af8a460766408p-996, 0x5.f43a3724bae98p+824
0x2.8b2e9d0564734p+952, 0x5.595a4250d1c2cp+140
0x6.953df8526b648p+448, 0x6.cd4712d97a2c4p-772
0x3.144607cac8e44p-396, 0x1.f7968b8c31942p+376
0xd.d17dd2506e198p-128, 0x4.5029c933ee4cp-1040
0x6.dc60eb08e7758p+260, 0x5.f8accf3e52e2cp+812
0x4.849555e2ca9e8p+776, 0xd.98371e7122e5p+688
0x2.2bee8b9b42bacp+112, 0xc.597cc8159771p-192
0x6.26c71bdfbf598p+828, 0x3.c8e253c4556b8p+756
0xc.43564b360047p+296, 0x1.036f7af72ab25p+372
0x5.fab523d53372p-952, 0x7.196ba059143b8p-44
0x4.dc658c0eaa674p-416, 0x1.02b8af8ce8482p+1016
0x2.43bfd5633b1bcp-208, 0x3.660ae6406fb5ep+476
0x8.65f073c6979f8p-176, 0x1.3a08958c564cdp+348
0x1.c998958142e68p+880, 0x1.7ec64b4f45cccp+716
0xa.f5949874c1dp+56, 0x1.a363b4e2f472ap-52
0x3.b03271a1c01e4p-304, 0x3.0fa7e7ef6ceccp-116
0x2.a5a5d6695d63cp+152, 0x1.b66a73c2ea728p+64
0x5.1d4bb47746748p-504, 0xe.ec21bf413a2fp-812
0x5.c648ea0d96674p-100, 0x1.6ddfb8431aa8cp-680
0x7.4bc1dd3401be8p+876, 0x1.38acc8fe3787ap+12
0x3.585e233258274p+52, 0x2.a2aeee2fc0ebp+96
0x5.db94503dfb874p-720, 0x2.abf5b9fa1bf3cp+368
0x5.0f3b462ee21p-788, 0x1.69ecfd91fb9d2p-456
0x1.75710a89f8007p-164, 0x5.9c18df3380e08p-580
0x1.f5dbb94358d72p-868, 0x1.e053f1c2f68c6p+364
0xd.012531065743p-584, 0x6.a70dd5b92b9a8p+968
0xd.4fe53c5e934bp-868, 0x4.7dd5de2eb4ep-640
0x6.5cc6284cac46cp+832, 0x9.164da0139c63p+200
0x1.51fd1c202e5fp-952, 0x1.29cf107bc7d2ap-976
0x3.f18c72435d034p+812, 0xe.b02c11048e05p+332
0x3.577fc1909cf74p+324, 0x2.054b57128cc2ap+984
0x3.720e627078e0cp+280, 0x5.40dfc61849aep-1056
0xe.b263e62d00a9p-756, 0x7.a57cbabc1ea7cp+244
0x3.24274890bcbeep-224, 0x1.6c35ac17f3958p-856
0xf.412008621829p-700, 0x3.874d8524e05dap+340
0x2.fcc56e0b04048p+824, 0x6.84f3042f4438p+824
0x5.c66cdf1e9d3cp-304, 0x8.d61ca0f7a30ap-1072
0x7.1af1640f99754p+544, 0x4.ed53dab8f77ep+184
0x4.6b431d7fd9c8p+408, 0xb.06f5f247f22ep-136
0x1.e0aef53445013p-708, 0x9.8403722b764ep+944
0x6.c2e473092a8f4p-468, 0x3.9f2f924a40fa8p-936
0x1.7a000b5ff424cp+964, 0x7.c19e0cb3b0fa8p-188
0x3.a29126cdc15acp-656, 0x1.7c80fc7dead3ep-912
0x2.407aba3dff534p+236, 0x1.95f8a02c6a09p-252
0x3.d8337d0c49ae4p+592, 0x1.c7c69edd549dp-200
0x1.5334a822bc6ecp-628, 0x9.c4c4cdd162cb8p-352
0x2.be0f104d85c38p-784, 0xe.f22b29fade1dp-700
0x2.4ae91c1683368p+152, 0x6.a3ff0e0190f1p+148
0xf.b137e644b7efp+340, 0x6.1fe4fb548eb18p+288
0x5.d09faad0d26a8p-604, 0x5.2bfd22bf079e8p-16
0x1.2da12571a266cp-920, 0x1.238d5bb74cd41p+36
0x6.7901c11c2a958p+532, 0x4.6ed8643b29818p+140
0x6.3f3764382c69p-1008, 0x6.7d1a0c7cff718p-196
0x2.432012c11cb9cp-956, 0x3.62e1b870dfe68p+828
0x1.5a75dd3d46b3ap-52, 0xb.20bc6cca08dd8p-52
0x1.039c817b1e754p+900, 0x4.8af2e9bb880f4p-36
0x3.374cfdd0d958cp+48, 0x8.cffad14f7d49p+808
0x8.45a78fae8395p+8, 0x3