#include #include #include #include #include char *name = "Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.2"; double f_if(float x, float y, float z, float t, float a) { float r22910 = x; float r22911 = y; float r22912 = r22910 + r22911; float r22913 = log(r22912); float r22914 = z; float r22915 = log(r22914); float r22916 = r22913 + r22915; float r22917 = t; float r22918 = r22916 - r22917; float r22919 = a; float r22920 = 0.5; float r22921 = r22919 - r22920; float r22922 = log(r22917); float r22923 = r22921 * r22922; float r22924 = r22918 + r22923; return r22924; } double f_id(double x, double y, double z, double t, double a) { double r22925 = x; double r22926 = y; double r22927 = r22925 + r22926; double r22928 = log(r22927); double r22929 = z; double r22930 = log(r22929); double r22931 = r22928 + r22930; double r22932 = t; double r22933 = r22931 - r22932; double r22934 = a; double r22935 = 0.5; double r22936 = r22934 - r22935; double r22937 = log(r22932); double r22938 = r22936 * r22937; double r22939 = r22933 + r22938; return r22939; } double f_of(float x, float y, float z, float t, float a) { float r22940 = x; float r22941 = y; float r22942 = r22940 + r22941; float r22943 = log(r22942); float r22944 = 3; float r22945 = pow(r22943, r22944); float r22946 = z; float r22947 = log(r22946); float r22948 = pow(r22947, r22944); float r22949 = r22945 + r22948; float r22950 = r22941 + r22940; float r22951 = log(r22950); float r22952 = r22951 * r22951; float r22953 = r22951 - r22947; float r22954 = r22947 * r22953; float r22955 = r22952 - r22954; float r22956 = r22949 / r22955; float r22957 = t; float r22958 = r22956 - r22957; float r22959 = a; float r22960 = 0.5; float r22961 = r22959 - r22960; float r22962 = log(r22957); float r22963 = r22961 * r22962; float r22964 = r22958 + r22963; return r22964; } double f_od(double x, double y, double z, double t, double a) { double r22965 = x; double r22966 = y; double r22967 = r22965 + r22966; double r22968 = log(r22967); double r22969 = 3; double r22970 = pow(r22968, r22969); double r22971 = z; double r22972 = log(r22971); double r22973 = pow(r22972, r22969); double r22974 = r22970 + r22973; double r22975 = r22966 + r22965; double r22976 = log(r22975); double r22977 = r22976 * r22976; double r22978 = r22976 - r22972; double r22979 = r22972 * r22978; double r22980 = r22977 - r22979; double r22981 = r22974 / r22980; double r22982 = t; double r22983 = r22981 - r22982; double r22984 = a; double r22985 = 0.5; double r22986 = r22984 - r22985; double r22987 = log(r22982); double r22988 = r22986 * r22987; double r22989 = r22983 + r22988; return r22989; } void mpfr_fmod2(mpfr_t r, mpfr_t n, mpfr_t d, mpfr_rnd_t rmd) { mpfr_fmod(r, n, d, rmd); if (mpfr_cmp_ui(r, 0) < 0) mpfr_add(r, r, d, rmd); } static mpfr_t r22990, r22991, r22992, r22993, r22994, r22995, r22996, r22997, r22998, r22999, r23000, r23001, r23002, r23003, r23004; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22990); mpfr_init(r22991); mpfr_init(r22992); mpfr_init(r22993); mpfr_init(r22994); mpfr_init(r22995); mpfr_init(r22996); mpfr_init(r22997); mpfr_init(r22998); mpfr_init(r22999); mpfr_init_set_str(r23000, "0.5", 10, MPFR_RNDN); mpfr_init(r23001); mpfr_init(r23002); mpfr_init(r23003); mpfr_init(r23004); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r22990, x, MPFR_RNDN); mpfr_set_d(r22991, y, MPFR_RNDN); mpfr_add(r22992, r22990, r22991, MPFR_RNDN); mpfr_log(r22993, r22992, MPFR_RNDN); mpfr_set_d(r22994, z, MPFR_RNDN); mpfr_log(r22995, r22994, MPFR_RNDN); mpfr_add(r22996, r22993, r22995, MPFR_RNDN); mpfr_set_d(r22997, t, MPFR_RNDN); mpfr_sub(r22998, r22996, r22997, MPFR_RNDN); mpfr_set_d(r22999, a, MPFR_RNDN); ; mpfr_sub(r23001, r22999, r23000, MPFR_RNDN); mpfr_log(r23002, r22997, MPFR_RNDN); mpfr_mul(r23003, r23001, r23002, MPFR_RNDN); mpfr_add(r23004, r22998, r23003, MPFR_RNDN); return mpfr_get_d(r23004, MPFR_RNDN); } static mpfr_t r23005, r23006, r23007, r23008, r23009, r23010, r23011, r23012, r23013, r23014, r23015, r23016, r23017, r23018, r23019, r23020, r23021, r23022, r23023, r23024, r23025, r23026, r23027, r23028, r23029; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23005); mpfr_init(r23006); mpfr_init(r23007); mpfr_init(r23008); mpfr_init_set_str(r23009, "3", 10, MPFR_RNDN); mpfr_init(r23010); mpfr_init(r23011); mpfr_init(r23012); mpfr_init(r23013); mpfr_init(r23014); mpfr_init(r23015); mpfr_init(r23016); mpfr_init(r23017); mpfr_init(r23018); mpfr_init(r23019); mpfr_init(r23020); mpfr_init(r23021); mpfr_init(r23022); mpfr_init(r23023); mpfr_init(r23024); mpfr_init_set_str(r23025, "0.5", 10, MPFR_RNDN); mpfr_init(r23026); mpfr_init(r23027); mpfr_init(r23028); mpfr_init(r23029); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r23005, x, MPFR_RNDN); mpfr_set_d(r23006, y, MPFR_RNDN); mpfr_add(r23007, r23005, r23006, MPFR_RNDN); mpfr_log(r23008, r23007, MPFR_RNDN); ; mpfr_pow(r23010, r23008, r23009, MPFR_RNDN); mpfr_set_d(r23011, z, MPFR_RNDN); mpfr_log(r23012, r23011, MPFR_RNDN); mpfr_pow(r23013, r23012, r23009, MPFR_RNDN); mpfr_add(r23014, r23010, r23013, MPFR_RNDN); mpfr_add(r23015, r23006, r23005, MPFR_RNDN); mpfr_log(r23016, r23015, MPFR_RNDN); mpfr_mul(r23017, r23016, r23016, MPFR_RNDN); mpfr_sub(r23018, r23016, r23012, MPFR_RNDN); mpfr_mul(r23019, r23012, r23018, MPFR_RNDN); mpfr_sub(r23020, r23017, r23019, MPFR_RNDN); mpfr_div(r23021, r23014, r23020, MPFR_RNDN); mpfr_set_d(r23022, t, MPFR_RNDN); mpfr_sub(r23023, r23021, r23022, MPFR_RNDN); mpfr_set_d(r23024, a, MPFR_RNDN); ; mpfr_sub(r23026, r23024, r23025, MPFR_RNDN); mpfr_log(r23027, r23022, MPFR_RNDN); mpfr_mul(r23028, r23026, r23027, MPFR_RNDN); mpfr_add(r23029, r23023, r23028, MPFR_RNDN); return mpfr_get_d(r23029, MPFR_RNDN); } static mpfr_t r23030, r23031, r23032, r23033, r23034, r23035, r23036, r23037, r23038, r23039, r23040, r23041, r23042, r23043, r23044, r23045, r23046, r23047, r23048, r23049, r23050, r23051, r23052, r23053, r23054; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23030); mpfr_init(r23031); mpfr_init(r23032); mpfr_init(r23033); mpfr_init_set_str(r23034, "3", 10, MPFR_RNDN); mpfr_init(r23035); mpfr_init(r23036); mpfr_init(r23037); mpfr_init(r23038); mpfr_init(r23039); mpfr_init(r23040); mpfr_init(r23041); mpfr_init(r23042); mpfr_init(r23043); mpfr_init(r23044); mpfr_init(r23045); mpfr_init(r23046); mpfr_init(r23047); mpfr_init(r23048); mpfr_init(r23049); mpfr_init_set_str(r23050, "0.5", 10, MPFR_RNDN); mpfr_init(r23051); mpfr_init(r23052); mpfr_init(r23053); mpfr_init(r23054); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r23030, x, MPFR_RNDN); mpfr_set_d(r23031, y, MPFR_RNDN); mpfr_add(r23032, r23030, r23031, MPFR_RNDN); mpfr_log(r23033, r23032, MPFR_RNDN); ; mpfr_pow(r23035, r23033, r23034, MPFR_RNDN); mpfr_set_d(r23036, z, MPFR_RNDN); mpfr_log(r23037, r23036, MPFR_RNDN); mpfr_pow(r23038, r23037, r23034, MPFR_RNDN); mpfr_add(r23039, r23035, r23038, MPFR_RNDN); mpfr_add(r23040, r23031, r23030, MPFR_RNDN); mpfr_log(r23041, r23040, MPFR_RNDN); mpfr_mul(r23042, r23041, r23041, MPFR_RNDN); mpfr_sub(r23043, r23041, r23037, MPFR_RNDN); mpfr_mul(r23044, r23037, r23043, MPFR_RNDN); mpfr_sub(r23045, r23042, r23044, MPFR_RNDN); mpfr_div(r23046, r23039, r23045, MPFR_RNDN); mpfr_set_d(r23047, t, MPFR_RNDN); mpfr_sub(r23048, r23046, r23047, MPFR_RNDN); mpfr_set_d(r23049, a, MPFR_RNDN); ; mpfr_sub(r23051, r23049, r23050, MPFR_RNDN); mpfr_log(r23052, r23047, MPFR_RNDN); mpfr_mul(r23053, r23051, r23052, MPFR_RNDN); mpfr_add(r23054, r23048, r23053, MPFR_RNDN); return mpfr_get_d(r23054, MPFR_RNDN); }