#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 r21975 = x; float r21976 = y; float r21977 = r21975 + r21976; float r21978 = log(r21977); float r21979 = z; float r21980 = log(r21979); float r21981 = r21978 + r21980; float r21982 = t; float r21983 = r21981 - r21982; float r21984 = a; float r21985 = 0.5; float r21986 = r21984 - r21985; float r21987 = log(r21982); float r21988 = r21986 * r21987; float r21989 = r21983 + r21988; return r21989; } double f_id(double x, double y, double z, double t, double a) { double r21990 = x; double r21991 = y; double r21992 = r21990 + r21991; double r21993 = log(r21992); double r21994 = z; double r21995 = log(r21994); double r21996 = r21993 + r21995; double r21997 = t; double r21998 = r21996 - r21997; double r21999 = a; double r22000 = 0.5; double r22001 = r21999 - r22000; double r22002 = log(r21997); double r22003 = r22001 * r22002; double r22004 = r21998 + r22003; return r22004; } double f_of(float x, float y, float z, float t, float a) { float r22005 = x; float r22006 = y; float r22007 = r22005 + r22006; float r22008 = log(r22007); float r22009 = cbrt(r22008); float r22010 = r22009 * r22009; float r22011 = z; float r22012 = log(r22011); float r22013 = fma(r22010, r22009, r22012); float r22014 = t; float r22015 = r22013 - r22014; float r22016 = a; float r22017 = 0.5; float r22018 = r22016 - r22017; float r22019 = log(r22014); float r22020 = r22018 * r22019; float r22021 = r22015 + r22020; return r22021; } double f_od(double x, double y, double z, double t, double a) { double r22022 = x; double r22023 = y; double r22024 = r22022 + r22023; double r22025 = log(r22024); double r22026 = cbrt(r22025); double r22027 = r22026 * r22026; double r22028 = z; double r22029 = log(r22028); double r22030 = fma(r22027, r22026, r22029); double r22031 = t; double r22032 = r22030 - r22031; double r22033 = a; double r22034 = 0.5; double r22035 = r22033 - r22034; double r22036 = log(r22031); double r22037 = r22035 * r22036; double r22038 = r22032 + r22037; return r22038; } 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 r22039, r22040, r22041, r22042, r22043, r22044, r22045, r22046, r22047, r22048, r22049, r22050, r22051, r22052, r22053; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22039); mpfr_init(r22040); mpfr_init(r22041); mpfr_init(r22042); mpfr_init(r22043); mpfr_init(r22044); mpfr_init(r22045); mpfr_init(r22046); mpfr_init(r22047); mpfr_init(r22048); mpfr_init_set_str(r22049, "0.5", 10, MPFR_RNDN); mpfr_init(r22050); mpfr_init(r22051); mpfr_init(r22052); mpfr_init(r22053); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r22039, x, MPFR_RNDN); mpfr_set_d(r22040, y, MPFR_RNDN); mpfr_add(r22041, r22039, r22040, MPFR_RNDN); mpfr_log(r22042, r22041, MPFR_RNDN); mpfr_set_d(r22043, z, MPFR_RNDN); mpfr_log(r22044, r22043, MPFR_RNDN); mpfr_add(r22045, r22042, r22044, MPFR_RNDN); mpfr_set_d(r22046, t, MPFR_RNDN); mpfr_sub(r22047, r22045, r22046, MPFR_RNDN); mpfr_set_d(r22048, a, MPFR_RNDN); ; mpfr_sub(r22050, r22048, r22049, MPFR_RNDN); mpfr_log(r22051, r22046, MPFR_RNDN); mpfr_mul(r22052, r22050, r22051, MPFR_RNDN); mpfr_add(r22053, r22047, r22052, MPFR_RNDN); return mpfr_get_d(r22053, MPFR_RNDN); } static mpfr_t r22054, r22055, r22056, r22057, r22058, r22059, r22060, r22061, r22062, r22063, r22064, r22065, r22066, r22067, r22068, r22069, r22070; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22054); mpfr_init(r22055); mpfr_init(r22056); mpfr_init(r22057); mpfr_init(r22058); mpfr_init(r22059); mpfr_init(r22060); mpfr_init(r22061); mpfr_init(r22062); mpfr_init(r22063); mpfr_init(r22064); mpfr_init(r22065); mpfr_init_set_str(r22066, "0.5", 10, MPFR_RNDN); mpfr_init(r22067); mpfr_init(r22068); mpfr_init(r22069); mpfr_init(r22070); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r22054, x, MPFR_RNDN); mpfr_set_d(r22055, y, MPFR_RNDN); mpfr_add(r22056, r22054, r22055, MPFR_RNDN); mpfr_log(r22057, r22056, MPFR_RNDN); mpfr_cbrt(r22058, r22057, MPFR_RNDN); mpfr_mul(r22059, r22058, r22058, MPFR_RNDN); mpfr_set_d(r22060, z, MPFR_RNDN); mpfr_log(r22061, r22060, MPFR_RNDN); mpfr_fma(r22062, r22059, r22058, r22061, MPFR_RNDN); mpfr_set_d(r22063, t, MPFR_RNDN); mpfr_sub(r22064, r22062, r22063, MPFR_RNDN); mpfr_set_d(r22065, a, MPFR_RNDN); ; mpfr_sub(r22067, r22065, r22066, MPFR_RNDN); mpfr_log(r22068, r22063, MPFR_RNDN); mpfr_mul(r22069, r22067, r22068, MPFR_RNDN); mpfr_add(r22070, r22064, r22069, MPFR_RNDN); return mpfr_get_d(r22070, MPFR_RNDN); } static mpfr_t r22071, r22072, r22073, r22074, r22075, r22076, r22077, r22078, r22079, r22080, r22081, r22082, r22083, r22084, r22085, r22086, r22087; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r22071); mpfr_init(r22072); mpfr_init(r22073); mpfr_init(r22074); mpfr_init(r22075); mpfr_init(r22076); mpfr_init(r22077); mpfr_init(r22078); mpfr_init(r22079); mpfr_init(r22080); mpfr_init(r22081); mpfr_init(r22082); mpfr_init_set_str(r22083, "0.5", 10, MPFR_RNDN); mpfr_init(r22084); mpfr_init(r22085); mpfr_init(r22086); mpfr_init(r22087); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r22071, x, MPFR_RNDN); mpfr_set_d(r22072, y, MPFR_RNDN); mpfr_add(r22073, r22071, r22072, MPFR_RNDN); mpfr_log(r22074, r22073, MPFR_RNDN); mpfr_cbrt(r22075, r22074, MPFR_RNDN); mpfr_mul(r22076, r22075, r22075, MPFR_RNDN); mpfr_set_d(r22077, z, MPFR_RNDN); mpfr_log(r22078, r22077, MPFR_RNDN); mpfr_fma(r22079, r22076, r22075, r22078, MPFR_RNDN); mpfr_set_d(r22080, t, MPFR_RNDN); mpfr_sub(r22081, r22079, r22080, MPFR_RNDN); mpfr_set_d(r22082, a, MPFR_RNDN); ; mpfr_sub(r22084, r22082, r22083, MPFR_RNDN); mpfr_log(r22085, r22080, MPFR_RNDN); mpfr_mul(r22086, r22084, r22085, MPFR_RNDN); mpfr_add(r22087, r22081, r22086, MPFR_RNDN); return mpfr_get_d(r22087, MPFR_RNDN); }