#include #include #include #include #include char *name = "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2"; double f_if(float x, float y, float z, float t, float a, float b) { float r25951 = x; float r25952 = y; float r25953 = z; float r25954 = log(r25953); float r25955 = r25952 * r25954; float r25956 = t; float r25957 = 1.0; float r25958 = r25956 - r25957; float r25959 = a; float r25960 = log(r25959); float r25961 = r25958 * r25960; float r25962 = r25955 + r25961; float r25963 = b; float r25964 = r25962 - r25963; float r25965 = exp(r25964); float r25966 = r25951 * r25965; float r25967 = r25966 / r25952; return r25967; } double f_id(double x, double y, double z, double t, double a, double b) { double r25968 = x; double r25969 = y; double r25970 = z; double r25971 = log(r25970); double r25972 = r25969 * r25971; double r25973 = t; double r25974 = 1.0; double r25975 = r25973 - r25974; double r25976 = a; double r25977 = log(r25976); double r25978 = r25975 * r25977; double r25979 = r25972 + r25978; double r25980 = b; double r25981 = r25979 - r25980; double r25982 = exp(r25981); double r25983 = r25968 * r25982; double r25984 = r25983 / r25969; return r25984; } double f_of(float x, float y, float z, float t, float a, float b) { float r25985 = t; float r25986 = 1.0; float r25987 = r25985 - r25986; float r25988 = a; float r25989 = log(r25988); float r25990 = r25987 * r25989; float r25991 = -633.2291883233237; bool r25992 = r25990 <= r25991; float r25993 = -233.52457813789584; bool r25994 = r25990 <= r25993; float r25995 = !r25994; bool r25996 = r25992 || r25995; float r25997 = exp(1.0); float r25998 = z; float r25999 = log(r25998); float r26000 = y; float r26001 = r25999 * r26000; float r26002 = r26001 + r25990; float r26003 = b; float r26004 = r26002 - r26003; float r26005 = pow(r25997, r26004); float r26006 = x; float r26007 = r26005 * r26006; float r26008 = r26007 / r26000; float r26009 = r26000 * r26006; float r26010 = r25999 * r26009; float r26011 = r26010 + r26006; float r26012 = exp(r26003); float r26013 = r26000 * r26012; float r26014 = pow(r25988, r25987); float r26015 = r26013 / r26014; float r26016 = r26011 / r26015; float r26017 = r25996 ? r26008 : r26016; return r26017; } double f_od(double x, double y, double z, double t, double a, double b) { double r26018 = t; double r26019 = 1.0; double r26020 = r26018 - r26019; double r26021 = a; double r26022 = log(r26021); double r26023 = r26020 * r26022; double r26024 = -633.2291883233237; bool r26025 = r26023 <= r26024; double r26026 = -233.52457813789584; bool r26027 = r26023 <= r26026; double r26028 = !r26027; bool r26029 = r26025 || r26028; double r26030 = exp(1.0); double r26031 = z; double r26032 = log(r26031); double r26033 = y; double r26034 = r26032 * r26033; double r26035 = r26034 + r26023; double r26036 = b; double r26037 = r26035 - r26036; double r26038 = pow(r26030, r26037); double r26039 = x; double r26040 = r26038 * r26039; double r26041 = r26040 / r26033; double r26042 = r26033 * r26039; double r26043 = r26032 * r26042; double r26044 = r26043 + r26039; double r26045 = exp(r26036); double r26046 = r26033 * r26045; double r26047 = pow(r26021, r26020); double r26048 = r26046 / r26047; double r26049 = r26044 / r26048; double r26050 = r26029 ? r26041 : r26049; return r26050; } 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 r26051, r26052, r26053, r26054, r26055, r26056, r26057, r26058, r26059, r26060, r26061, r26062, r26063, r26064, r26065, r26066, r26067; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r26051); mpfr_init(r26052); mpfr_init(r26053); mpfr_init(r26054); mpfr_init(r26055); mpfr_init(r26056); mpfr_init_set_str(r26057, "1.0", 10, MPFR_RNDN); mpfr_init(r26058); mpfr_init(r26059); mpfr_init(r26060); mpfr_init(r26061); mpfr_init(r26062); mpfr_init(r26063); mpfr_init(r26064); mpfr_init(r26065); mpfr_init(r26066); mpfr_init(r26067); } double f_im(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r26051, x, MPFR_RNDN); mpfr_set_d(r26052, y, MPFR_RNDN); mpfr_set_d(r26053, z, MPFR_RNDN); mpfr_log(r26054, r26053, MPFR_RNDN); mpfr_mul(r26055, r26052, r26054, MPFR_RNDN); mpfr_set_d(r26056, t, MPFR_RNDN); ; mpfr_sub(r26058, r26056, r26057, MPFR_RNDN); mpfr_set_d(r26059, a, MPFR_RNDN); mpfr_log(r26060, r26059, MPFR_RNDN); mpfr_mul(r26061, r26058, r26060, MPFR_RNDN); mpfr_add(r26062, r26055, r26061, MPFR_RNDN); mpfr_set_d(r26063, b, MPFR_RNDN); mpfr_sub(r26064, r26062, r26063, MPFR_RNDN); mpfr_exp(r26065, r26064, MPFR_RNDN); mpfr_mul(r26066, r26051, r26065, MPFR_RNDN); mpfr_div(r26067, r26066, r26052, MPFR_RNDN); return mpfr_get_d(r26067, MPFR_RNDN); } static mpfr_t r26068, r26069, r26070, r26071, r26072, r26073, r26074, r26075, r26076, r26077, r26078, r26079, r26080, r26081, r26082, r26083, r26084, r26085, r26086, r26087, r26088, r26089, r26090, r26091, r26092, r26093, r26094, r26095, r26096, r26097, r26098, r26099, r26100; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r26068); mpfr_init_set_str(r26069, "1.0", 10, MPFR_RNDN); mpfr_init(r26070); mpfr_init(r26071); mpfr_init(r26072); mpfr_init(r26073); mpfr_init_set_str(r26074, "-633.2291883233237", 10, MPFR_RNDN); mpfr_init(r26075); mpfr_init_set_str(r26076, "-233.52457813789584", 10, MPFR_RNDN); mpfr_init(r26077); mpfr_init(r26078); mpfr_init(r26079); mpfr_init(r26080); mpfr_init(r26081); mpfr_init(r26082); mpfr_init(r26083); mpfr_init(r26084); mpfr_init(r26085); mpfr_init(r26086); mpfr_init(r26087); mpfr_init(r26088); mpfr_init(r26089); mpfr_init(r26090); mpfr_init(r26091); mpfr_init(r26092); mpfr_init(r26093); mpfr_init(r26094); mpfr_init(r26095); mpfr_init(r26096); mpfr_init(r26097); mpfr_init(r26098); mpfr_init(r26099); mpfr_init(r26100); } double f_fm(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r26068, t, MPFR_RNDN); ; mpfr_sub(r26070, r26068, r26069, MPFR_RNDN); mpfr_set_d(r26071, a, MPFR_RNDN); mpfr_log(r26072, r26071, MPFR_RNDN); mpfr_mul(r26073, r26070, r26072, MPFR_RNDN); ; mpfr_set_si(r26075, mpfr_cmp(r26073, r26074) <= 0, MPFR_RNDN); ; mpfr_set_si(r26077, mpfr_cmp(r26073, r26076) <= 0, MPFR_RNDN); mpfr_set_si(r26078, !mpfr_get_si(r26077, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r26079, mpfr_get_si(r26075, MPFR_RNDN) || mpfr_get_si(r26078, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r26080, 1, MPFR_RNDN), mpfr_const_exp(r26080, r26080, MPFR_RNDN); mpfr_set_d(r26081, z, MPFR_RNDN); mpfr_log(r26082, r26081, MPFR_RNDN); mpfr_set_d(r26083, y, MPFR_RNDN); mpfr_mul(r26084, r26082, r26083, MPFR_RNDN); mpfr_add(r26085, r26084, r26073, MPFR_RNDN); mpfr_set_d(r26086, b, MPFR_RNDN); mpfr_sub(r26087, r26085, r26086, MPFR_RNDN); mpfr_pow(r26088, r26080, r26087, MPFR_RNDN); mpfr_set_d(r26089, x, MPFR_RNDN); mpfr_mul(r26090, r26088, r26089, MPFR_RNDN); mpfr_div(r26091, r26090, r26083, MPFR_RNDN); mpfr_mul(r26092, r26083, r26089, MPFR_RNDN); mpfr_mul(r26093, r26082, r26092, MPFR_RNDN); mpfr_add(r26094, r26093, r26089, MPFR_RNDN); mpfr_exp(r26095, r26086, MPFR_RNDN); mpfr_mul(r26096, r26083, r26095, MPFR_RNDN); mpfr_pow(r26097, r26071, r26070, MPFR_RNDN); mpfr_div(r26098, r26096, r26097, MPFR_RNDN); mpfr_div(r26099, r26094, r26098, MPFR_RNDN); if (mpfr_get_si(r26079, MPFR_RNDN)) { mpfr_set(r26100, r26091, MPFR_RNDN); } else { mpfr_set(r26100, r26099, MPFR_RNDN); }; return mpfr_get_d(r26100, MPFR_RNDN); } static mpfr_t r26101, r26102, r26103, r26104, r26105, r26106, r26107, r26108, r26109, r26110, r26111, r26112, r26113, r26114, r26115, r26116, r26117, r26118, r26119, r26120, r26121, r26122, r26123, r26124, r26125, r26126, r26127, r26128, r26129, r26130, r26131, r26132, r26133; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r26101); mpfr_init_set_str(r26102, "1.0", 10, MPFR_RNDN); mpfr_init(r26103); mpfr_init(r26104); mpfr_init(r26105); mpfr_init(r26106); mpfr_init_set_str(r26107, "-633.2291883233237", 10, MPFR_RNDN); mpfr_init(r26108); mpfr_init_set_str(r26109, "-233.52457813789584", 10, MPFR_RNDN); mpfr_init(r26110); mpfr_init(r26111); mpfr_init(r26112); mpfr_init(r26113); mpfr_init(r26114); mpfr_init(r26115); mpfr_init(r26116); mpfr_init(r26117); mpfr_init(r26118); mpfr_init(r26119); mpfr_init(r26120); mpfr_init(r26121); mpfr_init(r26122); mpfr_init(r26123); mpfr_init(r26124); mpfr_init(r26125); mpfr_init(r26126); mpfr_init(r26127); mpfr_init(r26128); mpfr_init(r26129); mpfr_init(r26130); mpfr_init(r26131); mpfr_init(r26132); mpfr_init(r26133); } double f_dm(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r26101, t, MPFR_RNDN); ; mpfr_sub(r26103, r26101, r26102, MPFR_RNDN); mpfr_set_d(r26104, a, MPFR_RNDN); mpfr_log(r26105, r26104, MPFR_RNDN); mpfr_mul(r26106, r26103, r26105, MPFR_RNDN); ; mpfr_set_si(r26108, mpfr_cmp(r26106, r26107) <= 0, MPFR_RNDN); ; mpfr_set_si(r26110, mpfr_cmp(r26106, r26109) <= 0, MPFR_RNDN); mpfr_set_si(r26111, !mpfr_get_si(r26110, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r26112, mpfr_get_si(r26108, MPFR_RNDN) || mpfr_get_si(r26111, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r26113, 1, MPFR_RNDN), mpfr_const_exp(r26113, r26113, MPFR_RNDN); mpfr_set_d(r26114, z, MPFR_RNDN); mpfr_log(r26115, r26114, MPFR_RNDN); mpfr_set_d(r26116, y, MPFR_RNDN); mpfr_mul(r26117, r26115, r26116, MPFR_RNDN); mpfr_add(r26118, r26117, r26106, MPFR_RNDN); mpfr_set_d(r26119, b, MPFR_RNDN); mpfr_sub(r26120, r26118, r26119, MPFR_RNDN); mpfr_pow(r26121, r26113, r26120, MPFR_RNDN); mpfr_set_d(r26122, x, MPFR_RNDN); mpfr_mul(r26123, r26121, r26122, MPFR_RNDN); mpfr_div(r26124, r26123, r26116, MPFR_RNDN); mpfr_mul(r26125, r26116, r26122, MPFR_RNDN); mpfr_mul(r26126, r26115, r26125, MPFR_RNDN); mpfr_add(r26127, r26126, r26122, MPFR_RNDN); mpfr_exp(r26128, r26119, MPFR_RNDN); mpfr_mul(r26129, r26116, r26128, MPFR_RNDN); mpfr_pow(r26130, r26104, r26103, MPFR_RNDN); mpfr_div(r26131, r26129, r26130, MPFR_RNDN); mpfr_div(r26132, r26127, r26131, MPFR_RNDN); if (mpfr_get_si(r26112, MPFR_RNDN)) { mpfr_set(r26133, r26124, MPFR_RNDN); } else { mpfr_set(r26133, r26132, MPFR_RNDN); }; return mpfr_get_d(r26133, MPFR_RNDN); }