#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 r22918 = x; float r22919 = y; float r22920 = r22918 + r22919; float r22921 = log(r22920); float r22922 = z; float r22923 = log(r22922); float r22924 = r22921 + r22923; float r22925 = t; float r22926 = r22924 - r22925; float r22927 = a; float r22928 = 0.5; float r22929 = r22927 - r22928; float r22930 = log(r22925); float r22931 = r22929 * r22930; float r22932 = r22926 + r22931; return r22932; } double f_id(double x, double y, double z, double t, double a) { double r22933 = x; double r22934 = y; double r22935 = r22933 + r22934; double r22936 = log(r22935); double r22937 = z; double r22938 = log(r22937); double r22939 = r22936 + r22938; double r22940 = t; double r22941 = r22939 - r22940; double r22942 = a; double r22943 = 0.5; double r22944 = r22942 - r22943; double r22945 = log(r22940); double r22946 = r22944 * r22945; double r22947 = r22941 + r22946; return r22947; } double f_of(float x, float y, float z, float t, float a) { float r22948 = x; float r22949 = y; float r22950 = r22948 + r22949; float r22951 = log(r22950); float r22952 = z; float r22953 = log(r22952); float r22954 = r22951 + r22953; float r22955 = t; float r22956 = r22954 - r22955; float r22957 = a; float r22958 = 0.5; float r22959 = r22957 - r22958; float r22960 = log(r22955); float r22961 = r22959 * r22960; float r22962 = r22956 + r22961; return r22962; } double f_od(double x, double y, double z, double t, double a) { double r22963 = x; double r22964 = y; double r22965 = r22963 + r22964; double r22966 = log(r22965); double r22967 = z; double r22968 = log(r22967); double r22969 = r22966 + r22968; double r22970 = t; double r22971 = r22969 - r22970; double r22972 = a; double r22973 = 0.5; double r22974 = r22972 - r22973; double r22975 = log(r22970); double r22976 = r22974 * r22975; double r22977 = r22971 + r22976; return r22977; } 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 r22978, r22979, r22980, r22981, r22982, r22983, r22984, r22985, r22986, r22987, r22988, r22989, r22990, r22991, r22992; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22978); mpfr_init(r22979); mpfr_init(r22980); mpfr_init(r22981); mpfr_init(r22982); mpfr_init(r22983); mpfr_init(r22984); mpfr_init(r22985); mpfr_init(r22986); mpfr_init(r22987); mpfr_init_set_str(r22988, "0.5", 10, MPFR_RNDN); mpfr_init(r22989); mpfr_init(r22990); mpfr_init(r22991); mpfr_init(r22992); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r22978, x, MPFR_RNDN); mpfr_set_d(r22979, y, MPFR_RNDN); mpfr_add(r22980, r22978, r22979, MPFR_RNDN); mpfr_log(r22981, r22980, MPFR_RNDN); mpfr_set_d(r22982, z, MPFR_RNDN); mpfr_log(r22983, r22982, MPFR_RNDN); mpfr_add(r22984, r22981, r22983, MPFR_RNDN); mpfr_set_d(r22985, t, MPFR_RNDN); mpfr_sub(r22986, r22984, r22985, MPFR_RNDN); mpfr_set_d(r22987, a, MPFR_RNDN); ; mpfr_sub(r22989, r22987, r22988, MPFR_RNDN); mpfr_log(r22990, r22985, MPFR_RNDN); mpfr_mul(r22991, r22989, r22990, MPFR_RNDN); mpfr_add(r22992, r22986, r22991, MPFR_RNDN); return mpfr_get_d(r22992, MPFR_RNDN); } static mpfr_t r22993, r22994, r22995, r22996, r22997, r22998, r22999, r23000, r23001, r23002, r23003, r23004, r23005, r23006, r23007; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22993); mpfr_init(r22994); mpfr_init(r22995); mpfr_init(r22996); mpfr_init(r22997); mpfr_init(r22998); mpfr_init(r22999); mpfr_init(r23000); mpfr_init(r23001); mpfr_init(r23002); mpfr_init_set_str(r23003, "0.5", 10, MPFR_RNDN); mpfr_init(r23004); mpfr_init(r23005); mpfr_init(r23006); mpfr_init(r23007); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r22993, x, MPFR_RNDN); mpfr_set_d(r22994, y, MPFR_RNDN); mpfr_add(r22995, r22993, r22994, MPFR_RNDN); mpfr_log(r22996, r22995, MPFR_RNDN); mpfr_set_d(r22997, z, MPFR_RNDN); mpfr_log(r22998, r22997, MPFR_RNDN); mpfr_add(r22999, r22996, r22998, MPFR_RNDN); mpfr_set_d(r23000, t, MPFR_RNDN); mpfr_sub(r23001, r22999, r23000, MPFR_RNDN); mpfr_set_d(r23002, a, MPFR_RNDN); ; mpfr_sub(r23004, r23002, r23003, MPFR_RNDN); mpfr_log(r23005, r23000, MPFR_RNDN); mpfr_mul(r23006, r23004, r23005, MPFR_RNDN); mpfr_add(r23007, r23001, r23006, MPFR_RNDN); return mpfr_get_d(r23007, MPFR_RNDN); } static mpfr_t r23008, r23009, r23010, r23011, r23012, r23013, r23014, r23015, r23016, r23017, r23018, r23019, r23020, r23021, r23022; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23008); mpfr_init(r23009); 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_set_str(r23018, "0.5", 10, MPFR_RNDN); mpfr_init(r23019); mpfr_init(r23020); mpfr_init(r23021); mpfr_init(r23022); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r23008, x, MPFR_RNDN); mpfr_set_d(r23009, y, MPFR_RNDN); mpfr_add(r23010, r23008, r23009, MPFR_RNDN); mpfr_log(r23011, r23010, MPFR_RNDN); mpfr_set_d(r23012, z, MPFR_RNDN); mpfr_log(r23013, r23012, MPFR_RNDN); mpfr_add(r23014, r23011, r23013, MPFR_RNDN); mpfr_set_d(r23015, t, MPFR_RNDN); mpfr_sub(r23016, r23014, r23015, MPFR_RNDN); mpfr_set_d(r23017, a, MPFR_RNDN); ; mpfr_sub(r23019, r23017, r23018, MPFR_RNDN); mpfr_log(r23020, r23015, MPFR_RNDN); mpfr_mul(r23021, r23019, r23020, MPFR_RNDN); mpfr_add(r23022, r23016, r23021, MPFR_RNDN); return mpfr_get_d(r23022, MPFR_RNDN); }