g_math 0.4.2

// AUTO-GENERATED by scripts/generate_ulp_references.py
// Q256.256 (512-bit two's complement)
// mpmath precision: 250 decimal places
//
// Format: (input_qformat, expected_output_qformat, label)
// All values are exact Q256.256 representations:
//   value_q = round(value_real * 2^256)

const EXP_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xC44BFC906367F2CC, 0xF651F16C130B4759, 0x2DFEFAB6DF33F9B1, 0xA61298E1E069BC97, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xA784D9045190CFEF, 0x62E7160F38B4DA56, 0xBF7158809CF4F3C7, 0xB7E151628AED2A6A, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x9ED77977D109F148, 0x1EB9EBD93C887EB5, 0xE8EE881ADA2AEEA1, 0x63992E35376B730C, 0x0000000000000007, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x3024B9D0A507DAEE, 0xDA9805AAB56C7733, 0xBADEC7829054F90D, 0x5E2D58D8B3BCDF1A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xCE4AE95861014318, 0xE347BF8AD0E80ABB, 0xD675A35530CDD767, 0x9B4597E37CB04FF3, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-0.5"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x26E01838DF60F018, 0xEB8C7394986B549D, 0x184F77D3F23C510A, 0x0041919B7EE33CE8, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x8A0D175B8BAAFA2C, 0x40F343267298B62D, 0xC9E3B39803F2F6AF, 0xB17217F7D1CF79AB, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "ln2"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x89790C837E6FF2A7, 0x85839728AA90A123, 0xBDFC53744C3A3905, 0x15E5BF6FB105F2D4, 0x0000000000000014, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x86EC735A7DDACC40, 0xCD4A5CC3B7CC68F7, 0x3015B44D322EA985, 0x773E54157E7C1FAA, 0x000000000000560A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "10.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFF6, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x8B9A7147CC4DC89B, 0xF2BDF1D29CB28266, 0x538B648EAA1310E5, 0x0002F9AF36AC8F93, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-10.0"),
    ([0x1A9FBE76C8B43958, 0x8B4395810624DD2F, 0x624DD2F1A9FBE76C, 0xFFBE76C8B4395810, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xD6A58A283FD87167, 0x246F3963A2998ABC, 0x5173C36656E83072, 0xB72F42FA823252F3, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.999"),
];

const LN_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xD2B691E7E8BDDEA1, 0x6140E449C3985351, 0x03EDF5F5DE1B8615, 0x179D599C0017EEED, 0xFFFFFFFFFFFFFFF9, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "0.001"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xF0E785F7F83F4A36, 0x75C04C1896881BC5, 0x56A4A751F4B3D75C, 0xB289C889555D4FA4, 0xFFFFFFFFFFFFFFFD, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "0.1"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x75F2E8A4745505D4, 0xBF0CBCD98D6749D2, 0x361C4C67FC0D0950, 0x4E8DE8082E308654, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x5DB5FF92E927DCE4, 0x0A8881976BD4594C, 0x55D4656E818D9BC4, 0x004180D53E30FAFC, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.001"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x8A0D175B8BAAFA2C, 0x40F343267298B62D, 0xC9E3B39803F2F6AF, 0xB17217F7D1CF79AB, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0xA784D9045190CFEF, 0x62E7160F38B4DA56, 0xBF7158809CF4F3C7, 0xB7E151628AED2A6A, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "e"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x3D97EEEA5149358D, 0xBE1442D9B7E08DF0, 0xA4198D55053B7CB5, 0x193EA7AAD030A976, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0F187A0807C0B5CA, 0x8A3FB3E76977E43A, 0xA95B58AE0B4C28A3, 0x4D763776AAA2B05B, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "10.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000064, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x1E30F4100F816B95, 0x147F67CED2EFC874, 0x52B6B15C16985147, 0x9AEC6EED554560B7, 0x0000000000000004, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "100.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x6482E99374ADC5B7, 0x89809F8079F71DC7, 0xE2E503F0277DA2D8, 0xEE74EFAE321AC0B5, 0x0000000000000006, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1024.0"),
];

const SQRT_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.25"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xED17AC8583339915, 0x1D6F60BA893BA84C, 0x597D89B3754ABE9F, 0xB504F333F9DE6484, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xDA2F590B0667322B, 0x3ADEC17512775099, 0xB2FB1366EA957D3E, 0x6A09E667F3BCC908, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xC720A6486E45A6E2, 0x25D834CC53DA4798, 0x25742D7078B83B89, 0xBB67AE8584CAA73B, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000004, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "4.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000005, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xF0D8D423A1831D2A, 0x21044ED7E744E4A3, 0xE73980C0B9DB9068, 0x3C6EF372FE94F82B, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "5.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x57F5084B17271501, 0xB4E0ABAF86001C57, 0x945790619B37FD4A, 0x298B075B4B6A5240, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "10.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000064, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "100.0"),
    ([0xF5C28F5C28F5C28F, 0x8F5C28F5C28F5C28, 0x28F5C28F5C28F5C2, 0x028F5C28F5C28F5C, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.01"),
    ([0x4A2339C0EBEDFA44, 0x25460AA64C2F837B, 0x295E9E1B089A0275, 0x00068DB8BAC710CB, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x5531DABC736A4BA2, 0x619D11F49F376ADF, 0xE55AD00F5C38565C, 0x000346D6FF11672A, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0001"),
];

const SIN_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x8B303693D2A0DB48, 0x92F45B4FCAF13CD5, 0xD92F0D93F60DED99, 0x7ABBA1D12C17BFA1, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xEFB6CA5FD6C649BE, 0x89E511132F518B4D, 0xC6E9E909C50F3C32, 0xD76AA47848677020, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x104935A02939B642, 0x761AEEECD0AE74B2, 0x391616F63AF0C3CD, 0x28955B87B7988FDF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x9D91C10FE248318E, 0xE8E410CC2AC93DF3, 0xB879920A687F4255, 0x0041893694862987, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x56B27F197CB7BCC2, 0x70AC3405B19A884D, 0x2DD99707AB3D688B, 0x860A91C16B9B2C23, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/6"),
    ([0x020BBEA63B139B22, 0x29024E088A67CC74, 0xC4C6628B80DC1CD1, 0xC90FDAA22168C234, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xED17AC8583339915, 0x1D6F60BA893BA84C, 0x597D89B3754ABE9F, 0xB504F333F9DE6484, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/4"),
    ([0xAD64FE32F96F7983, 0xE158680B6335109A, 0x5BB32E0F567AD116, 0x0C152382D7365846, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x639053243722D371, 0x92EC1A6629ED23CC, 0x92BA16B83C5C1DC4, 0xDDB3D742C265539D, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/3"),
    ([0x04177D4C76273645, 0x52049C1114CF98E8, 0x898CC51701B839A2, 0x921FB54442D18469, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/2"),
    ([0x082EFA98EC4E6C89, 0xA4093822299F31D0, 0x13198A2E03707344, 0x243F6A8885A308D3, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x40012715DB2EDF28, 0x5AF16FBD659E3DCE, 0x3902E84683150696, 0x242070DB6DAAB69E, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x82002F5B11626278, 0xB1507AE166023702, 0x804DD41FDB1DFFF6, 0x74BB085065856D31, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "10.0"),
];

const COS_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xD72350AF3E8B19E8, 0x56566B3A89F43EAB, 0xBDDD9DA2FAFAD985, 0xE0A94032DBEA7CED, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xF2300240B760E6FB, 0xA2373A894F96C3B7, 0xC2466D976871BD29, 0x8A51407DA8345C91, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xF2300240B760E6FB, 0xA2373A894F96C3B7, 0xC2466D976871BD29, 0x8A51407DA8345C91, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x1A5AA0F5E9CD9BF1, 0x55B1907BBC6899A3, 0x88F4315EC951A872, 0xFFFFF79C843B5F6F, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x56B27F197CB7BCC2, 0x70AC3405B19A884D, 0x2DD99707AB3D688B, 0x860A91C16B9B2C23, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x639053243722D371, 0x92EC1A6629ED23CC, 0x92BA16B83C5C1DC4, 0xDDB3D742C265539D, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/6"),
    ([0x020BBEA63B139B22, 0x29024E088A67CC74, 0xC4C6628B80DC1CD1, 0xC90FDAA22168C234, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xED17AC8583339915, 0x1D6F60BA893BA84C, 0x597D89B3754ABE9F, 0xB504F333F9DE6484, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/4"),
    ([0xAD64FE32F96F7983, 0xE158680B6335109A, 0x5BB32E0F567AD116, 0x0C152382D7365846, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/3"),
    ([0x04177D4C76273645, 0x52049C1114CF98E8, 0x898CC51701B839A2, 0x921FB54442D18469, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/2"),
    ([0x082EFA98EC4E6C89, 0xA4093822299F31D0, 0x13198A2E03707344, 0x243F6A8885A308D3, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "pi"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x99B9C378C8FE9F04, 0xA15B5C78DF95103C, 0x2007D020958FAC14, 0x028FDA0BD0D16CF8, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x387DD393FC7E4151, 0x532D1F252658E396, 0x081D5F4666B1B3C4, 0x29329BB79CA706FB, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "10.0"),
];

const TAN_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x40A434B0E165A20E, 0x5333BF517BD5F9BE, 0xBCB2403C41222664, 0x8BDA7ADF9A3A5218, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xBDD358ED9CDAD52D, 0x52257E8CC6CCA992, 0xCC7D41323140B3B5, 0x8EB245CBEE3A5B8A, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x422CA71263252AD3, 0xADDA81733933566D, 0x3382BECDCEBF4C4A, 0x714DBA3411C5A475, 0xFFFFFFFFFFFFFFFE, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x9FB2BA8192601DEF, 0x859E2B859C8F47EF, 0x6B5D17D96CA23D98, 0x00418938BA47AF8E, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x020BBEA63B139B22, 0x29024E088A67CC74, 0xC4C6628B80DC1CD1, 0xC90FDAA22168C234, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/4"),
    ([0x56B27F197CB7BCC2, 0x70AC3405B19A884D, 0x2DD99707AB3D688B, 0x860A91C16B9B2C23, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x97B58CC2CF6C8CF6, 0x0C9D66EEC69E17DD, 0x0C7C0F257D92BE83, 0x93CD3A2C8198E269, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/6"),
    ([0xAD64FE32F96F7983, 0xE158680B6335109A, 0x5BB32E0F567AD116, 0x0C152382D7365846, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xC720A6486E45A6E2, 0x25D834CC53DA4798, 0x25742D7078B83B89, 0xBB67AE8584CAA73B, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "pi/3"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x8332859EEDE9D525, 0xE424E346FA48C7FC, 0xB09E0462447DDCE0, 0x19F6A85C43BBAD2E, 0x000000000000000E, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xBF5BCB4F1E9A5DF2, 0xACCC40AE842A0641, 0x434DBFC3BEDDD99B, 0x7425852065C5ADE7, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x42A6292DAAD0FD2E, 0xFEBF70A734A1B028, 0xE5006225970A2F43, 0x415E1690F1315798, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.25"),
];

const ATAN_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x71678B7374B12385, 0xB70A0AC3930E6F80, 0xB7F222F65E1D4681, 0x76B19C1586ED3DA2, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x020BBEA63B139B22, 0x29024E088A67CC74, 0xC4C6628B80DC1CD1, 0xC90FDAA22168C234, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xFDF44159C4EC64DE, 0xD6FDB1F77598338B, 0x3B399D747F23E32E, 0x36F0255DDE973DCB, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x450C27FD198A879C, 0x6CCF64DF1D3DB3E7, 0xB9C500F93A615B31, 0x00418935DD45B855, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x92AFF1D9017612C0, 0x9AFA914D81C12967, 0xD19AA220A39AF320, 0x1B6E192EBBE446C6, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xE6AD8F664B0CA308, 0xB199AFC21BD37904, 0xABF0CD4B6AAE57A2, 0x789BD2C16005382E, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "10.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000064, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x468267226343A23E, 0x8C70E87EBAA9A2BB, 0xDCC50E9E807EE832, 0x8F905EB2DEF218BE, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "100.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFF6, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x19527099B4F35CF8, 0x4E66503DE42C86FB, 0x540F32B49551A85D, 0x87642D3E9FFAC7D1, 0xFFFFFFFFFFFFFFFE, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-10.0"),
    ([0xDA2F590B0667322B, 0x3ADEC17512775099, 0xB2FB1366EA957D3E, 0x6A09E667F3BCC908, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0105DF531D89CD91, 0x948127044533E63A, 0x62633145C06E0E68, 0x6487ED5110B4611A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "tan_pi_8"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x1D69EDE62B1A933D, 0xA06AEC4EF8FC1FE3, 0xDD9BF7CB9709E1FF, 0x1983E282E2CC4C3A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
];

const ASIN_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x56B27F197CB7BCC2, 0x70AC3405B19A884D, 0x2DD99707AB3D688B, 0x860A91C16B9B2C23, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xA94D80E68348433E, 0x8F53CBFA4E6577B2, 0xD22668F854C29774, 0x79F56E3E9464D3DC, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-0.5"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x01300D25FF6A5162, 0x160079ECF4042322, 0xBDAAD01508820640, 0x0041893803072C58, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xF4010B397DFF05AA, 0xABB6CDA1D29BDE4C, 0x3A4443811EDFBEA6, 0x19A49276037883C0, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
    ([0xED17AC8583339915, 0x1D6F60BA893BA84C, 0x597D89B3754ABE9F, 0xB504F333F9DE6484, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x020BBEA63B139B22, 0x29024E088A67CC74, 0xC4C6628B80DC1CD1, 0xC90FDAA22168C234, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "sqrt2/2"),
    ([0x639053243722D371, 0x92EC1A6629ED23CC, 0x92BA16B83C5C1DC4, 0xDDB3D742C265539D, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xAD64FE32F96F7983, 0xE158680B6335109A, 0x5BB32E0F567AD116, 0x0C152382D7365846, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "sqrt3/2"),
    ([0x1A9FBE76C8B43958, 0x8B4395810624DD2F, 0x624DD2F1A9FBE76C, 0xFFBE76C8B4395810, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x2F7352686E2CC5FF, 0xEB2708D263FFE559, 0xD6B525CD80D6A538, 0x86AC9AD18F803715, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.999"),
    ([0x6666666666666666, 0x6666666666666666, 0x6666666666666666, 0xE666666666666666, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x6E66B20B5731B09E, 0x8A7B79AB703D67E4, 0x45BF745646D64BAA, 0x1EA93705FA171F47, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.9"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x91994DF4A8CE4F62, 0x758486548FC2981B, 0xBA408BA9B929B455, 0xE156C8FA05E8E0B8, 0xFFFFFFFFFFFFFFFE, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-0.9"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xDEDA2DD311C510DF, 0x97523341FB7CF8E8, 0x742768B83C108EFE, 0x40AFA7382E1F3479, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.25"),
];

const ACOS_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xAD64FE32F96F7983, 0xE158680B6335109A, 0x5BB32E0F567AD116, 0x0C152382D7365846, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x5AC9FC65F2DEF306, 0xC2B0D016C66A2135, 0xB7665C1EACF5A22D, 0x182A4705AE6CB08C, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-0.5"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x02E7702676BCE4E3, 0x3C04222420CB75C6, 0xCBE1F501F9363362, 0x91DE2C0C3FCA5810, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x10167212F828309B, 0xA64DCE6F4233BA9B, 0x4F488195E2D87AFB, 0x787B22CE3F5900A9, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
    ([0xED17AC8583339915, 0x1D6F60BA893BA84C, 0x597D89B3754ABE9F, 0xB504F333F9DE6484, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x020BBEA63B139B22, 0x29024E088A67CC74, 0xC4C6628B80DC1CD1, 0xC90FDAA22168C234, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "sqrt2/2"),
    ([0x639053243722D371, 0x92EC1A6629ED23CC, 0x92BA16B83C5C1DC4, 0xDDB3D742C265539D, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x56B27F197CB7BCC2, 0x70AC3405B19A884D, 0x2DD99707AB3D688B, 0x860A91C16B9B2C23, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "sqrt3/2"),
    ([0x1A9FBE76C8B43958, 0x8B4395810624DD2F, 0x624DD2F1A9FBE76C, 0xFFBE76C8B4395810, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xD4A42AE407FA7045, 0x66DD933EB0CFB38E, 0xB2D79F4980E19469, 0x0B731A72B3514D53, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.999"),
    ([0x6666666666666666, 0x6666666666666666, 0x6666666666666666, 0xE666666666666666, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x95B0CB411EF585A7, 0xC7892265A4923103, 0x43CD50C0BAE1EDF7, 0x73767E3E48BA6522, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.9"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x727E2F57CD58E6E3, 0xDC8015BC850D00CC, 0xCF4C396D488E854C, 0xB0C8EC4A3CE8A3B0, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-0.9"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x253D4F7964622566, 0xBAB268CF19529FFF, 0x15655C5EC5A7AAA3, 0x51700E0C14B24FF0, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.25"),
];

const SINH_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xFB00899C013357DA, 0x098518F0A1119E4E, 0xABC4ABB0D7331125, 0x8566807F31DCB651, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xBBB00F99D6447A81, 0xC427883241A43191, 0x0249487F064FFD5C, 0x2CD9FC44EB9825A8, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x006227D50A2BEAA0, 0x96EE2ADDCCFEDA90, 0x9900592C4012E1DE, 0xA079EC76DC33EDE6, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x444FF06629BB857F, 0x3BD877CDBE5BCE6E, 0xFDB6B780F9B002A3, 0xD32603BB1467DA57, 0xFFFFFFFFFFFFFFFE, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xEA141CE0100E6671, 0xDFEC61318B8E624F, 0xF506711800D20689, 0x004189380307278A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xBA80F503F740D75B, 0xA5BD74776E66C42E, 0x0CF4A8F141FCD942, 0x04937384A4D6CDB8, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000005, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xB974628953C29AEE, 0x3925BADCC4CB6078, 0x0888368E0ACA2DE8, 0x34059BC1CDD1E1EB, 0x000000000000004A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "5.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFD, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x457F0AFC08BF28A5, 0x5A428B8891993BD1, 0xF30B570EBE0326BD, 0xFB6C8C7B5B293247, 0xFFFFFFFFFFFFFFF5, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-3.0"),
    ([0x8A0D175B8BAAFA2C, 0x40F343267298B62D, 0xC9E3B39803F2F6AF, 0xB17217F7D1CF79AB, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xC000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "ln2"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x16745171F2B3DC83, 0x5726391BEA795A68, 0x1829C44494DE980C, 0x19A487337B59B2D7, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
];

const COSH_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xC94B72F462349AF2, 0xECCCD87B71F9A90A, 0x823A4F060800E88C, 0x20AC1862AE8D0645, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xEBD4C96A7B4C556E, 0x9EBF8DDCF710A8C4, 0xBD28100196A4F66A, 0x8B07551D9F5504C2, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x9E7551A2C6DE06A9, 0x87CBC0FB6F89A425, 0x4FEE2EEE9A180CC2, 0xC31F41BE5B378526, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xEBD4C96A7B4C556E, 0x9EBF8DDCF710A8C4, 0xBD28100196A4F66A, 0x8B07551D9F5504C2, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x3CCBFB58CF5289A7, 0x0BA012630CDCF24D, 0x234906BBF16A4A81, 0x000008637BDC155D, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xCEF8177F872F1B4C, 0xDFC622B13C29DCF4, 0xB107AA830A3D5FC2, 0x11524BEB0C2F251C, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000005, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xFC56A9B80BAAE921, 0xFF3DFBB4D44C02E9, 0xCCE45B1F546FE745, 0x35BF2FBFCEA7194C, 0x000000000000004A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "5.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFD, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xCEF8177F872F1B4C, 0xDFC622B13C29DCF4, 0xB107AA830A3D5FC2, 0x11524BEB0C2F251C, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "-3.0"),
    ([0x8A0D175B8BAAFA2C, 0x40F343267298B62D, 0xC9E3B39803F2F6AF, 0xB17217F7D1CF79AB, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "ln2"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xD6476DB5DC6564ED, 0x0A57CCAC8BEBC3DE, 0x6A0EFC53C1CC8010, 0x0147F40224B386D8, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
];

const TANH_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x2D9CBFA05B125DD8, 0xF32657A0B7D69A41, 0x4A3B887196C234E9, 0x764D4F5D5A2BCD94, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x15B1ECD29F69A4A7, 0x15E66C3D71A02220, 0x3195F149E213A7F3, 0xC2F7D5A8A79CA2AC, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x2CA0BF7FCF083375, 0xCA69798BC519BBD1, 0xE2197E1F412AE45A, 0xF6CA82F0DE1E9E99, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xEA4E132D60965B59, 0xEA1993C28E5FDDDF, 0xCE6A0EB61DEC580C, 0x3D082A5758635D53, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFE, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xD35F408030F7CC8B, 0x359686743AE6442E, 0x1DE681E0BED51BA5, 0x09357D0F21E16166, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-2.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x2BE247CF989E360E, 0xD22834E816F7C40D, 0xF1C1D2A2894F5011, 0x00418935DD45B387, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x1C53D4A44A37CED4, 0x50577D4632F97E92, 0x57854585BFDAF2C2, 0xFEBBE888D057FF10, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000005, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xA1A4BBE676D1FBA1, 0x8C4DD98F941D3D5C, 0x00B7186CB572C9BB, 0xFFFA0CB346F889A8, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "5.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xD263405FA4EDA228, 0x0CD9A85F482965BE, 0xB5C4778E693DCB16, 0x89B2B0A2A5D4326B, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-0.5"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x1733E25D0671423B, 0xEA0973CFE910AF19, 0xF6AD5F637E735923, 0x1983D7795F4139DB, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
];

const ASINH_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x6F00A0E71D4DFD43, 0x4C9EB2333477C9DF, 0xF810812A5A31C083, 0x7B30B2BB14582652, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x81AE4E22F4D354D7, 0xCD3BA807F85DAE5D, 0xD8F99E8DD2518A53, 0xE1A1B30BCEA13660, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x4D01E2B557E9F7C8, 0xE5DC16999D675D9E, 0xE831837F0E954189, 0x719218313D0872F8, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x7E51B1DD0B2CAB29, 0x32C457F807A251A2, 0x270661722DAE75AC, 0x1E5E4CF4315EC99F, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1.0"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xADE9376A53334A42, 0x760461D7A51813A3, 0x80B27B401A8698B7, 0x0041893694862E55, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x354797C4254A5E2F, 0xEE88077EA6FAC981, 0x8395E907170DAFD5, 0xFF8B8A0DA57B5AA3, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "10.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFF6, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xCAB8683BDAB5A1D1, 0x1177F8815905367E, 0x7C6A16F8E8F2502A, 0x007475F25A84A55C, 0xFFFFFFFFFFFFFFFD, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-10.0"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xA8120DAC2B3509AA, 0x3B88E4434F62A54D, 0x38317FDF1BB8EE35, 0x198EB9E7E5FC3E13, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000064, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x12D8BCF080701A2B, 0x82C4580470DE7026, 0xAC9045F3D3F9E7A9, 0x4C602A4F4F0A7CED, 0x0000000000000005, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "100.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x70460FF5BB048DD4, 0x8ECE7B4A6AF33BA6, 0xACE22BBCA814EF15, 0x3F59F64733CC6DD1, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.25"),
];

const ACOSH_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x472565EA949418B9, 0xD2E4C9CF593A21F2, 0x1590C7B5A567BFFA, 0x0B729D65E6F682CD, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.001"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xDE0141CE3A9BFA85, 0x993D646668EF93BE, 0xF0210254B4638106, 0xF661657628B04CA5, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xE990ACEF4EABD1AE, 0xA6FE0B5B28C71976, 0x684BD0188D52CECC, 0x51242719804349BE, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x035C9C45E9A6A9AE, 0x9A77500FF0BB5CBB, 0xB1F33D1BA4A314A7, 0xC34366179D426CC1, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000005, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xA771EEB3B2BEC0DF, 0xECAE330CFECED0E7, 0x0BB4EBADC878BABC, 0x4ADCCD491476BDA3, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "5.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x61D609E38B7A896B, 0x9D7C25048EC898DB, 0x072BEF0F6918CC2D, 0xFE43DA39C0BA87F9, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "10.0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000064, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x03D3EC03E12BF4B1, 0x0993EE58889F41C7, 0x3E416C22565B169E, 0x4C5CE372F189A288, 0x0000000000000005, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "100.0"),
    ([0x4A2339C0EBEDFA44, 0x25460AA64C2F837B, 0x295E9E1B089A0275, 0x00068DB8BAC710CB, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xBC714C30E97822D3, 0x06BC0A28265B8ED9, 0xE5036642413E44C6, 0x039ECFAFD81AD4C5, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.0001"),
    ([0xA784D9045190CFEF, 0x62E7160F38B4DA56, 0xBF7158809CF4F3C7, 0xB7E151628AED2A6A, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x007ADCF86AC6D2B9, 0x525B3C028D821BC3, 0x5269FA11E87C81CF, 0xA84EEF63326E7A6B, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "e"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xF43780445BF72C4C, 0x786474D9ACD9DF3D, 0x43DAE4980504E58E, 0x718DB06A20BCA24E, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.1"),
];

const ATANH_REFS: &[([u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x1ECBF77528A49AC6, 0xDF0A216CDBF046F8, 0x520CC6AA829DBE5A, 0x8C9F53D5681854BB, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xE134088AD75B653A, 0x20F5DE93240FB907, 0xADF339557D6241A5, 0x7360AC2A97E7AB44, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-0.5"),
    ([0x6666666666666666, 0x6666666666666666, 0x6666666666666666, 0xE666666666666666, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xF470AE2283EA08E7, 0xEC94BFF7E42B5F73, 0x07A971372909A85C, 0x78E360604B32C720, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.9"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x0B8F51DD7C15F719, 0x136B40081BD4A08C, 0xF8568EC8D6F657A3, 0x871C9F9FB4CD38DF, 0xFFFFFFFFFFFFFFFE, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-0.9"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x74F91CFDB9F353C0, 0x9740BEF862BA68CC, 0x343731BEC905FE8B, 0x00418938BA47B45C, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001"),
    ([0x999999999999999A, 0x9999999999999999, 0x9999999999999999, 0x1999999999999999, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x6C730ECD54F14002, 0xDCBF343FF9A69FF2, 0x21B26F7579977D7C, 0x19AF93CD23441205, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.1"),
    ([0x6666666666666666, 0x6666666666666666, 0x6666666666666666, 0xE666666666666666, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x938CF132AB0EBFFE, 0x2340CBC00659600D, 0xDE4D908A86688283, 0xE6506C32DCBBEDFA, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-0.1"),
    ([0x0A3D70A3D70A3D71, 0x70A3D70A3D70A3D7, 0xD70A3D70A3D70A3D, 0xFD70A3D70A3D70A3, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x4C8C884461274643, 0xEFC629C731637CDC, 0xAA1F8B8942AD653F, 0xA58B0332F9B0C4C0, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.99"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x23B9B9E115664309, 0x459C16F39F7F500E, 0x9DAF0BE0810EDA9F, 0x4162BBEA0451469C, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.25"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xC000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x5732A55EB97B611D, 0x261AE732274E1FFD, 0x7B4A4B67930DF023, 0xF913957192D2BAA3, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.75"),
];

const ATAN2_REFS: &[([u64; 8], [u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x020BBEA63B139B22, 0x29024E088A67CC74, 0xC4C6628B80DC1CD1, 0xC90FDAA22168C234, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1_1"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x04177D4C76273645, 0x52049C1114CF98E8, 0x898CC51701B839A2, 0x921FB54442D18469, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1_0"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0_1"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xFDF44159C4EC64DE, 0xD6FDB1F77598338B, 0x3B399D747F23E32E, 0x36F0255DDE973DCB, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1_1"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x06233BF2B13AD167, 0x7B06EA199F37655C, 0x4E5327A282945673, 0x5B2F8FE6643A469E, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1_-1"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x082EFA98EC4E6C89, 0xA4093822299F31D0, 0x13198A2E03707344, 0x243F6A8885A308D3, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0_-1"),
    ([0xC720A6486E45A6E2, 0x25D834CC53DA4798, 0x25742D7078B83B89, 0xBB67AE8584CAA73B, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xAD64FE32F96F7983, 0xE158680B6335109A, 0x5BB32E0F567AD116, 0x0C152382D7365846, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "sqrt3_1"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xC720A6486E45A6E2, 0x25D834CC53DA4798, 0x25742D7078B83B89, 0xBB67AE8584CAA73B, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x56B27F197CB7BCC2, 0x70AC3405B19A884D, 0x2DD99707AB3D688B, 0x860A91C16B9B2C23, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1_sqrt3"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], [0xF9DCC40D4EC52E99, 0x84F915E660C89AA3, 0xB1ACD85D7D6BA98C, 0xA4D070199BC5B961, 0xFFFFFFFFFFFFFFFD, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF], "-1_-1"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x450C27FD198A879C, 0x6CCF64DF1D3DB3E7, 0xB9C500F93A615B31, 0x00418935DD45B855, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.001_1"),
];

const POW_REFS: &[([u64; 8], [u64; 8], [u64; 8], &str)] = &[
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000400, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2^10"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xDA2F590B0667322B, 0x3ADEC17512775099, 0xB2FB1366EA957D3E, 0x6A09E667F3BCC908, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2^0.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000000000000A, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000000003E8, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "10^3"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xD17AC85833399155, 0xD6F60BA893BA84CE, 0x97D89B3754ABE9F1, 0x504F333F9DE64845, 0x000000000000000B, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "2.0^3.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x261A88029F52E7D0, 0xACC4DB072D55CEBA, 0x70B86D70BB402204, 0xC173FAD148AA8994, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.5^2.5"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x4000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5^2"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x2000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "0.5^3"),
    ([0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x8000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xC720A6486E45A6E2, 0x25D834CC53DA4798, 0x25742D7078B83B89, 0xBB67AE8584CAA73B, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "3^0.5"),
    ([0xE5604189374BC6A8, 0x74BC6A7EF9DB22D0, 0x9DB22D0E56041893, 0x004189374BC6A7EF, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000064, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x6D91D028E7A1B4F1, 0xF8FEBA2C5252285D, 0xE3E7621E53AF5DA6, 0x1AE8DCC401C58516, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "1.001^100"),
    ([0xA784D9045190CFEF, 0x62E7160F38B4DA56, 0xBF7158809CF4F3C7, 0xB7E151628AED2A6A, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], [0xA784D9045190CFEF, 0x62E7160F38B4DA56, 0xBF7158809CF4F3C7, 0xB7E151628AED2A6A, 0x0000000000000002, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000], "e^1"),
];