/usr/share/axiom-20170501/input/ei.input is in axiom-test 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704 2705 2706 2707 2708 2709 2710 | )set break resume
)spool ei.output
)set message test on
)set message auto off
)clear all
digits 35
--S 1 of 20
gamma:=0.577215664901532860606512090082
--R
--R
--R (2) 0.5772156649 0153286060 6512090082
--R Type: Float
--E 1
--S 2 of 20
aChebyshev:List Fraction Integer:=[machineFraction (x::DFLOAT) for x in _
[0.191217322586055345391519326510E1,_
-0.420835505286848437550974986680E-01,_
0.172281962728432678337118157835E-02,_
-0.991578217344456364559842322973E-04,_
0.717609316802277505265590665592E-05,_
-0.615273314509512696827956791331E-06,_
0.602485710656275831293999701610E-07,_
-0.657384884528830482295894189637E-08,_
0.785316754183239981994810079871E-09,_
-0.101373028800387898554202774257E-09,_
0.139977041322676860277823488623E-10,_
-0.205100837678381899618962318711E-11,_
0.316838872600247781814907985818E-12,_
-0.513276008283918065415984751899E-13,_
0.868093304076654934187433687383E-14,_
-0.152701504090308497198572355351E-14,_
0.278468625164935739650105251453E-15,_
-0.524989043742176696808472933696E-16,_
0.102071799124856129247455787226E-16,_
-0.204226467989971841308462421876E-17,_
0.419706417272648474408827228562E-18,_
-0.884450817617281050816483737536E-19,_
0.190827262959471741995060168262E-19,_
-0.420974622293519950336450865676E-20,_
0.948390405819837327641500214512E-21,_
-0.217946786013667431994032574014E-21,_
0.510393686907145094993452562741E-22,_
-0.121688311333441509089746779693E-22,_
0.295128916644787519294773757144E-23,_
-0.727535376377284689714438950920E-24,_
0.182163904862307396121667115976E-24,_
-0.462962996316331716612753482064E-25,_
0.119353979097157791523052371292E-25,_
-0.311949328522014244931062147473E-26,_
0.826141973453346642284170028518E-27,_
-0.221580337366098298302591177697E-27,_
0.601603167165426389045303124429E-28,_
-0.165272509838212659649744302314E-28,_
0.459223035877302702795636377166E-29,_
-0.129006276721326384737453212670E-29,_
0.366271848103200259081177078922E-30]]
--R
--R
--R (3)
--R 2152915656863357 379054924958825 7945103187419413
--R [----------------, - ----------------, -------------------,
--R 1125899906842624 9007199254740992 4611686018427387904
--R 1829138960441833 4236017731827575 2905546078243837
--R - --------------------, ---------------------, - ----------------------,
--R 18446744073709551616 590295810358705651712 4722366482869645213696
--R 2276126661128877 496705975207053
--R -----------------------, - -----------------------,
--R 37778931862957161709568 75557863725914323419136
--R 7595117605664589 3921679101738443
--R -------------------------, - --------------------------,
--R 9671406556917033397649408 38685626227668133590597632
--R 4332079600851147 5078050781060809
--R ---------------------------, - ----------------------------,
--R 309485009821345068724781056 2475880078570760549798248448
--R 6275640422302181 8133182999798229
--R -----------------------------, - ------------------------------,
--R 19807040628566084398385987584 158456325028528675187087900672
--R 687774373729299 7742886132633319
--R -----------------------------, - -------------------------------,
--R 79228162514264337593543950336 5070602400912917605986812821504
--R 2824007358680485 4259217129043293
--R --------------------------------, - --------------------------------,
--R 10141204801825835211973625643008 81129638414606681695789005144064
--R 1656209631065589 5302022240869971
--R ---------------------------------, - ----------------------------------,
--R 162259276829213363391578010288128 2596148429267413814265248164610048
--R 8512657468405 3673864961474215
--R --------------------------------, - -----------------------------------,
--R 20282409603651670423947251286016 41538374868278621028243970633760768
--R 6341323507118493
--R ------------------------------------,
--R 332306998946228968225951765070086144
--R 2797856267337637
--R - ------------------------------------,
--R 664613997892457936451903530140172288
--R 2521254156699091
--R -------------------------------------,
--R 2658455991569831745807614120560689152
--R 4635215512971377
--R - --------------------------------------,
--R 21267647932558653966460912964485513216
--R 4341949296056693
--R --------------------------------------,
--R 85070591730234615865843651857942052864
--R 8281677321431107
--R - ---------------------------------------,
--R 680564733841876926926749214863536422912
--R 2008543326054013
--R ---------------------------------------,
--R 680564733841876926926749214863536422912
--R 990269839569513
--R - ----------------------------------------,
--R 1361129467683753853853498429727072845824
--R 3967178541702823
--R -----------------------------------------,
--R 21778071482940061661655974875633165533184
--R 4032976491093275
--R - -----------------------------------------,
--R 87112285931760246646623899502532662132736
--R 2079439590840989
--R ------------------------------------------,
--R 174224571863520493293247799005065324265472
--R 4347939056388851
--R - -------------------------------------------,
--R 1393796574908163946345982392040522594123776
--R 4605895411948583
--R -------------------------------------------,
--R 5575186299632655785383929568162090376495104
--R 1235351661151453
--R - -------------------------------------------,
--R 5575186299632655785383929568162090376495104
--R 5366479576634079
--R --------------------------------------------,
--R 89202980794122492566142873090593446023921664
--R 5897120208357801
--R - ---------------------------------------------,
--R 356811923176489970264571492362373784095686656
--R 6554250183933065
--R ----------------------------------------------,
--R 1427247692705959881058285969449495136382746624
--R 3682478215901993
--R - ----------------------------------------------,
--R 2854495385411919762116571938898990272765493248
--R 4182085200867523
--R -----------------------------------------------]
--R 11417981541647679048466287755595961091061972992
--R Type: List(Fraction(Integer))
--E 2
--S 3 of 20
t1:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[-160.,0.993826695674061273878797850088,_
Ei1(-160.0),Ei1(-160.0)-0.993826695674061273878797850088],_
[-80.0,0.987801333094288773564522608410,_
Ei1(-80.0),Ei1(-80.0)-0.987801333094288773564522608410],_
[-53.0-1.0/3.0,0.981916290143194439617735426105,_
Ei1(-53.0-1.0/3.0),Ei1(-53.0-1.0/3.0)-0.981916290143194439617735426105],_
[-40.0,0.976164603185143050808000604060,_
Ei1(-40.0),Ei1(-40.0)-0.976164603185143050808000604060],_
[-32.0,0.970539884074663920462584664361,_
Ei1(-32.0),Ei1(-32.0)-0.970539884074663920462584664361],_
[-26.0-2.0/3.0,0.965036251123377035763536593528,_
Ei1(-26.0-2.0/3.0),Ei1(-26.0-2.0/3.0)-0.965036251123377035763536593528],_
[-22.0-6.0/7.0,0.959648271079367276165478970820,_
Ei1(-22.0-6.0/7.0),Ei1(-22.0-6.0/7.0)-0.959648271079367276165478970820],_
[-20.0,0.954370909919216833975195829433,_
Ei1(-20.0),Ei1(-20.0)-0.954370909919216833975195829433],_
[-17.0-7.0/9.0,0.949199490779745744606445346803,_
Ei1(-17.0-7.0/9.0),Ei1(-17.0-7.0/9.0)-0.949199490779745744606445346803],_
[-16.0,0.944129657736902978984149471583,_
Ei1(-16.0),Ei1(-16.0)-0.944129657736902978984149471583],_
[-14.0-6.0/11.0,0.939157344419284241240422409988,_
Ei1(-14.0-6.0/11.0),Ei1(-14.0-6.0/11.0)-0.939157344419284241240422409988],_
[-13.0-1.0/3.0,0.934278746653410464809375801650,_
Ei1(-13.0-1.0/3.0),Ei1(-13.0-1.0/3.0)-0.934278746653410464809375801650],_
[-12.0-4.0/13.0,0.929490298497214037725319679042,_
Ei1(-12.0-4.0/13.0),Ei1(-12.0-4.0/13.0)-0.929490298497214037725319679042],_
[-11.0-3.0/7.0,0.924788651140841696055993585492,_
Ei1(-11.0-3.0/7.0),Ei1(-11.0-3.0/7.0)-0.924788651140841696055993585492],_
[-10.0-2.0/3.0,0.920170654249445676202148012149,_
Ei1(-10.0-2.0/3.0),Ei1(-10.0-2.0/3.0)-0.920170654249445676202148012149],_
[-10.0,0.915633339397880818760698157666,_
Ei1(-10.0),Ei1(-10.0)-0.915633339397880818760698157666]]]
--R
--R
--R (4)
--R 8951595072617107 8951595072617107
--R [[- 160,----------------,----------------,0],
--R 9007199254740992 9007199254740992
--R 2224330857819759 8897323431279037 1
--R [- 80,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 9007199254740992
--R 3752999689475413 2211078919198955 8844315676795821 1
--R [- ----------------,----------------,----------------,----------------],
--R 70368744177664 2251799813685248 9007199254740992 9007199254740992
--R 2198127271578439 8792509086313757 1
--R [- 40,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 9007199254740992
--R 4370923060266861 8741846120533719 3
--R [- 32,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992
--R 3752999689475413 4346136900958261 4346136900958261
--R [- ----------------,----------------,----------------,0],
--R 140737488355328 4503599627370496 4503599627370496
--R 3216856876693211 4321871596039779 8643743192079559 1
--R [- ----------------,----------------,----------------,----------------],
--R 140737488355328 4503599627370496 9007199254740992 9007199254740992
--R 2149052237142713 8596208948570853 1
--R [- 20,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 9007199254740992
--R 5003999585967217 4274814472975927 8549628945951855 1
--R [- ----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 9007199254740992 9007199254740992
--R 2125990987386675 2125990987386675
--R [- 16,----------------,----------------,0],
--R 2251799813685248 2251799813685248
--R 1023545369856931 4229588666368953 8459177332737905 1
--R [- ----------------,----------------,----------------,- ----------------],
--R 70368744177664 4503599627370496 9007199254740992 9007199254740992
--R 3752999689475413 4207617415288473 2103808707644237 1
--R [- ----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 2251799813685248 4503599627370496
--R 866076851417403 65407065030571 8372104323913087 1
--R [- ---------------,--------------,----------------,- ----------------],
--R 70368744177664 70368744177664 9007199254740992 9007199254740992
--R 3216856876693211 2082438912337179 8329755649348717 1
--R [- ----------------,----------------,----------------,----------------],
--R 281474976710656 2251799813685248 9007199254740992 9007199254740992
--R 3002399751580331 4144080215595069 8288160431190139 1
--R [- ----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 9007199254740992 9007199254740992
--R 4123645966120299 8247291932240599 1
--R [- 10,----------------,----------------,----------------]]
--R 4503599627370496 9007199254740992 9007199254740992
--R Type: List(List(Fraction(Integer)))
--E 3
--S 4 of 20
bChebyshev:List Fraction Integer:= [machineFraction (x::DFLOAT) for x in _
[_
0.175755649606129373848762834691E1,_
-0.435854151773616611705001867964E-01,_
-0.797950713955842540133217027492E-02,_
-0.148437232730371213850970210001E-02,_
-0.280030198437751457486203954948E-03,_
-0.534864851286579323039177361553E-04,_
-0.103286724357355486610233266460E-04,_
-0.201408331300553687732226198639E-05,_
-0.396175843427386645822338443500E-06,_
-0.785387276709663163067607656069E-07,_
-0.156792598100746982624616270279E-07,_
-0.315005593937639988250007372851E-08,_
-0.636509682252420373040380263972E-09,_
-0.129288811328056318356593121259E-09,_
-0.263869099965925576132149942808E-10,_
-0.540895828704506873491922207896E-11,_
-0.111322278460108989997676692708E-11,_
-0.229962472607446246184338864145E-12,_
-0.476668238949519026223913482091E-13,_
-0.991175674733527094506246643371E-14,_
-0.206710358049570724000900805021E-14,_
-0.432277678338338505645764394579E-15,_
-0.906301479966501725514905603356E-16,_
-0.190466997958166139744015963342E-16,_
-0.401179232635027866346744227520E-17,_
-0.846777213001683223134166334685E-18,_
-0.179084273365869665555826492204E-18,_
-0.379449063817147824401106175166E-19,_
-0.805399923679827985260999654058E-20,_
-0.171233901123620129743228671244E-20,_
-0.364627405877496862086576562816E-21,_
-0.777596963889394794353098157647E-22,_
-0.166062849844840205662531950966E-22,_
-0.355117862578825093005927145352E-23,_
-0.760372268594135809295734653294E-24,_
-0.163007413725849002889638374755E-24,_
-0.349857520272863223507538497255E-25,_
-0.751717962789009882460645145143E-26,_
-0.161687744005272276298777317918E-26,_
-0.348127008572475691748202271565E-27,_
-0.750270777550246547010642233720E-28,_
-0.161845436449591026807612330206E-28,_
-0.349436677170516166749482836452E-29,_
-0.755103690612616785856037026797E-30]]
--R
--R
--R (5)
--R 7915330780744237 3140660152824869 1149968172170097
--R [----------------, - -----------------, - ------------------,
--R 4503599627370496 72057594037927936 144115188075855872
--R 6845459107967051 2582822701745651 3946606010282499
--R - -------------------, - -------------------, - --------------------,
--R 4611686018427387904 9223372036854775808 73786976294838206464
--R 6096972065382141 4755619765522199
--R - ---------------------, - ----------------------,
--R 590295810358705651712 2361183241434822606848
--R 1870887524324103 2967109241284785
--R - ----------------------, - -----------------------,
--R 4722366482869645213696 37778931862957161709568
--R 2369382752105659 7616367916685089
--R - ------------------------, - -------------------------,
--R 151115727451828646838272 2417851639229258349412352
--R 6155943914477235 1250404657614173
--R - -------------------------, - -------------------------,
--R 9671406556917033397649408 9671406556917033397649408
--R 2041588274862599 6695966034357555
--R - --------------------------, - ----------------------------,
--R 77371252455336267181195264 1237940039285380274899124224
--R 2756206115404907 1138719009495301
--R - ----------------------------, - ----------------------------,
--R 2475880078570760549798248448 4951760157141521099596496896
--R 7553109740176135 785290274379735
--R - ------------------------------, - -----------------------------,
--R 158456325028528675187087900672 79228162514264337593543950336
--R 2620365094549305 2191908233643441
--R - -------------------------------, - -------------------------------,
--R 1267650600228229401496703205376 5070602400912917605986812821504
--R 3676395568215259 1545251867426165
--R - --------------------------------, - --------------------------------,
--R 40564819207303340847894502572032 81129638414606681695789005144064
--R 5207604173300669 1099179665736879
--R - ----------------------------------, - ----------------------------------,
--R 1298074214633706907132624082305024 1298074214633706907132624082305024
--R 3719434840042389
--R - -----------------------------------,
--R 20769187434139310514121985316880384
--R 6304678982501625
--R - ------------------------------------,
--R 166153499473114484112975882535043072
--R 5352800631791309
--R - ------------------------------------,
--R 664613997892457936451903530140172288
--R 569022238002455
--R - ------------------------------------,
--R 332306998946228968225951765070086144
--R 1938691823691193
--R - -------------------------------------,
--R 5316911983139663491615228241121378304
--R 3307531692285235
--R - --------------------------------------,
--R 42535295865117307932921825928971026432
--R 2825412980141931
--R - ---------------------------------------,
--R 170141183460469231731687303715884105728
--R 2416806936284543
--R - ---------------------------------------,
--R 680564733841876926926749214863536422912
--R 2069930202386049
--R - ----------------------------------------,
--R 2722258935367507707706996859454145691648
--R 3549987108370725
--R - -----------------------------------------,
--R 21778071482940061661655974875633165533184
--R 6095377668277253
--R - ------------------------------------------,
--R 174224571863520493293247799005065324265472
--R 1309677402290331
--R - ------------------------------------------,
--R 174224571863520493293247799005065324265472
--R 2253598237991765
--R - -------------------------------------------,
--R 1393796574908163946345982392040522594123776
--R 3881745857450733
--R - --------------------------------------------,
--R 11150372599265311570767859136324180752990208
--R 836579872002575
--R - --------------------------------------------,
--R 11150372599265311570767859136324180752990208
--R 360927383980731
--R - --------------------------------------------,
--R 22300745198530623141535718272648361505980416
--R 4987326912384565
--R - ----------------------------------------------,
--R 1427247692705959881058285969449495136382746624
--R 4310880000722449
--R - ----------------------------------------------]
--R 5708990770823839524233143877797980545530986496
--R Type: List(Fraction(Integer))
--E 4
--S 5 of 20
t2:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[-10.000,0.915633339397880818760698157661,_
Ei2(-10.000),Ei2(-10.000)-0.915633339397880818760698157661],_
[ -9.625,0.912844461467993418856575662217,_
Ei2( -9.625),Ei2( -9.625)-0.912844461467993418856575662217],_
[ -9.250,0.909862751525424139378954274597,_
Ei2( -9.250),Ei2( -9.250)-0.909862751525424139378954274597],_
[ -8.875,0.906667270654753880334995756418,_
Ei2( -8.875),Ei2( -8.875)-0.906667270654753880334995756418],_
[ -8.500,0.903233901973207844144682926135,_
Ei2( -8.500),Ei2( -8.500)-0.903233901973207844144682926135],_
[ -8.125,0.899534717688473836301415777697,_
Ei2( -8.125),Ei2( -8.125)-0.899534717688473836301415777697],_
[ -7.750,0.895537187087539157179475513219,_
Ei2( -7.750),Ei2( -7.750)-0.895537187087539157179475513219],_
[ -7.375,0.891203176321254316267087476258,_
Ei2( -7.375),Ei2( -7.375)-0.891203176321254316267087476258],_
[ -7.000,0.886487672536429352893993846569,_
Ei2( -7.000),Ei2( -7.000)-0.886487672536429352893993846569],_
[ -6.625,0.881337138468210200394305706270,_
Ei2( -6.625),Ei2( -6.625)-0.881337138468210200394305706270],_
[ -6.250,0.875687364788465932276462155532,_
Ei2( -6.250),Ei2( -6.250)-0.875687364788465932276462155532],_
[ -5.875,0.869460629454113410302047153364,_
Ei2( -5.875),Ei2( -5.875)-0.869460629454113410302047153364],_
[ -5.500,0.862561884690701422090918986586,_
Ei2( -5.500),Ei2( -5.500)-0.862561884690701422090918986586],_
[ -5.125,0.854873553890199542392425567234,_
Ei2( -5.125),Ei2( -5.125)-0.854873553890199542392425567234],_
[ -4.750,0.846248299103587361171665798810,_
Ei2( -4.750),Ei2( -4.750)-0.846248299103587361171665798810],_
[ -4.375,0.836498754556298741742152267582,_
Ei2( -4.375),Ei2( -4.375)-0.836498754556298741742152267582],_
[ -4.000,0.825382599604223332408183035504,_
Ei2( -4.000),Ei2( -4.000)-0.825382599604223332408183035504]]]
--R
--R
--R (6)
--R 4123645966120299 4123645966120299
--R [[- 10,----------------,----------------,0],
--R 4503599627370496 4503599627370496
--R 77 1027771494128619 1027771494128619
--R [- --,----------------,----------------,0],
--R 8 1125899906842624 1125899906842624
--R 37 2048828774364097 8195315097456387 1
--R [- --,----------------,----------------,- ----------------],
--R 4 2251799813685248 9007199254740992 9007199254740992
--R 71 2041633191134887 8166532764539549 1
--R [- --,----------------,----------------,----------------],
--R 8 2251799813685248 9007199254740992 9007199254740992
--R 17 2033901932177469 8135607728709877 1
--R [- --,----------------,----------------,----------------],
--R 2 2251799813685248 9007199254740992 9007199254740992
--R 65 4051144219388635 8102288438777273 3
--R [- --,----------------,----------------,----------------],
--R 8 4503599627370496 9007199254740992 9007199254740992
--R 31 8066281884127727 504142617757983 1
--R [- --,----------------,---------------,----------------],
--R 4 9007199254740992 562949953421312 9007199254740992
--R 59 4013622292791803 8027244585583605 1
--R [- --,----------------,----------------,- ----------------],
--R 8 4503599627370496 9007199254740992 9007199254740992
--R 7984771103407203 3992385551703601 1
--R [- 7,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 9007199254740992
--R 53 7938379216786421 1984594804196605 1
--R [- --,----------------,----------------,- ----------------],
--R 8 9007199254740992 2251799813685248 9007199254740992
--R 25 3943745289754387 3943745289754387
--R [- --,----------------,----------------,0],
--R 4 4503599627370496 4503599627370496
--R 47 1957851283411431 7831405133645721 3
--R [- --,----------------,----------------,- ----------------],
--R 8 2251799813685248 9007199254740992 9007199254740992
--R 11 7769266764954071 7769266764954071
--R [- --,----------------,----------------,0],
--R 2 9007199254740992 9007199254740992
--R 41 1925004109374397 7700016437497587 1
--R [- --,----------------,----------------,- ----------------],
--R 8 2251799813685248 9007199254740992 9007199254740992
--R 19 476395440563229 7622327049011665 1
--R [- --,---------------,----------------,----------------],
--R 4 562949953421312 9007199254740992 9007199254740992
--R 35 3767255479315631 3767255479315631
--R [- --,----------------,----------------,0],
--R 8 4503599627370496 4503599627370496
--R 3717192768015671 3717192768015671
--R [- 4,----------------,----------------,0]]
--R 4503599627370496 4503599627370496
--R Type: List(List(Fraction(Integer)))
--E 5
--S 6 of 20
cChebyshev:List Fraction Integer:= [machineFraction (x::DFLOAT) for x in _
[_
0.329370010376739129393905231421E1,_
0.167983505237130291565505796064E1,_
0.722043610567875435240299679644E0,_
0.260031236054809561713740181192E0,_
0.801049430817375022394742889237E-01,_
0.215140366397633375480552483005E-01,_
0.511620778993033120621968910894E-02,_
0.109093286100739135605066199014E-02,_
0.210741532023938916318348675226E-03,_
0.371990451665188857095940815956E-04,_
0.604349163712387875704767032866E-05,_
0.909295427396260952649596541772E-06,_
0.127380516065926478865567184969E-06,_
0.166918574841098907390896143814E-07,_
0.205441702640104792547612484551E-08,_
0.238358444446681765914052321417E-09,_
0.261538637888544296669068664148E-10,_
0.272185862285416706446550268995E-11,_
0.269375003198357929925326427442E-12,_
0.254122094670726355467884089307E-13,_
0.229013040686503709418510620516E-14,_
0.197546573907462299401057650412E-15,_
0.163402455192893174068635419984E-16,_
0.129823543707963760991961293204E-17,_
0.992258792507371059644632581302E-19,_
0.730625280672210329447230880087E-20,_
0.518967683460434512720780080019E-21,_
0.356040945409970681128043162227E-22,_
0.236197943257938642370187203948E-23,_
0.151683776772145297549624516819E-24,_
0.943908972224487442925310405245E-26,_
0.569722755950369211989581737831E-27,_
0.333833362779543303156597939562E-28,_
0.190062601281619148526680482237E-29]]
--R
--R
--R (7)
--R 3708376639999247 7565304515903297 3251795335498731 4684306311204519
--R [----------------, ----------------, ----------------, -----------------,
--R 1125899906842624 4503599627370496 4503599627370496 18014398509481984
--R 1443042367253791 6200998873220695 1474646495761937
--R -----------------, ------------------, ------------------,
--R 18014398509481984 288230376151711744 288230376151711744
--R 628879977768847 3887495106947067 2744805063892545
--R ------------------, --------------------, --------------------,
--R 576460752303423488 18446744073709551616 73786976294838206464
--R 7134895586664201 8588052498725463 1203074959280739
--R ----------------------, ----------------------, ----------------------,
--R 1180591620717411303424 9444732965739290427392 9444732965739290427392
--R 630600546558379 310454723434017
--R -----------------------, ------------------------,
--R 37778931862957161709568 151115727451828646838272
--R 1152630711259091 4047114395779867
--R -------------------------, ---------------------------,
--R 4835703278458516698824704 154742504910672534362390528
--R 6738995541010677 2667760816334997
--R ----------------------------, ----------------------------,
--R 2475880078570760549798248448 9903520314283042199192993792
--R 4026725323007515 2903085184863383
--R ------------------------------, -------------------------------,
--R 158456325028528675187087900672 1267650600228229401496703205376
--R 2003360263894599 5302712842343357
--R --------------------------------, ---------------------------------,
--R 10141204801825835211973625643008 324518553658426726783156020576256
--R 6740823781587191 4121681768951667
--R ----------------------------------, -----------------------------------,
--R 5192296858534827628530496329220096 41538374868278621028243970633760768
--R 606979735936071 344913186881627
--R -----------------------------------, ------------------------------------,
--R 83076749736557242056487941267521536 664613997892457936451903530140172288
--R 6057722781243673
--R ---------------------------------------,
--R 170141183460469231731687303715884105728
--R 3214959807746755
--R ----------------------------------------,
--R 1361129467683753853853498429727072845824
--R 6606760266692207
--R -----------------------------------------,
--R 43556142965880123323311949751266331066368
--R 6578085462557879
--R ------------------------------------------,
--R 696898287454081973172991196020261297061888
--R 6352621007126915
--R --------------------------------------------,
--R 11150372599265311570767859136324180752990208
--R 2977893104846093
--R --------------------------------------------,
--R 89202980794122492566142873090593446023921664
--R 2712664091488837
--R ----------------------------------------------]
--R 1427247692705959881058285969449495136382746624
--R Type: List(Fraction(Integer))
--E 6
--S 7 of 20
t3:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[-4.0,0.491822344607818096479962798267,_
Ei3(-4.0),Ei3(-4.0)-0.491822344607818096479962798267],_
[-3.5,0.524842506644128356918258753311,_
Ei3(-3.5),Ei3(-3.5)-0.524842506644128356918258753311],_
[-3.0,0.562958778221279863138086024270,_
Ei3(-3.0),Ei3(-3.0)-0.562958778221279863138086024270],_
[-2.5,0.607368525858383064514266925640,_
Ei3(-2.5),Ei3(-2.5)-0.607368525858383064514266925640],_
[-2.0,0.659631678084769644795492023380,_
Ei3(-2.0),Ei3(-2.0)-0.659631678084769644795492023380],_
[-1.5,0.721800236944219929657623030310,_
Ei3(-1.5),Ei3(-1.5)-0.721800236944219929657623030310],_
[-1.0,0.796599599297053134283675865540,_
Ei3(-1.0),Ei3(-1.0)-0.796599599297053134283675865540],_
[-0.5,0.887684158235496725872151815870,_
Ei3(-0.5),Ei3(-0.5)-0.887684158235496725872151815870],_
[0.0,1.00000000000000000000000000000,_
Ei3(0.0),Ei3(0.0)-1.00000000000000000000000000000],_
[0.5,1.14030284104317205746248768807,_
Ei3(0.5),Ei3(0.5)-1.14030284104317205746248768807],_
[1.0,1.31790215145440389486000884424,_
Ei3(1.0),Ei3(1.0)-1.31790215145440389486000884424],_
[1.5,1.54573645074673373024859074039,_
Ei3(1.5),Ei3(1.5)-1.54573645074673373024859074039],_
[2.0,1.84193575527020599667788045934,_
Ei3(2.0),Ei3(2.0)-1.84193575527020599667788045934],_
[2.5,2.23210379912116511445340506423,_
Ei3(2.5),Ei3(2.5)-2.23210379912116511445340506423],_
[3.0,2.75266820568525800200219289740,_
Ei3(3.0),Ei3(3.0)-2.75266820568525800200219289740],_
[3.5,3.45582153193012412437300898811,_
Ei3(3.5),Ei3(3.5)-3.45582153193012412437300898811],_
[4.0,4.41684111100869913580118598668,_
Ei3(4.0),Ei3(4.0)-4.41684111100869913580118598668]]]
--R
--R
--R (8)
--R 8859883711633013 4429941855816507 1
--R [[- 4,-----------------,----------------,-----------------],
--R 18014398509481984 9007199254740992 18014398509481984
--R 7 4727361034701387 4727361034701387
--R [- -,----------------,----------------,0],
--R 2 9007199254740992 9007199254740992
--R 5070681887644611 2535340943822307 3
--R [- 3,----------------,----------------,----------------],
--R 9007199254740992 4503599627370496 9007199254740992
--R 5 2735344666732381 2735344666732383 1
--R [- -,----------------,----------------,----------------],
--R 2 4503599627370496 4503599627370496 2251799813685248
--R 5941433959248687 5941433959248689 1
--R [- 2,----------------,----------------,----------------],
--R 9007199254740992 9007199254740992 4503599627370496
--R 3 6501398556275849 6501398556275853 1
--R [- -,----------------,----------------,----------------],
--R 2 9007199254740992 9007199254740992 2251799813685248
--R 3587565658557695 7175131317115389 1
--R [- 1,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992
--R 1 3997774044252075 3997774044252077 1
--R [- -,----------------,----------------,----------------], [0,1,1,0],
--R 2 4503599627370496 4503599627370496 2251799813685248
--R 1 1283866862502887 5135467450011545 3
--R [-,----------------,----------------,- ----------------],
--R 2 1125899906842624 4503599627370496 4503599627370496
--R 1483825909550207 2967651819100413 1
--R [1,----------------,----------------,- ----------------],
--R 1125899906842624 2251799813685248 2251799813685248
--R 3 6961378103595983 3480689051797991 1
--R [-,----------------,----------------,- ----------------],
--R 2 4503599627370496 2251799813685248 4503599627370496
--R 2073835295268823 4147670590537649 3
--R [2,----------------,----------------,----------------],
--R 1125899906842624 2251799813685248 2251799813685248
--R 5 2513125459493587 5026250918987173 1
--R [-,----------------,----------------,- ----------------],
--R 2 1125899906842624 2251799813685248 2251799813685248
--R 3099228876349685 6198457752699371 1
--R [3,----------------,----------------,----------------],
--R 1125899906842624 2251799813685248 2251799813685248
--R 7 3890909140864861 7781818281729721 1
--R [-,----------------,----------------,- ----------------],
--R 2 1125899906842624 2251799813685248 2251799813685248
--R 2486460497711683 621615124427921 1
--R [4,----------------,---------------,---------------]]
--R 562949953421312 140737488355328 562949953421312
--R Type: List(List(Fraction(Integer)))
--E 7
--S 8 of 20
dChebyshev:List Fraction Integer:=[machineFraction (x::DFLOAT) for x in _
[_
0.245513353878129528673420457043E1,_
-0.162438379130376524396002276856E0,_
0.449575308093572641480785417193E-01,_
-0.674157867998922998848718835050E-02,_
-0.130669714280329428051599341387E-02,_
0.138108314600072576020202089820E-02,_
-0.585022879015965798687368242394E-03,_
0.174929934107891970038740976432E-03,_
-0.404728149905293035522869333800E-04,_
0.721710241217099750035752600049E-05,_
-0.861277697019867752414815450193E-06,_
-0.251447529653225597779084739054E-09,_ -- E-06? or wrong place?
0.379474713820149510814074505574E-07,_
-0.144211796952119806160265640172E-07,_
0.393504929597610131087190848042E-08,_
-0.928468940106331753047289210353E-09,_
0.203178956800654613366090995698E-09,_
-0.429249850499236831427918026902E-10,_
0.899264717778123935268001544182E-11,_
-0.190086911841210975242396635722E-11,_
0.409219891222373834526121178338E-12,_
-0.899925343729319019825435824585E-13,_
0.201965467082426383354948543451E-13,_
-0.461293026138308207194950531726E-14,_
0.106902307293863695668857256409E-14,_
-0.250703007057007295692572254042E-15,_
0.593732250379155160706073763509E-16,_
-0.141773458243766252344732005648E-16,_
0.340920375436080893426806402093E-17,_
-0.824829026950549379288702529656E-18,_
0.200636971262144231398824095937E-18,_
-0.490385166796742224403498152027E-19,_
0.120373448234833217166664609324E-19,_
-0.296628244714136825381453572575E-20,_
0.733551238428807599242142328436E-21,_
-0.181992414290851127344263485604E-21,_
0.452862937429576060217359526404E-22,_
-0.112998004375060961338906717853E-22,_
0.282668125129011656923764408445E-23,_
-0.708771797716904961666732640699E-24,_
0.178110452401870951534401530034E-24,_
-0.448500407661896357312006142358E-25,_
0.113154029257547662245053090840E-25,_
-0.285995789977932163790414326136E-26,_
0.724077580692267361758172726753E-27,_
-0.183613223412577898050666710105E-27,_
0.466312873522730486582600122073E-28,_
-0.118595958891902887946724005478E-28,_
0.302029059055671310731137614875E-29,_
-0.770165054816636606098827057102E-30]]
--R
--R
--R (9)
--R 1382117311300031 731557423722231 3239531504008303
--R [----------------, - ----------------, -----------------,
--R 562949953421312 4503599627370496 72057594037927936
--R 242890969848707 753259617973121 3184560917348629
--R - -----------------, - ------------------, -------------------,
--R 36028797018963968 576460752303423488 2305843009213693952
--R 5395883663236133 6453775450638317 1493183320145779
--R - -------------------, --------------------, - --------------------,
--R 9223372036854775808 36893488147419103232 36893488147419103232
--R 532528164604281 8134537857699561
--R --------------------, - ----------------------,
--R 73786976294838206464 9444732965739290427392
--R 607962821752199 2867229871425319
--R - -------------------------, -----------------------,
--R 2417851639229258349412352 75557863725914323419136
--R 8717068241421995 2378591347680939
--R - ------------------------, ------------------------,
--R 604462909807314587353088 604462909807314587353088
--R 4489800297619093 3930052590058827
--R - -------------------------, --------------------------,
--R 4835703278458516698824704 19342813113834066795298816
--R 830289963734795 1391544750067759
--R - --------------------------, ---------------------------,
--R 19342813113834066795298816 154742504910672534362390528
--R 2353161991123453 1013179376432369
--R - ----------------------------, ----------------------------,
--R 1237940039285380274899124224 2475880078570760549798248448
--R 445621446148073 800067642413789
--R - ----------------------------, -----------------------------,
--R 4951760157141521099596496896 39614081257132168796771975168
--R 1461895953663307 2710295480136979
--R - ------------------------------, -------------------------------,
--R 316912650057057350374175801344 2535301200456458802993406410752
--R 2542430538998699 2408464139417579
--R - --------------------------------, --------------------------------,
--R 10141204801825835211973625643008 40564819207303340847894502572032
--R 4600811761642037 69146866968253
--R - ---------------------------------, --------------------------------,
--R 324518553658426726783156020576256 20282409603651670423947251286016
--R 1070689291365919 520883357795187
--R - ----------------------------------, ----------------------------------,
--R 1298074214633706907132624082305024 2596148429267413814265248164610048
--R 4073960577649283
--R - -----------------------------------,
--R 83076749736557242056487941267521536
--R 4000093933572667
--R ------------------------------------,
--R 332306998946228968225951765070086144
--R 3942865672145697
--R - -------------------------------------,
--R 1329227995784915872903807060280344576
--R 7800454739698135
--R --------------------------------------,
--R 10633823966279326983230456482242756608
--R 1935275296767089
--R - --------------------------------------,
--R 10633823966279326983230456482242756608
--R 3852531805982625
--R --------------------------------------,
--R 85070591730234615865843651857942052864
--R 1922561419304415
--R - ---------------------------------------,
--R 170141183460469231731687303715884105728
--R 7694958293760327
--R ----------------------------------------,
--R 2722258935367507707706996859454145691648
--R 241182544933917
--R - ---------------------------------------,
--R 340282366920938463463374607431768211456
--R 3878902164266739
--R -----------------------------------------,
--R 21778071482940061661655974875633165533184
--R 7813979150550829
--R - ------------------------------------------,
--R 174224571863520493293247799005065324265472
--R 7885684920811405
--R ------------------------------------------,
--R 696898287454081973172991196020261297061888
--R 3986199525093965
--R - -------------------------------------------,
--R 1393796574908163946345982392040522594123776
--R 31538026623021
--R -----------------------------------------,
--R 43556142965880123323311949751266331066368
--R 4094711710404777
--R - --------------------------------------------,
--R 22300745198530623141535718272648361505980416
--R 1039912457522505
--R --------------------------------------------,
--R 22300745198530623141535718272648361505980416
--R 2115822608658991
--R - ---------------------------------------------,
--R 178405961588244985132285746181186892047843328
--R 2155351388336795
--R ---------------------------------------------,
--R 713623846352979940529142984724747568191373312
--R 8793730379918429
--R - -----------------------------------------------]
--R 11417981541647679048466287755595961091061972992
--R Type: List(Fraction(Integer))
--E 8
--S 9 of 20
t4:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[4.0,1.43820803145448278470968670330,_
Ei4(4.0),Ei4(4.0)-1.43820803145448278470968670330],_
[4.5,1.39641902962974607100674523183,_
Ei4(4.5), Ei4(4.5)-1.39641902962974607100674523183],_
[5.0,1.35383127745528597790189174047,_
Ei4(5.0),Ei4(5.0)-1.35383127745528597790189174047],_
[5.5,1.31414356574211924541219816991,_
Ei4(5.5),Ei4(5.5)-1.31414356574211924541219816991],_
[6.0,1.27888386048956161892314099578,_
Ei4(6.0),Ei4(6.0)-1.27888386048956161892314099578],_
[6.5,1.24839115500170148640741941387,_
Ei4(6.5),Ei4(6.5)-1.24839115500170148640741941387],_
[7.0,1.22240805236053105903656846622,_
Ei4(7.0),Ei4(7.0)-1.22240805236053105903656846622],_
[7.5,1.20042149959963078643879158950,_
Ei4(7.5),Ei4(7.5)-1.20042149959963078643879158950],_
[8.0,1.18184798698720797317739362644,_
Ei4(8.0),Ei4(8.0)-1.18184798698720797317739362644],_
[8.5,1.16612652581174849439918142965,_
Ei4(8.5),Ei4(8.5)-1.16612652581174849439918142965],_
[9.0,1.15275920870892481322396814952,_
Ei4(9.0),Ei4(9.0)-1.15275920870892481322396814952],_
[9.5,1.14132347595262420155338560641,_
Ei4(9.5),Ei4(9.5)-1.14132347595262420155338560641],_
[10.0,1.13147020473410778034051681355,_
Ei4(10.0),Ei4(10.0)-1.13147020473410778034051681355],_
[10.5,1.12291557001776060642888630755,_
Ei4(10.5),Ei4(10.5)-1.12291557001776060642888630755],_
[11.0,1.11543093899803844164779434229,_
Ei4(11.0),Ei4(11.0)-1.11543093899803844164779434229],_
[11.5,1.10883292630507730586855234934,_
Ei4(11.5),Ei4(11.5)-1.10883292630507730586855234934],_
[12.0,1.10297454490675907267241234953,_
Ei4(12.0),Ei4(12.0)-1.10297454490675907267241234953]]]
--R
--R
--R (10)
--R 6477113154539663 6477113154539663
--R [[4,----------------,----------------,0],
--R 4503599627370496 4503599627370496
--R 9 3144456110746797 1572228055373399 1
--R [-,----------------,----------------,----------------],
--R 2 2251799813685248 1125899906842624 2251799813685248
--R 1524278509167537 6097114036670147 1
--R [5,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 4503599627370496
--R 11 5918376472987543 5918376472987543
--R [--,----------------,----------------,0],
--R 2 4503599627370496 4503599627370496
--R 5759580877550931 1439895219387733 1
--R [6,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 4503599627370496
--R 13 2811126970239143 1405563485119571 1
--R [--,----------------,----------------,- ----------------],
--R 2 2251799813685248 1125899906842624 2251799813685248
--R 5505236449105581 5505236449105581
--R [7,----------------,----------------,0],
--R 4503599627370496 4503599627370496
--R 15 5406217818284429 1351554454571107 1
--R [--,----------------,----------------,- ----------------],
--R 2 4503599627370496 1125899906842624 4503599627370496
--R 41582579326595 5322570153804161 1
--R [8,--------------,----------------,----------------],
--R 35184372088832 4503599627370496 4503599627370496
--R 17 2625883493556321 2625883493556319 1
--R [--,----------------,----------------,- ----------------],
--R 2 2251799813685248 2251799813685248 1125899906842624
--R 2595782971394711 5191565942789423 1
--R [9,----------------,----------------,----------------],
--R 2251799813685248 4503599627370496 4503599627370496
--R 19 2570031990504719 5140063981009435 3
--R [--,----------------,----------------,- ----------------],
--R 2 2251799813685248 4503599627370496 4503599627370496
--R 2547844396210673 5095688792421347 1
--R [10,----------------,----------------,----------------],
--R 2251799813685248 4503599627370496 4503599627370496
--R 21 2528581071350257 2528581071350257
--R [--,----------------,----------------,0],
--R 2 2251799813685248 2251799813685248
--R 156982948788409 5023454361229091 3
--R [11,---------------,----------------,----------------],
--R 140737488355328 4503599627370496 4503599627370496
--R 23 2496869776861841 2496869776861841
--R [--,----------------,----------------,0],
--R 2 2251799813685248 2251799813685248
--R 2483677874720611 4967355749441223 1
--R [12,----------------,----------------,----------------]]
--R 2251799813685248 4503599627370496 4503599627370496
--R Type: List(List(Fraction(Integer)))
--E 9
--S 10 of 20
eChebyshev:List Fraction Integer:=[machineFraction (x::DFLOAT) for x in _
[_
0.211702864043698668329789991614E1,_
-0.320423727375485794990618303177E-01,_
0.889173207735316835890182400335E-02,_
-0.250795280518929937088352442063E-02,_
0.720278946595987548875760902487E-03,_
-0.210349005850113053423531441256E-03,_
0.620573231827693216588857730842E-04,_
-0.182656674981670265449155689733E-04,_
0.527065157528936375807788296811E-05,_ --? 7560 or 7580?
-0.145966654761994575323066719367E-05,_
0.378171997358963671980484193981E-06,_
-0.884258128284071920077971589012E-07,_
0.174174919853839361377350309156E-07,_
-0.231351774704369063506474480152E-08,_
-0.122860981918086238832104835230E-09,_
0.234996623632286370478311381926E-09,_
-0.110071940102726287690738963049E-09,_
0.384827515786120711149705563369E-10,_
-0.114844096749001589658439301603E-10,_
0.305687629308852082630893626200E-11,_
-0.738827872928473566454163131431E-12,_
0.163093309416594110564148013749E-12,_
-0.327698937331271249657111774748E-13,_
0.589811434707131961711164283918E-14,_
-0.909970763595649204643554720718E-15,_
0.104075238266955386585405697541E-15,_
-0.180981542605922793227163355935E-17,_
-0.377709884256394773369593494417E-17,_
0.158033290102847957136759888420E-17,_
-0.468429175880882730648433752957E-18,_
0.119951685259198093707533478542E-18,_
-0.282359474984186517679349931117E-19,_
0.629373806564463522627520190349E-20,_
-0.135241024950479756305343973177E-20,_
0.283710605385529141590980426210E-21,_
-0.586700742024638323531936371015E-22,_
0.120524763609547311112449686917E-22,_
-0.247444661699884869728416011246E-23,_
0.509996258583785008142986465688E-24,_
-0.105838257877542240887093294733E-24,_
0.221527624507048278566429387155E-25,_
-0.467927875475696258671852546231E-26,_
0.997287299060207704824269828079E-27,_
-0.214326794521678804591907805844E-27,_
0.464065690883818114338414829515E-28,_
-0.101144734921151390948461800780E-28,_
0.221721152271007711093046878345E-29,_
-0.488489046924378553224914645512E-30]]
--R
--R
--R (11)
--R 1191781174525585 2308896286734245 2562867281295745
--R [----------------, - -----------------, ------------------,
--R 562949953421312 72057594037927936 288230376151711744
--R 1445736360820905 3321700347384323 7760508554152537
--R - ------------------, -------------------, - --------------------,
--R 576460752303423488 4611686018427387904 36893488147419103232
--R 4579022234608113 1347768374696647 3111243542753823
--R --------------------, - --------------------, ---------------------,
--R 73786976294838206464 73786976294838206464 590295810358705651712
--R 430817523790405 892933382543919 3340632757770999
--R - ---------------------, ----------------------, - -----------------------,
--R 295147905179352825856 2361183241434822606848 37778931862957161709568
--R 5264113943515377 349608917317223
--R ------------------------, - ------------------------,
--R 302231454903657293676544 151115727451828646838272
--R 2376477012223689 4545495773301317
--R - --------------------------, --------------------------,
--R 19342813113834066795298816 19342813113834066795298816
--R 8516403865936687 2977458687564785
--R - --------------------------, --------------------------,
--R 77371252455336267181195264 77371252455336267181195264
--R 1777126320514413 3784229558356551
--R - ---------------------------, ----------------------------,
--R 154742504910672534362390528 1237940039285380274899124224
--R 1829249212076417 3230395805861779
--R - ----------------------------, -----------------------------,
--R 2475880078570760549798248448 19807040628566084398385987584
--R 324537308282921 3738374096139845
--R - ----------------------------, ------------------------------,
--R 9903520314283042199192993792 633825300114114700748351602688
--R 4614099938648659 8443586448512127
--R - -------------------------------, --------------------------------,
--R 5070602400912917605986812821504 81129638414606681695789005144064
--R 4698549475627599 4902954613655079
--R - ----------------------------------, - ----------------------------------,
--R 2596148429267413814265248164610048 1298074214633706907132624082305024
--R 8205557557449405 1216111669186183
--R ----------------------------------, - ----------------------------------,
--R 5192296858534827628530496329220096 2596148429267413814265248164610048
--R 4982598068378341
--R -----------------------------------,
--R 41538374868278621028243970633760768
--R 4691501487801391
--R - ------------------------------------,
--R 166153499473114484112975882535043072
--R 2091453208748013
--R ------------------------------------,
--R 332306998946228968225951765070086144
--R 112353847839265
--R - -----------------------------------,
--R 83076749736557242056487941267521536
--R 94279019844883
--R ------------------------------------,
--R 332306998946228968225951765070086144
--R 2495548964630185
--R - --------------------------------------,
--R 42535295865117307932921825928971026432
--R 4101245183364335
--R ---------------------------------------,
--R 340282366920938463463374607431768211456
--R 842010551651877
--R - ---------------------------------------,
--R 340282366920938463463374607431768211456
--R 2776683743867413
--R ----------------------------------------,
--R 5444517870735015415413993718908291383296
--R 2304953145686959
--R - -----------------------------------------,
--R 21778071482940061661655974875633165533184
--R 7719111107136643
--R ------------------------------------------,
--R 348449143727040986586495598010130648530944
--R 815245337677599
--R - ------------------------------------------,
--R 174224571863520493293247799005065324265472
--R 5560062486518125
--R -------------------------------------------,
--R 5575186299632655785383929568162090376495104
--R 1194911808461447
--R - -------------------------------------------,
--R 5575186299632655785383929568162090376495104
--R 4139604291112041
--R --------------------------------------------,
--R 89202980794122492566142873090593446023921664
--R 3608964738639231
--R - ---------------------------------------------,
--R 356811923176489970264571492362373784095686656
--R 6329020060058051
--R ----------------------------------------------,
--R 2854495385411919762116571938898990272765493248
--R 2788779460539811
--R - ----------------------------------------------]
--R 5708990770823839524233143877797980545530986496
--R Type: List(Fraction(Integer))
--E 10
--S 11 of 20
t5:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[12.00,1.10297454490675907267241234952,_
Ei5(12.00),Ei5(12.00)-1.10297454490675907267241234952],_
[13.25,1.09084489821547569266468614954,_
Ei5(13.25),Ei5(13.25)-1.09084489821547569266468614954],_
[14.50,1.08135139573519128506346643795,_
Ei5(14.50),Ei5(14.50)-1.08135139573519128506346643795],_
[15.75,1.07370138419975723712157900374,_
Ei5(15.75),Ei5(15.75)-1.07370138419975723712157900374],_
[17.00,1.06739369195853783129572196197,_
Ei5(17.00),Ei5(17.00)-1.06739369195853783129572196197],_
[18.25,1.06209660862215024268372647556,_
Ei5(18.25),Ei5(18.25)-1.06209660862215024268372647556],_
[19.50,1.05758134215872503195393949410,_
Ei5(19.50),Ei5(19.50)-1.05758134215872503195393949410],_
[20.75,1.05368445128940944082102194964,_
Ei5(20.75),Ei5(20.75)-1.05368445128940944082102194964],_
[22.00,1.05028571968518979411780664532,_
Ei5(22.00),Ei5(22.00)-1.05028571968518979411780664532],_
[23.25,1.04729455170532485811492365591,_
Ei5(23.25),Ei5(23.25)-1.04729455170532485811492365591],_
[24.50,1.04464126790464363689761075289,_
Ei5(24.50),Ei5(24.50)-1.04464126790464363689761075289],_
[25.75,1.04227133720232023885710928048,_
Ei5(25.75),Ei5(25.75)-1.04227133720232023885710928048],_
[27.00,1.04014143832301043813713899754,_
Ei5(27.00),Ei5(27.00)-1.04014143832301043813713899754],_
[28.25,1.03821670036014587680056548394,_
Ei5(28.25),Ei5(28.25)-1.03821670036014587680056548394],_
[29.50,1.03646872629241184575154685419,_
Ei5(29.50),Ei5(29.50)-1.03646872629241184575154685419],_
[30.75,1.03487414989647969472990938990,_
Ei5(30.75),Ei5(30.75)-1.03487414989647969472990938990],_
[32.00,1.03341356421624104943493552567,_
Ei5(32.00),Ei5(32.00)-1.03341356421624104943493552567]]]
--R
--R
--R (12)
--R 2483677874720611 1241838937360305 1
--R [[12,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 2251799813685248
--R 53 2456364338561111 1228182169280555 1
--R [--,----------------,----------------,- ----------------],
--R 4 2251799813685248 1125899906842624 2251799813685248
--R 29 4869973742889573 2434986871444787 1
--R [--,----------------,----------------,----------------],
--R 2 4503599627370496 2251799813685248 4503599627370496
--R 63 1208880288447303 4835521153789213 1
--R [--,----------------,----------------,----------------],
--R 4 1125899906842624 4503599627370496 4503599627370496
--R 600889229170261 1201778458340523 1
--R [17,---------------,----------------,----------------],
--R 562949953421312 1125899906842624 1125899906842624
--R 73 4783257890822183 4783257890822183
--R [--,----------------,----------------,0],
--R 4 4503599627370496 4503599627370496
--R 39 4762922938460023 595365367307503 1
--R [--,----------------,---------------,----------------],
--R 2 4503599627370496 562949953421312 4503599627370496
--R 83 2372686451096535 2372686451096535
--R [--,----------------,----------------,0],
--R 4 2251799813685248 2251799813685248
--R 2365033187903387 2365033187903387
--R [22,----------------,----------------,0],
--R 2251799813685248 2251799813685248
--R 93 1179148838201813 2358297676403625 1
--R [--,----------------,----------------,- ----------------],
--R 4 1125899906842624 2251799813685248 2251799813685248
--R 49 1176161506217799 1176161506217799
--R [--,----------------,----------------,0],
--R 2 1125899906842624 1125899906842624
--R 103 2346986402921659 4693972805843317 1
--R [---,----------------,----------------,- ----------------],
--R 4 2251799813685248 4503599627370496 4503599627370496
--R 2342190297022061 585547574255515 1
--R [27,----------------,---------------,- ----------------],
--R 2251799813685248 562949953421312 2251799813685248
--R 113 2337856172435889 4675712344871779 1
--R [---,----------------,----------------,----------------],
--R 4 2251799813685248 4503599627370496 4503599627370496
--R 59 2333920084755839 1166960042377919 1
--R [--,----------------,----------------,- ----------------],
--R 2 2251799813685248 1125899906842624 2251799813685248
--R 123 582582354481143 582582354481143
--R [---,---------------,---------------,0],
--R 4 562949953421312 562949953421312
--R 4654080942723879 581760117840485 1
--R [32,----------------,---------------,----------------]]
--R 4503599627370496 562949953421312 4503599627370496
--R Type: List(List(Fraction(Integer)))
--E 11
--S 12 of 20
fChebyshev:List Fraction Integer:=[machineFraction (x::DFLOAT) for x in _
[_
0.203284394579616699087873844202E1,_
0.166992045203136285147618434339E-01,_
0.284528472436134680742489985325E-03,_
0.756394435851620648948786693854E-05,_
0.279897128945085915750484318090E-06,_
0.135790182853453106952556392593E-07,_
0.834359620204046925585610289412E-09,_
0.637097172764024843827524337306E-10,_
0.600724760881186123576083084850E-11,_
0.702287617467977359075059216588E-12,_
0.101830267370368769309667322152E-12,_
0.176181290343088004040656741554E-13,_
0.325082861423536069424072007647E-14,_
0.507177002550581867881479300685E-15,_
0.166517738704329429853520036957E-16,_
-0.316675389079751440072410018963E-16,_
-0.158840376366414151548423134074E-16,_
-0.417551325613801883089626455063E-17,_
-0.289234774970714188202868862358E-18,_
0.280062590339660807289978777339E-18,_
0.132293863953927089140532005364E-18,_
0.180444744417730199585334811191E-19,_
-0.790538408652261656202021080364E-20,_
-0.443571136636957344718167314045E-20,_
-0.426410399497810261760579779746E-21,_
0.392010176693714390725625388636E-21,_
0.152737805134396364472804486402E-21,_
-0.102484952704949060786953149788E-22,_
-0.213490787477108937948904287231E-22,_
-0.323913947516023687614279789345E-23,_
0.214218376229645970296249355934E-23,_
0.823460941961899553169207838151E-24,_
-0.152465282962067210811495038147E-24,_
-0.137820828248824401290438126477E-24,_
0.213131120142873706791513005998E-26,_
0.201264965187132665859213006507E-25,_
0.199553566205637402320607178286E-26,_
-0.279899581220179711426020884464E-26,_
-0.553451183050700250949784942560E-27,_
0.388499542268455253129749000696E-27,_
0.112130440723307012540043264712E-27,_
-0.556656828674459488057823816866E-28,_
-0.204548261246513576288865878722E-28,_
0.845381406448938089437361193598E-29,_
0.356575515120151526590791715785E-29,_
-0.138365242347797751810195772006E-29,_
-0.606214265320934505767865286306E-30]]
--R
--R
--R (13)
--R 4577557618394993 2406609000162181 2624311956356449
--R [----------------, ------------------, -------------------,
--R 2251799813685248 144115188075855872 9223372036854775808
--R 1116241166154621 1321776820381717 4104006452543279
--R ---------------------, ----------------------, ------------------------,
--R 147573952589676412928 4722366482869645213696 302231454903657293676544
--R 8069431101668225 4929300619250635
--R -------------------------, --------------------------,
--R 9671406556917033397649408 77371252455336267181195264
--R 3718306170424781 108673745094743
--R ---------------------------, ---------------------------,
--R 618970019642690137449562112 154742504910672534362390528
--R 4033912486045283 2791703980654993
--R -----------------------------, ------------------------------,
--R 39614081257132168796771975168 158456325028528675187087900672
--R 2060457422037279 2571692926820797
--R ------------------------------, -------------------------------,
--R 633825300114114700748351602688 5070602400912917605986812821504
--R 5403809572280081 5138351962169023
--R ---------------------------------, - ---------------------------------,
--R 324518553658426726783156020576256 162259276829213363391578010288128
--R 2577332460049443 677515761331749
--R - ---------------------------------, - ---------------------------------,
--R 162259276829213363391578010288128 162259276829213363391578010288128
--R 1501792813459467 1454168108013747
--R - ----------------------------------, ----------------------------------,
--R 5192296858534827628530496329220096 5192296858534827628530496329220096
--R 1373818028422819 2998152574653761
--R -----------------------------------, ------------------------------------,
--R 10384593717069655257060992658440192 166153499473114484112975882535043072
--R 1313507230654803
--R - ------------------------------------,
--R 166153499473114484112975882535043072
--R 2948035864699899
--R - ------------------------------------,
--R 664613997892457936451903530140172288
--R 2267186562825279
--R - -------------------------------------,
--R 5316911983139663491615228241121378304
--R 8337134423902027
--R --------------------------------------,
--R 21267647932558653966460912964485513216
--R 3248373865590091
--R --------------------------------------,
--R 21267647932558653966460912964485513216
--R 1743691114011025
--R - ---------------------------------------,
--R 170141183460469231731687303715884105728
--R 7264715047852567
--R - ---------------------------------------,
--R 340282366920938463463374607431768211456
--R 4408888189578287
--R - ----------------------------------------,
--R 1361129467683753853853498429727072845824
--R 2915789444055361
--R ----------------------------------------,
--R 1361129467683753853853498429727072845824
--R 4483347814363851
--R ----------------------------------------,
--R 5444517870735015415413993718908291383296
--R 3320399831014583
--R - -----------------------------------------,
--R 21778071482940061661655974875633165533184
--R 6002943698881805
--R - -----------------------------------------,
--R 43556142965880123323311949751266331066368
--R 5941228505229555
--R -------------------------------------------,
--R 2787593149816327892691964784081045188247552
--R 7013060478170909
--R ------------------------------------------,
--R 348449143727040986586495598010130648530944
--R 2781370770881269
--R -------------------------------------------,
--R 1393796574908163946345982392040522594123776
--R 3901230776229159
--R - -------------------------------------------,
--R 1393796574908163946345982392040522594123776
--R 3085593453259749
--R - -------------------------------------------,
--R 5575186299632655785383929568162090376495104
--R 4331914650937299
--R --------------------------------------------,
--R 11150372599265311570767859136324180752990208
--R 5001184775138823
--R --------------------------------------------,
--R 44601490397061246283071436545296723011960832
--R 2482772419858247
--R - --------------------------------------------,
--R 44601490397061246283071436545296723011960832
--R 912315730972195
--R - --------------------------------------------,
--R 44601490397061246283071436545296723011960832
--R 3016421654526915
--R ---------------------------------------------,
--R 356811923176489970264571492362373784095686656
--R 2544607906153377
--R ---------------------------------------------,
--R 713623846352979940529142984724747568191373312
--R 1974814728915953
--R - ----------------------------------------------,
--R 1427247692705959881058285969449495136382746624
--R 3460871645858969
--R - ----------------------------------------------]
--R 5708990770823839524233143877797980545530986496
--R Type: List(Fraction(Integer))
--E 12
--S 13 of 20
t6:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[32,1.03341356421624104943493552567,_
Ei6(32.0),Ei6(32.0)-1.03341356421624104943493552567],_
[34+2/15,1.03118521236465926355875784663,_
Ei6(34.0+2/15),Ei6(34.0+2/15)-1.03118521236465926355875784663],_
[36+4/7,1.02897740410580800863378435059,_
Ei6(36.0+4/7),Ei6(36.0+4/7)-1.02897740410580800863378435059],_
[39+5/13,1.02678968370902852450984510823,_
Ei6(39.0+5/13),Ei6(39.0+5/13)-1.02678968370902852450984510823],_
[42+2/3,1.02462161468107839101187804247,_
Ei6(42.0+2/3),Ei6(42.0+2/3)-1.02462161468107839101187804247],_
[46+6/11,1.02247277840542059591275364791,_
Ei6(46.0+6/11),Ei6(46.0+6/11)-1.02247277840542059591275364791],_
[51+1/5,1.02034277293078377487217829808,_
Ei6(51.0+1/5),Ei6(51.0+1/5)-1.02034277293078377487217829808],_
[56+8/9,1.01823121188483269682337017143,_
Ei6(56.0+8/9),Ei6(56.0+8/9)-1.01823121188483269682337017143],_
[64,1.01613772349432532170357100831,_
Ei6(64.0),Ei6(64.0)-1.01613772349432532170357100831],_
[73+1/7,1.01406194969697133145942329335,_
Ei6(73.0+1/7),Ei6(73.0+1/7)-1.01406194969697133145942329335],_
[85+1/3,1.01200354533298848201864466702,_
Ei6(85.0+1/3),Ei6(85.0+1/3)-1.01200354533298848201864466702],_
[102+2/5,1.00996217740644975574367545570,_
Ei6(102.0+2/5),Ei6(102.0+2/5)-1.00996217740644975574367545570],_
[128,1.00793752440814018281776821694,_
Ei6(128.0),Ei6(128.0)-1.00793752440814018281776821694],_
[170+2/3,1.00592927569292911294663030932,_
Ei6(170.0+2/3),Ei6(170.0+2/3)-1.00592927569292911294663030932],_
[256,1.00393713090569862788009078297,_
Ei6(256.0),Ei6(256.0)-1.00393713090569862788009078297],_
[512,1.00196079945071192531337468473,_
Ei6(512.0),Ei6(512.0)-1.00196079945071192531337468473]]]
--R
--R
--R (14)
--R 4654080942723879 581760117840485 1
--R [[32,----------------,---------------,----------------],
--R 4503599627370496 562949953421312 4503599627370496
--R 4803839602528529 4644045338155445 4644045338155443 1
--R [----------------,----------------,----------------,- ----------------],
--R 140737488355328 4503599627370496 4503599627370496 2251799813685248
--R 2573485501354569 4634102253703577 4634102253703577
--R [----------------,----------------,----------------,0],
--R 70368744177664 4503599627370496 4503599627370496
--R 1385722962267845 2312124818469925 2312124818469925
--R [----------------,----------------,----------------,0],
--R 35184372088832 2251799813685248 2251799813685248
--R 6004799503160661 1153621380518365 2307242761036731 1
--R [----------------,----------------,----------------,----------------],
--R 140737488355328 1125899906842624 2251799813685248 2251799813685248
--R 3275345183542179 575601002977891 575601002977891
--R [----------------,---------------,---------------,0],
--R 70368744177664 562949953421312 562949953421312
--R 3602879701896397 574401916495157 574401916495157
--R [----------------,---------------,---------------,0],
--R 70368744177664 562949953421312 562949953421312
--R 2001599834386887 4585705706421541 2292852853210771 1
--R [----------------,----------------,----------------,----------------],
--R 35184372088832 4503599627370496 2251799813685248 4503599627370496
--R 1144069368221537 4576277472886147 1
--R [64,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 4503599627370496
--R 2573485501354569 2283464509392939 2283464509392939
--R [----------------,----------------,----------------,0],
--R 35184372088832 2251799813685248 2251799813685248
--R 6004799503160661 1139414697414817 1139414697414817
--R [----------------,----------------,----------------,0],
--R 70368744177664 1125899906842624 1125899906842624
--R 3602879701896397 2274232642912991 1137116321456495 1
--R [----------------,----------------,----------------,- ----------------],
--R 35184372088832 2251799813685248 1125899906842624 2251799813685248
--R 567418382417155 567418382417155
--R [128,---------------,---------------,0],
--R 562949953421312 562949953421312
--R 6004799503160661 1132575677792937 2265151355585873 1
--R [----------------,----------------,----------------,- ----------------],
--R 35184372088832 1125899906842624 2251799813685248 2251799813685248
--R 4521330888650309 4521330888650307 1
--R [256,----------------,----------------,- ----------------],
--R 4503599627370496 4503599627370496 2251799813685248
--R 2256215141523035 4512430283046069 1
--R [512,----------------,----------------,- ----------------]]
--R 2251799813685248 4503599627370496 4503599627370496
--R Type: List(List(Fraction(Integer)))
--E 13
--S 14 of 20
h(x:DFLOAT):DFLOAT==
x=0.0::DFLOAT => 1.0
y:DFLOAT:=retract(Ei(x))
(y-log(x)-gamma)/x
--R
--R Function declaration h : DoubleFloat -> DoubleFloat has been added
--R to workspace.
--R Type: Void
--E 14
--S 15 of 20
t7:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[0.00,1.000000000,h(0.00),h(0.00)-1.000000000],_
[0.01,1.002505566,h(0.01),h(0.01)-1.002505566],_
[0.02,1.005022306,h(0.02),h(0.02)-1.005022306],_
[0.03,1.007550283,h(0.03),h(0.03)-1.007550283],_
[0.04,1.010089560,h(0.04),h(0.04)-1.010089560],_
[0.05,1.012640202,h(0.05),h(0.05)-1.012640202],_
[0.06,1.015202272,h(0.06),h(0.06)-1.015202272],_
[0.07,1.017775836,h(0.07),h(0.07)-1.017775836],_
[0.08,1.020360958,h(0.08),h(0.08)-1.020360958],_
[0.09,1.022957705,h(0.09),h(0.09)-1.022957705],_
[0.10,1.025566141,h(0.10),h(0.10)-1.025566141],_
[0.11,1.028186335,h(0.11),h(0.11)-1.028186335],_
[0.12,1.030818352,h(0.12),h(0.12)-1.030818352],_
[0.13,1.033462259,h(0.13),h(0.13)-1.033462259],_
[0.14,1.036118125,h(0.14),h(0.14)-1.036118125],_
[0.15,1.038786018,h(0.15),h(0.15)-1.038786018],_
[0.16,1.041466006,h(0.16),h(0.16)-1.041466006],_
[0.17,1.044158158,h(0.17),h(0.17)-1.044158158],_
[0.18,1.046862544,h(0.18),h(0.18)-1.046862544],_
[0.19,1.049579234,h(0.19),h(0.19)-1.049579234],_
[0.20,1.052308298,h(0.20),h(0.20)-1.052308298],_
[0.21,1.055049807,h(0.21),h(0.21)-1.055049807],_
[0.22,1.057803833,h(0.22),h(0.22)-1.057803833],_
[0.23,1.060570446,h(0.23),h(0.23)-1.060570446],_
[0.24,1.063349719,h(0.24),h(0.24)-1.063349719],_
[0.25,1.066141726,h(0.25),h(0.25)-1.066141726],_
[0.26,1.068946539,h(0.26),h(0.26)-1.068946539],_
[0.27,1.071764232,h(0.27),h(0.27)-1.071764232],_
[0.28,1.074594879,h(0.28),h(0.28)-1.074594879],_
[0.29,1.077438555,h(0.29),h(0.29)-1.077438555],_
[0.30,1.080295334,h(0.30),h(0.30)-1.080295334],_
[0.31,1.083165293,h(0.31),h(0.31)-1.083165293],_
[0.32,1.086048507,h(0.32),h(0.32)-1.086048507],_
[0.33,1.088945053,h(0.33),h(0.33)-1.088945053],_
[0.34,1.091855008,h(0.34),h(0.34)-1.091855008],_
[0.35,1.094778451,h(0.35),h(0.35)-1.094778451],_
[0.36,1.097715458,h(0.36),h(0.36)-1.097715458],_
[0.37,1.100666108,h(0.37),h(0.37)-1.100666108],_
[0.38,1.103630481,h(0.38),h(0.38)-1.103630481],_
[0.39,1.106608656,h(0.39),h(0.39)-1.106608656],_
[0.40,1.109600714,h(0.40),h(0.40)-1.109600714],_
[0.41,1.112606735,h(0.41),h(0.41)-1.112606735],_
[0.42,1.115626800,h(0.42),h(0.42)-1.115626800],_
[0.43,1.118660991,h(0.43),h(0.43)-1.118660991],_
[0.44,1.121709391,h(0.44),h(0.44)-1.121709391],_
[0.45,1.124772082,h(0.45),h(0.45)-1.124772082],_
[0.46,1.127849147,h(0.46),h(0.46)-1.127849147],_
[0.47,1.130940671,h(0.47),h(0.47)-1.130940671],_
[0.48,1.134046738,h(0.48),h(0.48)-1.134046738],_
[0.49,1.137167432,h(0.49),h(0.49)-1.137167432],_
[0.50,1.140302841,h(0.50),h(0.50)-1.140302841]]]
--R
--R Compiling function h with type DoubleFloat -> DoubleFloat
--R
--R (16)
--R [[0,1,1,0],
--R 2882303761517117 282180230842153 4514883693424401 50047
--R [------------------,---------------,----------------,- ----------------],
--R 288230376151711744 281474976710656 4503599627370496 4503599627370496
--R 2882303761517117 1131554520700159 4526218082003301 797335
--R [------------------,----------------,----------------,- ----------------],
--R 144115188075855872 1125899906842624 4503599627370496 4503599627370496
--R 1080863910568919 2268801539537919 567200384662475 888019
--R [-----------------,----------------,---------------,- ----------------],
--R 36028797018963968 2251799813685248 562949953421312 2251799813685248
--R 2882303761517117 1137259741506707 4549038965333451 693377
--R [-----------------,----------------,----------------,- ----------------],
--R 72057594037927936 1125899906842624 4503599627370496 4503599627370496
--R 3602879701896397 17814554829639 570065754245395 303053
--R [-----------------,--------------,---------------,- ---------------],
--R 72057594037927936 17592186044416 562949953421312 562949953421312
--R 1080863910568919 285754035867805 1143016143225025 246195
--R [-----------------,---------------,----------------,- ----------------],
--R 18014398509481984 281474976710656 1125899906842624 1125899906842624
--R 1261007895663739 4583654875756295 2291827436860257 2035781
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 4503599627370496 2251799813685248 4503599627370496
--R 2882303761517117 2297648615116101 71801519216859 176613
--R [-----------------,----------------,--------------,- ----------------],
--R 36028797018963968 2251799813685248 70368744177664 2251799813685248
--R 3242591731706757 2303495969526889 4606991936721311 2332467
--R [-----------------,----------------,----------------,- ----------------],
--R 36028797018963968 2251799813685248 4503599627370496 4503599627370496
--R 3602879701896397 2309369645225699 1154684822874465 523231
--R [-----------------,----------------,----------------,----------------],
--R 36028797018963968 2251799813685248 1125899906842624 2251799813685248
--R 990791918021509 1157634898793359 4630539593376855 1796581
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 1125899906842624 4503599627370496 4503599627370496
--R 1080863910568919 1160598286488467 580299142932225 624017
--R [----------------,----------------,---------------,- ----------------],
--R 9007199254740992 1125899906842624 562949953421312 1125899906842624
--R 1170935903116329 4654300244533871 4654300244784961 125545
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 4503599627370496 4503599627370496 2251799813685248
--R 1261007895663739 583282650207727 4666261202361021 699205
--R [----------------,---------------,----------------,----------------],
--R 9007199254740992 562949953421312 4503599627370496 4503599627370496
--R 5404319552844595 4678276323582481 4678276323160787 210847
--R [-----------------,----------------,----------------,- ----------------],
--R 36028797018963968 4503599627370496 4503599627370496 2251799813685248
--R 2882303761517117 2345172958270319 1172586479036247 197825
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 2251799813685248 1125899906842624 2251799813685248
--R 3062447746611937 4702470291284663 2351235146137109 989555
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 2251799813685248 4503599627370496
--R 3242591731706757 4714649763066529 4714649764522945 45513
--R [-----------------,----------------,----------------,---------------],
--R 18014398509481984 4503599627370496 4503599627370496 140737488355328
--R 3422735716801577 2363442323569105 2363442323946813 94427
--R [-----------------,----------------,----------------,---------------],
--R 18014398509481984 2251799813685248 2251799813685248 562949953421312
--R 3602879701896397 74049613417995 4739175259430985 679305
--R [-----------------,--------------,----------------,----------------],
--R 18014398509481984 70368744177664 4503599627370496 4503599627370496
--R 7566047373982433 2375760958831257 4751521918236295 573781
--R [-----------------,----------------,----------------,----------------],
--R 36028797018963968 2251799813685248 4503599627370496 4503599627370496
--R 990791918021509 2381962474064941 4763924945481855 2648027
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 4503599627370496 4503599627370496
--R 517913957147607 74631010396965 2388192332212761 490119
--R [----------------,--------------,----------------,- ----------------],
--R 2251799813685248 70368744177664 2251799813685248 2251799813685248
--R 1080863910568919 2394450699126461 299306337526587 1086235
--R [----------------,----------------,---------------,----------------],
--R 4503599627370496 2251799813685248 281474976710656 2251799813685248
--R 1 4801475479937737 300092217559659 1016807
--R [-,----------------,---------------,----------------],
--R 4 4503599627370496 281474976710656 4503599627370496
--R 1170935903116329 4814107234719381 4814107235615927 448273
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 4503599627370496 4503599627370496 2251799813685248
--R 607985949695017 2413398497932113 1206699249039337 146561
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 1261007895663739 4839545096638643 4839545096486573 76035
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 4503599627370496 4503599627370496 2251799813685248
--R 5224175567749775 2426175937406303 4852351872686531 2126075
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 2251799813685248 4503599627370496 4503599627370496
--R 5404319552844595 2432608831826243 4865217663030647 621839
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 2251799813685248 4503599627370496 4503599627370496
--R 5584463537939415 2439071404967727 2439071403999137 484295
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 2251799813685248 2251799813685248 1125899906842624
--R 2882303761517117 1222781912857871 4891127650290243 1141241
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 1125899906842624 4503599627370496 4503599627370496
--R 2972375754064527 4904172534917745 2452086267422267 73211
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 2251799813685248 4503599627370496
--R 3062447746611937 2458638903585705 1229319452213021 840337
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 1125899906842624 2251799813685248
--R 3152519739159347 308152738998553 154076369430395 137763
--R [----------------,---------------,---------------,- ---------------],
--R 9007199254740992 281474976710656 140737488355328 281474976710656
--R 3242591731706757 4943670927607633 4943670925350831 1128401
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 4503599627370496 2251799813685248
--R 3332663724254167 2478479736924067 619619934204035 107927
--R [----------------,----------------,---------------,- ----------------],
--R 9007199254740992 2251799813685248 562949953421312 2251799813685248
--R 3422735716801577 4970309822986321 155322181968121 6449
--R [----------------,----------------,---------------,- ----------------],
--R 9007199254740992 4503599627370496 140737488355328 4503599627370496
--R 3512807709348987 4983722330806565 4983722332090141 160447
--R [----------------,----------------,----------------,---------------],
--R 9007199254740992 4503599627370496 4503599627370496 562949953421312
--R 3602879701896397 1249299340525109 2498598681004885 45333
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 1125899906842624 2251799813685248 2251799813685248
--R 7385903388887613 78292738705561 2505367638076105 501847
--R [-----------------,--------------,----------------,- ----------------],
--R 18014398509481984 70368744177664 2251799813685248 2251799813685248
--R 7566047373982433 2512168220382269 5024336440314457 450081
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 2251799813685248 4503599627370496 4503599627370496
--R 7746191359077253 2519000611110755 5038001222693891 472381
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 2251799813685248 4503599627370496 4503599627370496
--R 990791918021509 2525864997662793 5051729993905321 1420265
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 2251799813685248 4503599627370496 4503599627370496
--R 2026619832316723 158297597792873 79148798859345 74183
--R [----------------,---------------,--------------,- ---------------],
--R 4503599627370496 140737488355328 70368744177664 140737488355328
--R 517913957147607 1269845249539833 1269845249368325 42877
--R [----------------,----------------,----------------,- ---------------],
--R 1125899906842624 1125899906842624 1125899906842624 281474976710656
--R 2116691824864133 2546651992246869 1273325995825323 596223
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 1125899906842624 2251799813685248
--R 1080863910568919 2553646233338763 5107292464939075 1738451
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 2251799813685248 4503599627370496 4503599627370496
--R 2206763817411543 640168352876633 1280336706336999 583733
--R [----------------,---------------,----------------,----------------],
--R 4503599627370496 562949953421312 1125899906842624 1125899906842624
--R 1 2567733724908559 641933431251443 97213
--R [-,----------------,---------------,----------------]]
--R 2 2251799813685248 562949953421312 2251799813685248
--R Type: List(List(Fraction(Integer)))
--E 15
--S 16 of 20
t8:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[0.50,0.454219905,Ei(0.50),Ei(0.50)-0.454219905],_
[0.51,0.487032167,Ei(0.51),Ei(0.51)-0.487032167],_
[0.52,0.519530633,Ei(0.52),Ei(0.52)-0.519530633],_
[0.53,0.551730445,Ei(0.53),Ei(0.53)-0.551730445],_
[0.54,0.583645931,Ei(0.54),Ei(0.54)-0.583645931],_
[0.55,0.615290657,Ei(0.55),Ei(0.55)-0.615290657],_
[0.56,0.646677490,Ei(0.56),Ei(0.56)-0.646677490],_
[0.57,0.677818642,Ei(0.57),Ei(0.57)-0.677818642],_
[0.58,0.708725720,Ei(0.58),Ei(0.58)-0.708725720],_
[0.59,0.739409764,Ei(0.59),Ei(0.59)-0.739409764],_
[0.60,0.769881290,Ei(0.60),Ei(0.60)-0.769881290],_
[0.61,0.800150320,Ei(0.61),Ei(0.61)-0.800150320],_
[0.62,0.830226417,Ei(0.62),Ei(0.62)-0.830226417],_
[0.63,0.860118716,Ei(0.63),Ei(0.63)-0.860118716],_
[0.64,0.889835949,Ei(0.64),Ei(0.64)-0.889835949],_
[0.65,0.919386468,Ei(0.65),Ei(0.65)-0.919386468],_
[0.66,0.948778277,Ei(0.66),Ei(0.66)-0.948778277],_
[0.67,0.978019042,Ei(0.67),Ei(0.67)-0.978019042],_
[0.68,1.007116121,Ei(0.68),Ei(0.68)-1.007116121],_
[0.69,1.036076576,Ei(0.69),Ei(0.69)-1.036076576],_
[0.70,1.064907195,Ei(0.70),Ei(0.70)-1.064907195],_
[0.71,1.093614501,Ei(0.71),Ei(0.71)-1.093614501],_
[0.72,1.122204777,Ei(0.72),Ei(0.72)-1.122204777],_
[0.73,1.150684069,Ei(0.73),Ei(0.73)-1.150684069],_
[0.74,1.179058208,Ei(0.74),Ei(0.74)-1.179058208],_
[0.75,1.207332816,Ei(0.75),Ei(0.75)-1.207332816],_
[0.76,1.235513319,Ei(0.76),Ei(0.76)-1.235513319],_
[0.77,1.263604960,Ei(0.77),Ei(0.77)-1.263604960],_
[0.78,1.291612805,Ei(0.78),Ei(0.78)-1.291612805],_
[0.79,1.319541753,Ei(0.79),Ei(0.79)-1.319541753],_
[0.80,1.347396548,Ei(0.80),Ei(0.80)-1.347396548],_
[0.81,1.375181783,Ei(0.81),Ei(0.81)-1.375181783],_
[0.82,1.402901910,Ei(0.82),Ei(0.82)-1.402901910],_
[0.83,1.430561245,Ei(0.83),Ei(0.83)-1.430561245],_
[0.84,1.458163978,Ei(0.84),Ei(0.84)-1.458163978],_
[0.85,1.485714176,Ei(0.85),Ei(0.85)-1.485714176],_
[0.86,1.513215791,Ei(0.86),Ei(0.86)-1.513215791],_
[0.87,1.540672664,Ei(0.87),Ei(0.87)-1.540672664],_
[0.88,1.568088534,Ei(0.88),Ei(0.88)-1.568088534],_
[0.89,1.595467036,Ei(0.89),Ei(0.89)-1.595467036],_
[0.90,1.622811714,Ei(0.90),Ei(0.90)-1.622811714],_
[0.91,1.650126019,Ei(0.91),Ei(0.91)-1.650126019],_
[0.92,1.677413317,Ei(0.92),Ei(0.92)-1.677413317],_
[0.93,1.704676891,Ei(0.93),Ei(0.93)-1.704676891],_
[0.94,1.731919946,Ei(0.94),Ei(0.94)-1.731919946],_
[0.95,1.759145612,Ei(0.95),Ei(0.95)-1.759145612],_
[0.96,1.786356947,Ei(0.96),Ei(0.96)-1.786356947],_
[0.97,1.813556941,Ei(0.97),Ei(0.97)-1.813556941],_
[0.98,1.840748519,Ei(0.98),Ei(0.98)-1.840748519],_
[0.99,1.867934543,Ei(0.99),Ei(0.99)-1.867934543],_
[1.00,1.895117816,Ei(1.00),Ei(1.00)-1.895117816],_
[1.01,1.922301085,Ei(1.01),Ei(1.01)-1.922301085],_
[1.02,1.949487042,Ei(1.02),Ei(1.02)-1.949487042],_
[1.03,1.976678325,Ei(1.03),Ei(1.03)-1.976678325],_
[1.04,2.003877525,Ei(1.04),Ei(1.04)-2.003877525],_
[1.05,2.031087184,Ei(1.05),Ei(1.05)-2.031087184],_
[1.06,2.058309800,Ei(1.06),Ei(1.06)-2.058309800],_
[1.07,2.085547825,Ei(1.07),Ei(1.07)-2.085547825],_
[1.08,2.112803672,Ei(1.08),Ei(1.08)-2.112803672],_
[1.09,2.140079712,Ei(1.09),Ei(1.09)-2.140079712],_
[1.10,2.167378280,Ei(1.10),Ei(1.10)-2.167378280],_
[1.11,2.194701672,Ei(1.11),Ei(1.11)-2.194701672],_
[1.12,2.222052152,Ei(1.12),Ei(1.12)-2.222052152],_
[1.13,2.249431949,Ei(1.13),Ei(1.13)-2.249431949],_
[1.14,2.276843260,Ei(1.14),Ei(1.14)-2.276843260],_
[1.15,2.304288252,Ei(1.15),Ei(1.15)-2.304288252],_
[1.16,2.331769062,Ei(1.16),Ei(1.16)-2.331769062],_
[1.17,2.359287800,Ei(1.17),Ei(1.17)-2.359287800],_
[1.18,2.386846549,Ei(1.18),Ei(1.18)-2.386846549],_
[1.19,2.414447367,Ei(1.19),Ei(1.19)-2.414447367],_
[1.20,2.442092285,Ei(1.20),Ei(1.20)-2.442092285],_
[1.21,2.469783315,Ei(1.21),Ei(1.21)-2.469783315],_
[1.22,2.497522442,Ei(1.22),Ei(1.22)-2.497522442],_
[1.23,2.525311634,Ei(1.23),Ei(1.23)-2.525311634],_
[1.24,2.553152836,Ei(1.24),Ei(1.24)-2.553152836],_
[1.25,2.581047974,Ei(1.25),Ei(1.25)-2.581047974],_
[1.26,2.608998956,Ei(1.26),Ei(1.26)-2.608998956],_
[1.27,2.637007673,Ei(1.27),Ei(1.27)-2.637007673],_
[1.28,2.665075997,Ei(1.28),Ei(1.28)-2.665075997],_
[1.29,2.693205785,Ei(1.29),Ei(1.29)-2.693205785],_
[1.30,2.721398880,Ei(1.30),Ei(1.30)-2.721398880],_
[1.31,2.749657110,Ei(1.31),Ei(1.31)-2.749657110],_
[1.32,2.777982287,Ei(1.32),Ei(1.32)-2.777982287],_
[1.33,2.806376214,Ei(1.33),Ei(1.33)-2.806376214],_
[1.34,2.834840677,Ei(1.34),Ei(1.34)-2.834840677],_
[1.35,2.863377453,Ei(1.35),Ei(1.35)-2.863377453],_
[1.36,2.891988308,Ei(1.36),Ei(1.36)-2.891988308],_
[1.37,2.920674997,Ei(1.37),Ei(1.37)-2.920674997],_
[1.38,2.949439263,Ei(1.38),Ei(1.38)-2.949439263],_
[1.39,2.978282844,Ei(1.39),Ei(1.39)-2.978282844],_
[1.40,3.007207464,Ei(1.40),Ei(1.40)-3.007207464],_
[1.41,3.036214843,Ei(1.41),Ei(1.41)-3.036214843],_
[1.42,3.065306691,Ei(1.42),Ei(1.42)-3.065306691],_
[1.43,3.094484712,Ei(1.43),Ei(1.43)-3.094484712],_
[1.44,3.123750601,Ei(1.44),Ei(1.44)-3.123750601],_
[1.45,3.153106049,Ei(1.45),Ei(1.45)-3.153106049],_
[1.46,3.182552741,Ei(1.46),Ei(1.46)-3.182552741],_
[1.47,3.212092355,Ei(1.47),Ei(1.47)-3.212092355],_
[1.48,3.241726566,Ei(1.48),Ei(1.48)-3.241726566],_
[1.49,3.271457042,Ei(1.49),Ei(1.49)-3.271457042],_
[1.50,3.301285449,Ei(1.50),Ei(1.50)-3.301285449],_
[1.51,3.331213449,Ei(1.51),Ei(1.51)-3.331213449],_
[1.52,3.361242701,Ei(1.52),Ei(1.52)-3.361242701],_
[1.53,3.391374858,Ei(1.53),Ei(1.53)-3.391374858],_
[1.54,3.421611576,Ei(1.54),Ei(1.54)-3.421611576],_
[1.55,3.451954503,Ei(1.55),Ei(1.55)-3.451954503],_
[1.56,3.482405289,Ei(1.56),Ei(1.56)-3.482405289],_
[1.57,3.512965580,Ei(1.57),Ei(1.57)-3.512965580],_
[1.58,3.543637024,Ei(1.58),Ei(1.58)-3.543637024],_
[1.59,3.574421266,Ei(1.59),Ei(1.59)-3.574421266],_
[1.60,3.605319949,Ei(1.60),Ei(1.60)-3.605319949],_
[1.61,3.636334719,Ei(1.61),Ei(1.61)-3.636334719],_
[1.62,3.667467221,Ei(1.62),Ei(1.62)-3.667467221],_
[1.63,3.698719099,Ei(1.63),Ei(1.63)-3.698719099],_
[1.64,3.730091999,Ei(1.64),Ei(1.64)-3.730091999],_
[1.65,3.761587569,Ei(1.65),Ei(1.65)-3.761587569],_
[1.66,3.793207456,Ei(1.66),Ei(1.66)-3.793207456],_
[1.67,3.824953310,Ei(1.67),Ei(1.67)-3.824953310],_
[1.68,3.856826783,Ei(1.68),Ei(1.68)-3.856826783],_
[1.69,3.888829528,Ei(1.69),Ei(1.69)-3.888829528],_
[1.70,3.920963201,Ei(1.70),Ei(1.70)-3.920963201],_
[1.71,3.953229462,Ei(1.71),Ei(1.71)-3.953229462],_
[1.72,3.985629972,Ei(1.72),Ei(1.72)-3.985629972],_
[1.73,4.018166395,Ei(1.73),Ei(1.73)-4.018166395],_
[1.74,4.050840400,Ei(1.74),Ei(1.74)-4.050840400],_
[1.75,4.083653659,Ei(1.75),Ei(1.75)-4.083653659],_
[1.76,4.116607847,Ei(1.76),Ei(1.76)-4.116607847],_
[1.77,4.149704645,Ei(1.77),Ei(1.77)-4.149704645],_
[1.78,4.182945736,Ei(1.78),Ei(1.78)-4.182945736],_
[1.79,4.216332809,Ei(1.79),Ei(1.79)-4.216332809],_
[1.80,4.249867557,Ei(1.80),Ei(1.80)-4.249867557],_
[1.81,4.283551681,Ei(1.81),Ei(1.81)-4.283551681],_
[1.82,4.317386883,Ei(1.82),Ei(1.82)-4.317386883],_
[1.83,4.351374872,Ei(1.83),Ei(1.83)-4.351374872],_
[1.84,4.385517364,Ei(1.84),Ei(1.84)-4.385517364],_
[1.85,4.419816080,Ei(1.85),Ei(1.85)-4.419816080],_
[1.86,4.454272746,Ei(1.86),Ei(1.86)-4.454272746],_
[1.87,4.488889097,Ei(1.87),Ei(1.87)-4.488889097],_
[1.88,4.523666872,Ei(1.88),Ei(1.88)-4.523666872],_
[1.89,4.558607817,Ei(1.89),Ei(1.89)-4.558607817],_
[1.90,4.593713687,Ei(1.90),Ei(1.90)-4.593713687],_
[1.91,4.628986242,Ei(1.91),Ei(1.91)-4.628986242],_
[1.92,4.664427249,Ei(1.92),Ei(1.92)-4.664427249],_
[1.93,4.700038485,Ei(1.93),Ei(1.93)-4.700038485],_
[1.94,4.735821734,Ei(1.94),Ei(1.94)-4.735821734],_
[1.95,4.771778785,Ei(1.95),Ei(1.95)-4.771778785],_
[1.96,4.807911438,Ei(1.96),Ei(1.96)-4.807911438],_
[1.97,4.844221501,Ei(1.97),Ei(1.97)-4.844221501],_
[1.98,4.880710791,Ei(1.98),Ei(1.98)-4.880710791],_
[1.99,4.917381131,Ei(1.99),Ei(1.99)-4.917381131],_
[2.00,4.954234356,Ei(2.00),Ei(2.00)-4.954234356]]]
--R
--R
--R (17)
--R 1 1022812297451131 2045624594286049 616213
--R [[-,----------------,----------------,- ----------------],
--R 2 2251799813685248 4503599627370496 4503599627370496
--R 2296835809958953 2193397885818645 1096698942469231 880183
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 4503599627370496 2251799813685248 4503599627370496
--R 1170935903116329 1169878982593179 584939490683759 1225661
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 2386907802506363 1242386513255479 2484773027558783 1047825
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 2251799813685248 4503599627370496 4503599627370496
--R 607985949695017 1314253798683953 2628507596150941 1216965
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 2251799813685248 4503599627370496 4503599627370496
--R 2476979795053773 5542045547179495 1385511386934905 560125
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 9007199254740992 2251799813685248 9007199254740992
--R 1261007895663739 5824753005985775 5824753003952903 254109
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 9007199254740992 9007199254740992 1125899906842624
--R 5134103575202365 6105247567071951 6105247566093553 489199
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 9007199254740992 9007199254740992 4503599627370496
--R 5224175567749775 1595908444249943 6383633773586143 3413629
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 2251799813685248 9007199254740992 9007199254740992
--R 5314247560297185 1665002768812253 6660011076609429 1360417
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 9007199254740992 9007199254740992
--R 5404319552844595 3467237090763517 13543894884693 282109
--R [----------------,----------------,--------------,- ----------------],
--R 9007199254740992 4503599627370496 17592186044416 4503599627370496
--R 5494391545392005 3603556682992383 7207113364453991 1530775
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 9007199254740992 9007199254740992
--R 5584463537939415 1869503691117171 7478014767586843 3118159
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 9007199254740992 9007199254740992
--R 709316941310853 3873630328871989 968407582627193 1636783
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 4503599627370496 1125899906842624 4503599627370496
--R 2882303761517117 8014929696674543 8014929691974461 2350041
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992 4503599627370496
--R 1463669878895411 1035137138673569 4140548555799653 1105377
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 1125899906842624 4503599627370496 4503599627370496
--R 2972375754064527 4272917494754421 4272917492478877 284443
--R [----------------,----------------,----------------,- ---------------],
--R 4503599627370496 4503599627370496 4503599627370496 562949953421312
--R 377176468792279 4404606193112449 4404606192641807 235321
--R [---------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 4503599627370496 2251799813685248
--R 3062447746611937 4535647787254419 4535647786929219 20325
--R [----------------,----------------,----------------,- ---------------],
--R 4503599627370496 4503599627370496 4503599627370496 281474976710656
--R 1553741871442821 4666074081600899 2333037041696313 1791727
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 4503599627370496 2251799813685248 4503599627370496
--R 3152519739159347 299744727911635 2397957822447057 846023
--R [----------------,---------------,----------------,- ----------------],
--R 4503599627370496 281474976710656 2251799813685248 2251799813685248
--R 799388933858263 2462600929595285 2462600930514421 28723
--R [----------------,----------------,----------------,--------------],
--R 1125899906842624 2251799813685248 2251799813685248 70368744177664
--R 3242591731706757 2526980507765295 5053961015030067 500523
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 4503599627370496 4503599627370496
--R 1643813863990231 2591110172184783 5182220346072081 1702515
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 4503599627370496 4503599627370496
--R 3332663724254167 1327501526549231 5310006107346903 1149979
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 4503599627370496 4503599627370496
--R 3 1359335905062443 2718671810127637 2751
--R [-,----------------,----------------,----------------],
--R 4 1125899906842624 2251799813685248 2251799813685248
--R 3422735716801577 1391064330764921 2782128662510443 980601
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 1733885856537641 2845385413499755 1422692707002137 504519
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 3512807709348987 5816906947304961 5816906946001609 162919
--R [----------------,----------------,----------------,- ---------------],
--R 4503599627370496 4503599627370496 4503599627370496 562949953421312
--R 889460926405673 5942687747110611 5942687747671197 280293
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 4503599627370496 4503599627370496 2251799813685248
--R 3602879701896397 1517033647873273 3034067296224661 478115
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 1823957849085051 3096634082742747 1548317041749895 757043
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 7385903388887613 6318108519113357 3159054259731151 348945
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 4503599627370496 2251799813685248 4503599627370496
--R 7475975381435023 201333596559771 3221337545818167 861831
--R [----------------,---------------,----------------,----------------],
--R 9007199254740992 140737488355328 2251799813685248 2251799813685248
--R 7566047373982433 820873343495735 6566986749245657 1279777
--R [----------------,---------------,----------------,----------------],
--R 9007199254740992 562949953421312 4503599627370496 4503599627370496
--R 7656119366529843 836382726176583 6691061810427117 1014453
--R [----------------,---------------,----------------,----------------],
--R 9007199254740992 562949953421312 4503599627370496 4503599627370496
--R 7746191359077253 3407459036239375 3407459036282065 21345
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 2251799813685248 1125899906842624
--R 7836263351624663 6938572835490309 6938572837581295 1045493
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 4503599627370496 4503599627370496 2251799813685248
--R 990791918021509 7062042937406347 3531021467902753 1600841
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 2251799813685248 4503599627370496
--R 4008203668359741 3592672374405755 7185344748490963 320547
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 4503599627370496 4503599627370496
--R 2026619832316723 1827123557615719 913561778637211 341297
--R [----------------,----------------,---------------,- ----------------],
--R 2251799813685248 1125899906842624 562949953421312 1125899906842624
--R 4098275660907151 928938365535345 3715753461703193 438187
--R [----------------,---------------,----------------,- ----------------],
--R 4503599627370496 562949953421312 2251799813685248 2251799813685248
--R 517913957147607 1888599497346877 472149874284129 210361
--R [---------------,----------------,---------------,- ----------------],
--R 562949953421312 1125899906842624 281474976710656 1125899906842624
--R 4188347653454561 959647776386837 3838591105502489 44859
--R [----------------,---------------,----------------,- ----------------],
--R 4503599627370496 562949953421312 2251799813685248 2251799813685248
--R 2116691824864133 3899937011720565 3899937011845213 15581
--R [----------------,----------------,----------------,---------------],
--R 2251799813685248 2251799813685248 2251799813685248 281474976710656
--R 4278419646001971 7922487522693643 7922487522097773 297935
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 4503599627370496 4503599627370496 2251799813685248
--R 1080863910568919 1005629560107487 8045036479644801 1215095
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 562949953421312 4503599627370496 4503599627370496
--R 4368491638549381 1020941795462847 8167534362223505 1479271
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 562949953421312 4503599627370496 4503599627370496
--R 2206763817411543 1036249293031399 8289994342017503 2233689
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 562949953421312 4503599627370496 4503599627370496
--R 4458563631096791 4206214655903639 8412429310629973 1177305
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 4503599627370496 4503599627370496
--R 2133712972490197 4267425945781891 801497
--R [1,----------------,----------------,----------------],
--R 1125899906842624 2251799813685248 2251799813685248
--R 568579452955525 2164318612524975 8657274452092675 1992775
--R [---------------,----------------,----------------,----------------],
--R 562949953421312 1125899906842624 4503599627370496 4503599627370496
--R 2296835809958953 4389854557957405 1097463639319941 677641
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 2251799813685248 562949953421312 2251799813685248
--R 2319353808095805 1112770970987667 8902167767135397 765939
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 562949953421312 4503599627370496 4503599627370496
--R 1170935903116329 282020689840191 4512331037035389 407667
--R [----------------,---------------,----------------,- ----------------],
--R 1125899906842624 140737488355328 2251799813685248 2251799813685248
--R 1182194902184755 4573601742509695 2286800871367059 224423
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 2251799813685248 1125899906842624 2251799813685248
--R 2386907802506363 579362703018315 2317450811650967 422293
--R [----------------,---------------,----------------,- ----------------],
--R 2251799813685248 281474976710656 1125899906842624 1125899906842624
--R 2409425800643215 2348118101883337 2348118101705763 88787
--R [----------------,----------------,----------------,- ---------------],
--R 2251799813685248 1125899906842624 1125899906842624 562949953421312
--R 607985949695017 1189402728740777 297350682126075 236477
--R [---------------,----------------,---------------,- ---------------],
--R 562949953421312 562949953421312 140737488355328 562949953421312
--R 306807724614615 4819031096753179 4819031096412125 170527
--R [---------------,----------------,----------------,- ----------------],
--R 281474976710656 2251799813685248 2251799813685248 1125899906842624
--R 2476979795053773 4880502007089453 2440251003053163 983127
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 2499497793190625 2471014408052151 1235507204133783 215415
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 1125899906842624 562949953421312 1125899906842624
--R 1261007895663739 625452077734063 1250904155651857 183731
--R [----------------,---------------,----------------,---------------],
--R 1125899906842624 281474976710656 562949953421312 562949953421312
--R 1272266894732165 1266317610913961 316579402756381 111563
--R [----------------,----------------,---------------,---------------],
--R 1125899906842624 562949953421312 140737488355328 562949953421312
--R 5134103575202365 320437201791157 2563497614460479 131223
--R [----------------,---------------,----------------,----------------],
--R 4503599627370496 140737488355328 1125899906842624 1125899906842624
--R 2589569785738035 2594397928265353 2594397928102805 40637
--R [----------------,----------------,----------------,- ---------------],
--R 2251799813685248 1125899906842624 1125899906842624 281474976710656
--R 5224175567749775 5250677139368625 5250677139325397 10807
--R [----------------,----------------,----------------,- ---------------],
--R 4503599627370496 2251799813685248 2251799813685248 562949953421312
--R 658651445502935 2656321914234939 1328160957185797 136655
--R [---------------,----------------,----------------,----------------],
--R 562949953421312 1125899906842624 562949953421312 1125899906842624
--R 5314247560297185 5374700614333477 1343675153691307 431751
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 2251799813685248 562949953421312 2251799813685248
--R 2679641778285445 2718426065581719 5436852130181055 982383
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 2251799813685248 2251799813685248
--R 5404319552844595 2749551476182591 2749551476399497 108453
--R [----------------,----------------,----------------,---------------],
--R 4503599627370496 1125899906842624 1125899906842624 562949953421312
--R 1362338887279575 2780728804279967 2780728803941271 42337
--R [----------------,----------------,----------------,- ---------------],
--R 1125899906842624 1125899906842624 1125899906842624 140737488355328
--R 5494391545392005 2811960284785163 2811960285246287 115281
--R [----------------,----------------,----------------,---------------],
--R 4503599627370496 1125899906842624 1125899906842624 281474976710656
--R 2769713770832855 5686496266938389 2843248133870025 801661
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 5584463537939415 2874594540207381 2874594540476813 33679
--R [----------------,----------------,----------------,---------------],
--R 4503599627370496 1125899906842624 1125899906842624 140737488355328
--R 5 2906001673482943 1453000836941587 400231
--R [-,----------------,----------------,----------------],
--R 4 1125899906842624 562949953421312 1125899906842624
--R 709316941310853 2937471681512903 734367920515665 549757
--R [---------------,----------------,---------------,----------------],
--R 562949953421312 1125899906842624 281474976710656 1125899906842624
--R 2859785763380265 5938013386747969 5938013386228139 259915
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 2251799813685248 2251799813685248 1125899906842624
--R 2882303761517117 3000608816750813 6001217632389481 1112145
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 2251799813685248 2251799813685248
--R 1452410879826985 758070035609879 3032280142420657 18859
--R [----------------,---------------,----------------,- ----------------],
--R 1125899906842624 281474976710656 1125899906842624 1125899906842624
--R 1463669878895411 3064022745473621 6128045491469711 522469
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 1125899906842624 2251799813685248 2251799813685248
--R 2949857755927675 6191677367996317 773959670936427 504901
--R [----------------,----------------,---------------,- ----------------],
--R 2251799813685248 2251799813685248 281474976710656 2251799813685248
--R 2972375754064527 6255459996287519 781932499634097 785257
--R [----------------,----------------,---------------,----------------],
--R 2251799813685248 2251799813685248 281474976710656 2251799813685248
--R 748723438050345 789924679476989 6319397434893921 921991
--R [---------------,---------------,----------------,- ----------------],
--R 562949953421312 281474976710656 2251799813685248 2251799813685248
--R 377176468792279 3191746854147981 6383493707660517 635445
--R [---------------,----------------,----------------,- ----------------],
--R 281474976710656 1125899906842624 2251799813685248 2251799813685248
--R 3039929748475085 1611938203793985 6447752815565671 389731
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 562949953421312 2251799813685248 2251799813685248
--R 3062447746611937 1628044683283579 814022341713011 142443
--R [----------------,----------------,---------------,---------------],
--R 2251799813685248 562949953421312 281474976710656 562949953421312
--R 1542482872374395 3288387707039881 6576775413440809 638953
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 1125899906842624 2251799813685248 2251799813685248
--R 1553741871442821 6641546782899355 6641546783736429 418537
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 2251799813685248 2251799813685248 1125899906842624
--R 6260003482044989 3353248376610585 6706496752430841 790329
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 3152519739159347 6771629207148087 6771629207487311 42403
--R [----------------,----------------,----------------,---------------],
--R 2251799813685248 2251799813685248 2251799813685248 281474976710656
--R 6350075474592399 854618502221973 427309251137415 52857
--R [----------------,---------------,---------------,---------------],
--R 4503599627370496 281474976710656 140737488355328 281474976710656
--R 799388933858263 862807129460243 6902457036357117 675173
--R [---------------,---------------,----------------,----------------],
--R 562949953421312 281474976710656 2251799813685248 2251799813685248
--R 6440147467139809 871020012241681 217755003043431 67957
--R [----------------,---------------,---------------,- ---------------],
--R 4503599627370496 281474976710656 70368744177664 281474976710656
--R 3242591731706757 7034061021330981 3517030510730335 129689
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 6530219459687219 1775040903417007 7100163614541151 873123
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 562949953421312 2251799813685248 2251799813685248
--R 1643813863990231 7166471669227275 1791617917362553 222937
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 2251799813685248 562949953421312 2251799813685248
--R 6620291452234629 7232988966528809 904123620858191 336719
--R [----------------,----------------,---------------,----------------],
--R 4503599627370496 2251799813685248 281474976710656 2251799813685248
--R 3332663724254167 3649859638668659 456232454769179 515227
--R [----------------,----------------,---------------,- ----------------],
--R 2251799813685248 1125899906842624 140737488355328 1125899906842624
--R 6710363444782039 1841666589413723 920833294636605 140513
--R [----------------,----------------,---------------,- ---------------],
--R 4503599627370496 562949953421312 281474976710656 562949953421312
--R 3 1858458489745005 3716916979636149 146139
--R [-,----------------,----------------,----------------],
--R 2 562949953421312 1125899906842624 1125899906842624
--R 850054429666181 937653227975499 117206653508301 90909
--R [---------------,---------------,---------------,---------------],
--R 562949953421312 281474976710656 35184372088832 281474976710656
--R 3422735716801577 1892211421965675 7568845687076587 786113
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 562949953421312 2251799813685248 2251799813685248
--R 3445253714938429 3818348636690617 954587159312149 557979
--R [----------------,----------------,---------------,----------------],
--R 2251799813685248 1125899906842624 281474976710656 1125899906842624
--R 1733885856537641 963098038667511 3852392154302001 368043
--R [----------------,---------------,----------------,- ----------------],
--R 1125899906842624 281474976710656 1125899906842624 1125899906842624
--R 1745144855606067 971638813338169 3886555253124611 228065
--R [----------------,---------------,----------------,- ----------------],
--R 1125899906842624 281474976710656 1125899906842624 1125899906842624
--R 3512807709348987 3920839790473361 7841679580126087 820635
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 2251799813685248 2251799813685248
--R 3535325707485839 7910495238526689 1977623809887417 1022979
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 562949953421312 2251799813685248
--R 889460926405673 3989780595205673 3989780595609851 202089
--R [---------------,----------------,----------------,---------------],
--R 562949953421312 1125899906842624 1125899906842624 562949953421312
--R 447545212969943 2012220285202847 8048881139966077 845311
--R [---------------,----------------,----------------,- ----------------],
--R 281474976710656 562949953421312 2251799813685248 2251799813685248
--R 3602879701896397 2029614697358477 1014807348684719 10961
--R [----------------,----------------,----------------,---------------],
--R 2251799813685248 562949953421312 281474976710656 562949953421312
--R 3625397700033249 4094148921370699 4094148921507875 17147
--R [----------------,----------------,----------------,---------------],
--R 2251799813685248 1125899906842624 1125899906842624 140737488355328
--R 1823957849085051 4129201002472277 2064600501027747 416783
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 1125899906842624 562949953421312 1125899906842624
--R 1835216848153477 2082193744500567 8328774977247391 754877
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 562949953421312 2251799813685248 2251799813685248
--R 7385903388887613 4199710234188517 8399420468531093 154059
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 3715469692580659 132349096672421 4235171093173099 344373
--R [----------------,---------------,----------------,- ----------------],
--R 2251799813685248 35184372088832 1125899906842624 1125899906842624
--R 7475975381435023 4270771921345147 8541543841997623 692671
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 940126422213591 2153257287703193 8613029150341669 471103
--R [---------------,----------------,----------------,- ----------------],
--R 562949953421312 562949953421312 2251799813685248 2251799813685248
--R 7566047373982433 4342400915687837 8684801830404753 970921
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 3805541685128069 4378432803302045 4378432802995389 9583
--R [----------------,----------------,----------------,- --------------],
--R 2251799813685248 1125899906842624 1125899906842624 35184372088832
--R 7656119366529843 4414612102739257 8829224206277687 799173
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 1925288840700887 8901881365986633 8901881366403571 208469
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 2251799813685248 2251799813685248 1125899906842624
--R 7746191359077253 2243710207091985 8974840828042841 325099
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 562949953421312 2251799813685248 2251799813685248
--R 3895613677675479 2262026584904331 1131013292496601 88871
--R [----------------,----------------,----------------,---------------],
--R 2251799813685248 562949953421312 281474976710656 562949953421312
--R 7836263351624663 2280420414497169 570105103664447 160619
--R [----------------,----------------,---------------,---------------],
--R 4503599627370496 562949953421312 140737488355328 562949953421312
--R 7 574723159280705 4597785274332285 86645
--R [-,---------------,----------------,----------------],
--R 4 140737488355328 1125899906842624 1125899906842624
--R 990791918021509 2317444195722457 4634888391734551 289637
--R [---------------,----------------,----------------,----------------],
--R 562949953421312 562949953421312 1125899906842624 1125899906842624
--R 3985685670222889 292009504576869 4672152072861171 368733
--R [----------------,---------------,----------------,- ----------------],
--R 2251799813685248 70368744177664 1125899906842624 1125899906842624
--R 4008203668359741 4709578214490151 4709578213954005 268073
--R [----------------,----------------,----------------,- ---------------],
--R 2251799813685248 1125899906842624 1125899906842624 562949953421312
--R 2015360833248297 4747168716870599 4747168716416581 227009
--R [----------------,----------------,----------------,- ---------------],
--R 1125899906842624 1125899906842624 1125899906842624 562949953421312
--R 2026619832316723 2392462743259895 2392462743534577 137341
--R [----------------,----------------,----------------,---------------],
--R 1125899906842624 562949953421312 562949953421312 281474976710656
--R 4075757662770299 4822850438593465 1205712609600109 193029
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 281474976710656 1125899906842624
--R 4098275660907151 2430472744686633 607618186102009 278597
--R [----------------,----------------,---------------,- ---------------],
--R 2251799813685248 562949953421312 140737488355328 562949953421312
--R 1030198414761001 2449606281511067 153100392590127 69035
--R [----------------,----------------,---------------,- ---------------],
--R 562949953421312 562949953421312 35184372088832 562949953421312
--R 517913957147607 2468826795792155 617206698947155 3535
--R [---------------,----------------,---------------,- ---------------],
--R 281474976710656 562949953421312 140737488355328 562949953421312
--R 4165829655317709 1244067628183383 1244067628128235 13787
--R [----------------,----------------,----------------,- --------------],
--R 2251799813685248 281474976710656 281474976710656 70368744177664
--R 4188347653454561 2507532634886519 5015065270189997 416959
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 562949953421312 1125899906842624 1125899906842624
--R 2105432825795707 2527019908069585 2527019908111599 21007
--R [----------------,----------------,----------------,---------------],
--R 1125899906842624 562949953421312 562949953421312 281474976710656
--R 2116691824864133 636649513721483 636649513696909 12287
--R [----------------,---------------,---------------,- --------------],
--R 1125899906842624 140737488355328 140737488355328 70368744177664
--R 8511803295730237 2566268058246179 5132536116786609 294251
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 562949953421312 1125899906842624 1125899906842624
--R 4278419646001971 2586030906127493 5172061812202729 52257
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 562949953421312 1125899906842624 1125899906842624
--R 8601875288277647 1302943794660897 40716993579685 110977
--R [----------------,----------------,--------------,- ---------------],
--R 4503599627370496 281474976710656 8796093022208 281474976710656
--R 1080863910568919 164114943910103 5251678205407441 284145
--R [----------------,---------------,----------------,----------------],
--R 562949953421312 35184372088832 1125899906842624 1125899906842624
--R 8691947280825057 661471611552281 661471611616427 32073
--R [----------------,---------------,---------------,--------------],
--R 4503599627370496 140737488355328 140737488355328 70368744177664
--R 4368491638549381 2666030624566937 666507656071519 280861
--R [----------------,----------------,---------------,- ---------------],
--R 2251799813685248 562949953421312 140737488355328 562949953421312
--R 8782019273372467 2686272644752555 5372545289043355 461755
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 562949953421312 1125899906842624 1125899906842624
--R 2206763817411543 2706613520075893 2706613520094141 2281
--R [----------------,----------------,----------------,--------------],
--R 1125899906842624 562949953421312 562949953421312 70368744177664
--R 8872091265919877 681763567087617 2727054268597319 246851
--R [----------------,---------------,----------------,---------------],
--R 4503599627370496 140737488355328 562949953421312 562949953421312
--R 4458563631096791 2747595912456345 5495191824808019 104671
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 562949953421312 1125899906842624 1125899906842624
--R 8962163258467287 5536478957302577 5536478957544019 120721
--R [----------------,----------------,----------------,---------------],
--R 4503599627370496 1125899906842624 1125899906842624 562949953421312
--R 5577971999896927 2788985999949529 2131
--R [2,----------------,----------------,----------------]]
--R 1125899906842624 562949953421312 1125899906842624
--R Type: List(List(Fraction(Integer)))
--E 16
--S 17 of 20
f(x)==x/10.0*exp(-x/10.0)*Ei(x/10.0)
--R
--R Type: Void
--E 17
--S 18 of 20
t9:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[2.0,1.340965420,f(2.0),f(2.0)-1.340965420],_
[2.1,1.371486802,f(2.1),f(2.1)-1.371486802],_
[2.2,1.397421992,f(2.2),f(2.2)-1.397421992],_
[2.3,1.419171534,f(2.3),f(2.3)-1.419171534],_
[2.4,1.437118315,f(2.4),f(2.4)-1.437118315],_
[2.5,1.451625159,f(2.5),f(2.5)-1.451625159],_
[2.6,1.463033397,f(2.6),f(2.6)-1.463033397],_
[2.7,1.471662153,f(2.7),f(2.7)-1.471662153],_
[2.8,1.477808187,f(2.8),f(2.8)-1.477808187],_
[2.9,1.481746162,f(2.9),f(2.9)-1.481746162],_
[3.0,1.483729204,f(3.0),f(3.0)-1.483729204],_
[3.1,1.483989691,f(3.1),f(3.1)-1.483989691],_
[3.2,1.482740191,f(3.2),f(3.2)-1.482740191],_
[3.3,1.480174491,f(3.3),f(3.3)-1.480174491],_
[3.4,1.476468706,f(3.4),f(3.4)-1.476468706],_
[3.5,1.471782389,f(3.5),f(3.5)-1.471782389],_
[3.6,1.466259659,f(3.6),f(3.6)-1.466259659],_
[3.7,1.460030313,f(3.7),f(3.7)-1.460030313],_
[3.8,1.453210902,f(3.8),f(3.8)-1.453210902],_
[3.9,1.445905765,f(3.9),f(3.9)-1.445905765],_
[4.0,1.438208032,f(4.0),f(4.0)-1.438208032],_
[4.1,1.430200557,f(4.1),f(4.1)-1.430200557],_
[4.2,1.421956813,f(4.2),f(4.2)-1.421956813],_
[4.3,1.413541719,f(4.3),f(4.3)-1.413541719],_
[4.4,1.405012424,f(4.4),f(4.4)-1.405012424],_
[4.5,1.396419030,f(4.5),f(4.5)-1.396419030],_
[4.6,1.387805263,f(4.6),f(4.6)-1.387805263],_
[4.7,1.379209093,f(4.7),f(4.7)-1.379209093],_
[4.8,1.370663313,f(4.8),f(4.8)-1.370663313],_
[4.9,1.362196054,f(4.9),f(4.9)-1.362196054],_
[5.0,1.353831278,f(5.0),f(5.0)-1.353831278],_
[5.1,1.345589212,f(5.1),f(5.1)-1.345589212],_
[5.2,1.337486755,f(5.2),f(5.2)-1.337486755],_
[5.3,1.329537845,f(5.3),f(5.3)-1.329537845],_
[5.4,1.321753788,f(5.4),f(5.4)-1.321753788],_
[5.5,1.314143566,f(5.5),f(5.5)-1.314143566],_
[5.6,1.306714107,f(5.6),f(5.6)-1.306714107],_
[5.7,1.299470536,f(5.7),f(5.7)-1.299470536],_
[5.8,1.292416395,f(5.8),f(5.8)-1.292416395],_
[5.9,1.285553849,f(5.9),f(5.9)-1.285553849],_
[6.0,1.278883860,f(6.0),f(6.0)-1.278883860],_
[6.1,1.272406357,f(6.1),f(6.1)-1.272406357],_
[6.2,1.266120373,f(6.2),f(6.2)-1.266120373],_
[6.3,1.260024184,f(6.3),f(6.3)-1.260024184],_
[6.4,1.254115417,f(6.4),f(6.4)-1.254115417],_
[6.5,1.248391155,f(6.5),f(6.5)-1.248391155],_
[6.6,1.242848032,f(6.6),f(6.6)-1.242848032],_
[6.7,1.237482309,f(6.7),f(6.7)-1.237482309],_
[6.8,1.232289952,f(6.8),f(6.8)-1.232289952],_
[6.9,1.227266684,f(6.9),f(6.9)-1.227266684],_
[7.0,1.222408053,f(7.0),f(7.0)-1.222408053],_
[7.1,1.217709472,f(7.1),f(7.1)-1.217709472],_
[7.2,1.213166264,f(7.2),f(7.2)-1.213166264],_
[7.3,1.208773699,f(7.3),f(7.3)-1.208773699],_
[7.4,1.204527026,f(7.4),f(7.4)-1.204527026],_
[7.5,1.200421500,f(7.5),f(7.5)-1.200421500],_
[7.6,1.196452401,f(7.6),f(7.6)-1.196452401],_
[7.7,1.192615063,f(7.7),f(7.7)-1.192615063],_
[7.8,1.188904881,f(7.8),f(7.8)-1.188904881],_
[7.9,1.185317334,f(7.9),f(7.9)-1.185317334],_
[8.0,1.181847987,f(8.0),f(8.0)-1.181847987],_
[8.1,1.178492509,f(8.1),f(8.1)-1.178492509],_
[8.2,1.175246676,f(8.2),f(8.2)-1.175246676],_
[8.3,1.172106376,f(8.3),f(8.3)-1.172106376],_
[8.4,1.169067617,f(8.4),f(8.4)-1.169067617],_
[8.5,1.166126526,f(8.5),f(8.5)-1.166126526],_
[8.6,1.163279354,f(8.6),f(8.6)-1.163279354],_
[8.7,1.160522476,f(8.7),f(8.7)-1.160522476],_
[8.8,1.157852390,f(8.8),f(8.8)-1.157852390],_
[8.9,1.155265719,f(8.9),f(8.9)-1.155265719],_
[9.0,1.152759209,f(9.0),f(9.0)-1.152759209],_
[9.1,1.150329724,f(9.1),f(9.1)-1.150329724],_
[9.2,1.147974251,f(9.2),f(9.2)-1.147974251],_
[9.3,1.145689889,f(9.3),f(9.3)-1.145689889],_
[9.4,1.143473855,f(9.4),f(9.4)-1.143473855],_
[9.5,1.141323476,f(9.5),f(9.5)-1.141323476],_
[9.6,1.139236185,f(9.6),f(9.6)-1.139236185],_
[9.7,1.137209523,f(9.7),f(9.7)-1.137209523],_
[9.8,1.135241130,f(9.8),f(9.8)-1.135241130],_
[9.9,1.133328746,f(9.9),f(9.9)-1.133328746],_
[10.0,1.131470205,f(10.0),f(10.0)-1.131470205]]]
--R
--R Compiling function f with type Float -> OnePointCompletion(
--R DoubleFloat)
--R
--R (19)
--R 377448210364295 4848039718580287 830647041331407
--R [[2,---------------,- -----------------,- ---------------],
--R 281474976710656 36028797018963968 562949953421312
--R 1182194902184755 6176627450430753 2336248404737001 6760689551615003
--R [----------------,----------------,- -----------------,- ----------------],
--R 562949953421312 4503599627370496 18014398509481984 4503599627370496
--R 2476979795053773 786678645306317 4479409141437075 3426677652565085
--R [----------------,---------------,- -----------------,- ----------------],
--R 1125899906842624 562949953421312 36028797018963968 2251799813685248
--R 2589569785738035 6391380391697215 8539832098326451 3462559948921309
--R [----------------,----------------,- -----------------,- ----------------],
--R 1125899906842624 4503599627370496 72057594037927936 2251799813685248
--R 5404319552844595 6472205507921315 8090137337562157 3488919545759475
--R [----------------,----------------,- -----------------,- ----------------],
--R 2251799813685248 4503599627370496 72057594037927936 2251799813685248
--R 5 6537538525154037 7611679995764351 7013268524889309
--R [-,----------------,- -----------------,- ----------------],
--R 2 4503599627370496 72057594037927936 4503599627370496
--R 1463669878895411 3294458330779895 7106266830772399 7033058338483065
--R [----------------,----------------,- -----------------,- ----------------],
--R 562949953421312 2251799813685248 72057594037927936 4503599627370496
--R 3039929748475085 3313888561933031 6575579901345875 7038750867700179
--R [----------------,----------------,- -----------------,- ----------------],
--R 1125899906842624 2251799813685248 72057594037927936 4503599627370496
--R 3152519739159347 1663864100074567 3010594527974055 7031780716295025
--R [----------------,----------------,- -----------------,- ----------------],
--R 1125899906842624 1125899906842624 36028797018963968 4503599627370496
--R 6530219459687219 3336595731520431 1361140682149893 7013476633578335
--R [----------------,----------------,- -----------------,- ----------------],
--R 2251799813685248 2251799813685248 18014398509481984 4503599627370496
--R 3341061145126561 4847077325731693 6985064623111353
--R [3,----------------,- -----------------,- ----------------],
--R 2251799813685248 72057594037927936 4503599627370496
--R 1745144855606067 3341647709704629 132188294753861 1736918002229245
--R [----------------,----------------,- ----------------,- ----------------],
--R 562949953421312 2251799813685248 2251799813685248 1125899906842624
--R 3602879701896397 3338834085837429 1797311510314439 6902332110464163
--R [----------------,----------------,- -----------------,- ----------------],
--R 1125899906842624 2251799813685248 36028797018963968 4503599627370496
--R 3715469692580659 3333056643055457 2942015816404593 6849989274636201
--R [----------------,----------------,- -----------------,- ----------------],
--R 1125899906842624 2251799813685248 72057594037927936 4503599627370496
--R 7656119366529843 3324711957082899 4546569878958587 3395752111441627
--R [----------------,----------------,- ------------------,- ----------------],
--R 2251799813685248 2251799813685248 144115188075855872 2251799813685248
--R 7 3314159309335429 3178903856176953 1681914841044097
--R [-,----------------,- ------------------,- ----------------],
--R 2 2251799813685248 144115188075855872 1125899906842624
--R 2026619832316723 3301723226950395 7131865824128711 1664791038912949
--R [----------------,----------------,- ------------------,- ----------------],
--R 562949953421312 2251799813685248 576460752303423488 1125899906842624
--R 4165829655317709 1643847993394107 5769415017281553 823332545285257
--R [----------------,----------------,- -------------------,- ---------------],
--R 1125899906842624 1125899906842624 2305843009213693952 562949953421312
--R 4278419646001971 3272340038368971 2172988638896639 3255363564627591
--R [----------------,----------------,------------------,- ----------------],
--R 1125899906842624 2251799813685248 288230376151711744 2251799813685248
--R 8782019273372467 1627945166116713 79894821252527 6431885843214325
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 4503599627370496 4503599627370496
--R 3238556578498227 8096532633628647 3175302417298003
--R [4,----------------,------------------,- ----------------],
--R 2251799813685248 288230376151711744 2251799813685248
--R 2308094809027379 1610262673892569 2779951165436081 6267303747730521
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 1125899906842624 72057594037927936 4503599627370496
--R 1182194902184755 3201962086581869 7090126347780353 3091178862397801
--R [----------------,----------------,------------------,- ----------------],
--R 281474976710656 2251799813685248 144115188075855872 2251799813685248
--R 4841369599423283 3183012979480525 8637590039812239 3048050635108459
--R [----------------,----------------,------------------,- ----------------],
--R 1125899906842624 2251799813685248 144115188075855872 2251799813685248
--R 2476979795053773 6327613429177317 318781519601023 3004415954788147
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 4503599627370496 2251799813685248
--R 9 6288912223161069 2944789279374437 185025423851227
--R [-,----------------,-----------------,- ---------------],
--R 2 4503599627370496 36028797018963968 140737488355328
--R 2589569785738035 6250119265309613 6685433423421823 5832279676345749
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 4503599627370496 72057594037927936 4503599627370496
--R 1322932390540083 97053211832825 1871877786649001 2871718055319275
--R [----------------,--------------,-----------------,- ----------------],
--R 281474976710656 70368744177664 18014398509481984 2251799813685248
--R 5404319552844595 3086459392838605 8295279066565819 2827231922008423
--R [----------------,----------------,-----------------,- ----------------],
--R 1125899906842624 2251799813685248 72057594037927936 2251799813685248
--R 2758454771764429 766848205149995 4554114129757199 2782760687490155
--R [----------------,---------------,-----------------,- ----------------],
--R 562949953421312 562949953421312 36028797018963968 2251799813685248
--R 3048557019561661 2481468069393411 5476747021774969
--R [5,----------------,-----------------,- ----------------],
--R 2251799813685248 18014398509481984 4503599627370496
--R 2871044762448691 6059995073756959 335867061782839 5388260950191281
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 2251799813685248 4503599627370496
--R 1463669878895411 3011752425715487 2893351107135547 5300167074647087
--R [----------------,----------------,-----------------,- ----------------],
--R 281474976710656 2251799813685248 18014398509481984 4503599627370496
--R 5967269506265907 1496926535829243 775151368848231 5212554774468741
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 1125899906842624 4503599627370496 4503599627370496
--R 3039929748475085 2976324933556171 6617195458597659 5125500434787635
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 2251799813685248 36028797018963968 4503599627370496
--R 11 2959188237074467 7034460681354467 2519534444489813
--R [--,----------------,-----------------,- ----------------],
--R 2 2251799813685248 36028797018963968 2251799813685248
--R 3152519739159347 2942458582682485 3726409915803131 4953314686414187
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 2251799813685248 18014398509481984 4503599627370496
--R 1604407367250739 2926147510854269 3936047001330145 2434141635688001
--R [----------------,----------------,-----------------,- ----------------],
--R 281474976710656 2251799813685248 18014398509481984 2251799813685248
--R 6530219459687219 363782874683095 8292111804391667 2392006009690281
--R [----------------,---------------,-----------------,- ----------------],
--R 1125899906842624 281474976710656 36028797018963968 2251799813685248
--R 3321404725185741 2894809917660553 8712709021100803 2350265603841753
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 2251799813685248 36028797018963968 2251799813685248
--R 2879790437673071 285429009052949 2308932419567173
--R [6,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 2251799813685248
--R 3433994715870003 2865204397624525 298594337394707 2268015722835111
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 2251799813685248 1125899906842624 2251799813685248
--R 1745144855606067 5702099240048993 4988217996107977 4455044741021999
--R [----------------,----------------,-----------------,- ----------------],
--R 281474976710656 4503599627370496 18014398509481984 4503599627370496
--R 7093169413108531 5674644445540213 40616567660037 4374914280419029
--R [----------------,----------------,---------------,- ----------------],
--R 1125899906842624 4503599627370496 140737488355328 4503599627370496
--R 3602879701896397 2824016862340397 5409550983444247 1073911494704933
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 2251799813685248 18014398509481984 1125899906842624
--R 13 5622253940470623 2810022653137873 8434485227803373
--R [--,----------------,----------------,- ----------------],
--R 2 4503599627370496 9007199254740992 9007199254740992
--R 3715469692580659 2798644966896677 5830342605544071 517463035300917
--R [----------------,----------------,-----------------,- ---------------],
--R 562949953421312 2251799813685248 18014398509481984 562949953421312
--R 1885882343961395 1393281216422495 3020192192532359 8126057538847601
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 1125899906842624 9007199254740992 9007199254740992
--R 7656119366529843 2774870284319803 390632160841433 1993605962636937
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 2251799813685248 1125899906842624 2251799813685248
--R 3884354678607053 43180607662083 6459479426944637 3912247924010465
--R [----------------,--------------,-----------------,- ----------------],
--R 562949953421312 35184372088832 18014398509481984 4503599627370496
--R 2752618225992747 833553429617201 959532398187773
--R [7,----------------,----------------,- ----------------],
--R 2251799813685248 2251799813685248 1125899906842624
--R 3996944669291315 5484075924344723 3438454621144263 7529697227545183
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 9007199254740992 9007199254740992
--R 2026619832316723 682951891811107 7084877545726943 115387367126785
--R [----------------,---------------,-----------------,- ---------------],
--R 281474976710656 562949953421312 18014398509481984 140737488355328
--R 8219069319951155 680479097548957 7292287034329447 1810380510904647
--R [----------------,---------------,-----------------,- ----------------],
--R 1125899906842624 562949953421312 18014398509481984 2251799813685248
--R 4165829655317709 1356176866362823 7499094303737985 887483472379199
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 1125899906842624 18014398509481984 1125899906842624
--R 15 1351554455021883 7705257785904997 3479903373611283
--R [--,----------------,-----------------,- ----------------],
--R 2 1125899906842624 18014398509481984 4503599627370496
--R 4278419646001971 5388342587310135 1977684420038737 1705329083635699
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 4503599627370496 2251799813685248
--R 2167357320672051 671382594165405 8115495887367379 3342186781481395
--R [----------------,---------------,-----------------,- ----------------],
--R 281474976710656 562949953421312 18014398509481984 4503599627370496
--R 8782019273372467 1338587894762641 4159747973550385 6548955184550743
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 1125899906842624 9007199254740992 9007199254740992
--R 4447304632028365 2669097351859095 8522702977489403 3207518959345839
--R [----------------,----------------,-----------------,- ----------------],
--R 562949953421312 2251799813685248 18014398509481984 4503599627370496
--R 2661285076930885 8725083617757223 24541400386113
--R [8,----------------,-----------------,- --------------],
--R 2251799813685248 18014398509481984 35184372088832
--R 4559894622712627 663432303048915 2231651493300941 3075806931090379
--R [----------------,---------------,----------------,- ----------------],
--R 562949953421312 562949953421312 4503599627370496 4503599627370496
--R 2308094809027379 2646420246051007 2281809890631689 3011030601470325
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 2251799813685248 4503599627370496 4503599627370496
--R 2336242306698445 2639348919096091 2331738816838933 2946959021353249
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 2251799813685248 4503599627370496 4503599627370496
--R 1182194902184755 2632506242146057 4762862641939371 5767162326644857
--R [----------------,----------------,----------------,- ----------------],
--R 140737488355328 2251799813685248 9007199254740992 9007199254740992
--R 17 5251766987960451 4861761538226331 5641772437694571
--R [--,----------------,----------------,- ----------------],
--R 2 4503599627370496 9007199254740992 9007199254740992
--R 4841369599423283 5238944465202191 2480080833273543 344857953991081
--R [----------------,----------------,----------------,- ---------------],
--R 562949953421312 4503599627370496 4503599627370496 562949953421312
--R 2448832297382707 5226528590468685 2529025480688875 1348751554889905
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 4503599627370496 4503599627370496 2251799813685248
--R 2476979795053773 2607251796077019 2577708963573701 2636794628580337
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 2251799813685248 4503599627370496 4503599627370496
--R 1252563646362419 1300713565400577 2626125809264235 2576728452338073
--R [----------------,----------------,----------------,- ----------------],
--R 140737488355328 1125899906842624 4503599627370496 4503599627370496
--R 1297891486025077 2674270810746341 2517295133353967
--R [9,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 4503599627370496
--R 5122844576133939 2590312258179803 2722139017547721 2458485498811885
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 2251799813685248 4503599627370496 4503599627370496
--R 2589569785738035 1292504102258631 2769725726976867 2400290682057657
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 1125899906842624 4503599627370496 4503599627370496
--R 2617717283409101 322483034823909 5634052951384611 4685404162980477
--R [----------------,---------------,----------------,- ----------------],
--R 281474976710656 281474976710656 9007199254740992 9007199254740992
--R 1322932390540083 321859276705369 716009257896687 571427848924789
--R [----------------,---------------,----------------,- ----------------],
--R 140737488355328 281474976710656 1125899906842624 1125899906842624
--R 19 5140063981222799 5821506771943055 4458621190502543
--R [--,----------------,----------------,- ----------------],
--R 2 4503599627370496 9007199254740992 9007199254740992
--R 5404319552844595 5130663658252985 2957171746047603 1086745956102691
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 4503599627370496 2251799813685248
--R 2730307274093363 1280384096006245 187705532978139 529561964093689
--R [----------------,----------------,---------------,- ----------------],
--R 281474976710656 1125899906842624 281474976710656 1125899906842624
--R 2758454771764429 1278167882510915 6098200696509969 4127142363577351
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 1125899906842624 9007199254740992 9007199254740992
--R 1393301134717747 319003682385867 3094604020233747 2009454897940125
--R [----------------,---------------,----------------,- ----------------],
--R 140737488355328 281474976710656 4503599627370496 4503599627370496
--R 2547844396809409 6279593088699023 3911784498538613
--R [10,----------------,----------------,- ----------------]]
--R 2251799813685248 9007199254740992 9007199254740992
--R Type: List(List(Fraction(Integer)))
--E 18
--S 19 of 20
g(y)==(y=0 => 1 ; (x:DFLOAT:=y^-1) ; x*exp(-x)*Ei(x))
--R
--R Type: Void
--E 19
--S 20 of 20
t10:List List Fraction Integer:= [[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[0.100,1.13147021,g(0.100),g(0.100)-1.13147021],_
[0.095,1.12249671,g(0.095),g(0.095)-1.12249671],_
[0.090,1.11389377,g(0.090),g(0.090)-1.11389377],_
[0.085,1.10564739,g(0.085),g(0.085)-1.10564739],_
[0.080,1.09773775,g(0.080),g(0.080)-1.09773775],_
[0.075,1.09014087,g(0.075),g(0.075)-1.09014087],_
[0.070,1.08283054,g(0.070),g(0.070)-1.08283054],_
[0.065,1.07578038,g(0.065),g(0.065)-1.07578038],_
[0.060,1.06896548,g(0.060),g(0.060)-1.06896548],_
[0.055,1.06236365,g(0.055),g(0.055)-1.06236365],_
[0.050,1.05595591,g(0.050),g(0.050)-1.05595591],_
[0.045,1.04972640,g(0.045),g(0.045)-1.04972640],_
[0.040,1.04366194,g(0.040),g(0.040)-1.04366194],_
[0.035,1.03775135,g(0.035),g(0.035)-1.03775135],_
[0.030,1.03198503,g(0.030),g(0.030)-1.03198503],_
[0.025,1.02635451,g(0.025),g(0.025)-1.02635451],_
[0.020,1.02085228,g(0.020),g(0.020)-1.02085228],_
[0.015,1.01547157,g(0.015),g(0.015)-1.01547157],_
[0.010,1.01020625,g(0.010),g(0.010)-1.01020625],_
[0.005,1.00505077,g(0.005),g(0.005)-1.00505077],_
[0.000,1.00000000,g(0.000),g(0.000)-1.00000000]]]
--R
--R Compiling function g with type Float -> OnePointCompletion(
--R DoubleFloat)
--R
--R (21)
--R 3602879701896397 318480551008551 5095688792421347 23715469
--R [[-----------------,---------------,----------------,- ----------------],
--R 36028797018963968 281474976710656 4503599627370496 4503599627370496
--R 3422735716801577 157977367652519 5055275928599307 163718699
--R [-----------------,---------------,----------------,----------------],
--R 36028797018963968 140737488355328 4503599627370496 4503599627370496
--R 3242591731706757 1254132891875579 5016531616383377 48881061
--R [-----------------,----------------,----------------,----------------],
--R 36028797018963968 1125899906842624 4503599627370496 4503599627370496
--R 3062447746611937 4979393173607161 4979393174388051 390445
--R [-----------------,----------------,----------------,----------------],
--R 36028797018963968 4503599627370496 4503599627370496 2251799813685248
--R 2882303761517117 2471885660925263 617971416721623 5961229
--R [-----------------,----------------,---------------,----------------],
--R 36028797018963968 2251799813685248 562949953421312 2251799813685248
--R 5404319552844595 1227389503978337 2454779004417427 3539247
--R [-----------------,----------------,----------------,- ----------------],
--R 72057594037927936 1125899906842624 2251799813685248 2251799813685248
--R 1261007895663739 304789701028087 304789701681795 163427
--R [-----------------,---------------,---------------,--------------],
--R 18014398509481984 281474976710656 281474976710656 70368744177664
--R 1170935903116329 2422442059250245 4844884095560277 22940213
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 2251799813685248 4503599627370496 4503599627370496
--R 1080863910568919 4814192537399923 1203548129363947 19944135
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 4503599627370496 1125899906842624 4503599627370496
--R 990791918021509 598057567283995 4784460521446317 16825643
--R [-----------------,---------------,----------------,- ----------------],
--R 18014398509481984 562949953421312 4503599627370496 4503599627370496
--R 3602879701896397 4755602642795673 4755602622948141 4961883
--R [-----------------,----------------,----------------,- ----------------],
--R 72057594037927936 4503599627370496 4503599627370496 1125899906842624
--R 3242591731706757 1181886855970243 4727547436712233 12831261
--R [-----------------,----------------,----------------,----------------],
--R 72057594037927936 1125899906842624 4503599627370496 4503599627370496
--R 2882303761517117 146882360127649 4700235507271091 16813677
--R [-----------------,---------------,----------------,- ----------------],
--R 72057594037927936 140737488355328 4503599627370496 4503599627370496
--R 1261007895663739 4673616593163229 1168404150457205 8665591
--R [-----------------,----------------,----------------,----------------],
--R 36028797018963968 4503599627370496 1125899906842624 4503599627370496
--R 1080863910568919 2323823698279965 4647647387488573 9071357
--R [-----------------,----------------,----------------,- ----------------],
--R 36028797018963968 2251799813685248 4503599627370496 4503599627370496
--R 3602879701896397 1155572447196507 4622289795266735 6480707
--R [------------------,----------------,----------------,----------------],
--R 144115188075855872 1125899906842624 4503599627370496 4503599627370496
--R 2882303761517117 4597509947808321 4597509937887789 2480133
--R [------------------,----------------,----------------,- ----------------],
--R 144115188075855872 4503599627370496 4503599627370496 1125899906842624
--R 1080863910568919 1143319346064333 4573277363122763 21134569
--R [-----------------,----------------,----------------,- ----------------],
--R 72057594037927936 1125899906842624 4503599627370496 4503599627370496
--R 2882303761517117 2274782245533673 2274782251782047 3124187
--R [------------------,----------------,----------------,----------------],
--R 288230376151711744 2251799813685248 2251799813685248 1125899906842624
--R 2882303761517117 2263173136630215 1131586563120949 10388317
--R [------------------,----------------,----------------,- ----------------],
--R 576460752303423488 2251799813685248 1125899906842624 2251799813685248
--R [0,1,1,0]]
--R Type: List(List(Fraction(Integer)))
--E 20
)spool
)lisp (bye)
|