#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 r16575 = x; float r16576 = y; float r16577 = z; float r16578 = log(r16577); float r16579 = r16576 * r16578; float r16580 = t; float r16581 = 1.0f; float r16582 = r16580 - r16581; float r16583 = a; float r16584 = log(r16583); float r16585 = r16582 * r16584; float r16586 = r16579 + r16585; float r16587 = b; float r16588 = r16586 - r16587; float r16589 = exp(r16588); float r16590 = r16575 * r16589; float r16591 = r16590 / r16576; return r16591; } double f_id(double x, double y, double z, double t, double a, double b) { double r16592 = x; double r16593 = y; double r16594 = z; double r16595 = log(r16594); double r16596 = r16593 * r16595; double r16597 = t; double r16598 = 1.0; double r16599 = r16597 - r16598; double r16600 = a; double r16601 = log(r16600); double r16602 = r16599 * r16601; double r16603 = r16596 + r16602; double r16604 = b; double r16605 = r16603 - r16604; double r16606 = exp(r16605); double r16607 = r16592 * r16606; double r16608 = r16607 / r16593; return r16608; } double f_of(float x, float y, float z, float t, float a, float b) { float r16609 = b; float r16610 = -26.997411727905273f; bool r16611 = r16609 <= r16610; float r16612 = x; float r16613 = 1.0f; float r16614 = r16613 / r16609; float r16615 = exp(r16614); float r16616 = r16612 / r16615; float r16617 = y; float r16618 = z; float r16619 = pow(r16618, r16617); float r16620 = r16617 / r16619; float r16621 = a; float r16622 = t; float r16623 = 1.0f; float r16624 = r16622 - r16623; float r16625 = pow(r16621, r16624); float r16626 = r16620 / r16625; float r16627 = r16616 / r16626; float r16628 = exp(r16609); float r16629 = r16612 / r16628; float r16630 = sqrt(r16625); float r16631 = r16630 * r16630; float r16632 = r16620 / r16631; float r16633 = r16629 / r16632; float r16634 = r16611 ? r16627 : r16633; return r16634; } double f_od(double x, double y, double z, double t, double a, double b) { double r16635 = b; double r16636 = -26.997411727905273; bool r16637 = r16635 <= r16636; double r16638 = x; double r16639 = 1.0; double r16640 = r16639 / r16635; double r16641 = exp(r16640); double r16642 = r16638 / r16641; double r16643 = y; double r16644 = z; double r16645 = pow(r16644, r16643); double r16646 = r16643 / r16645; double r16647 = a; double r16648 = t; double r16649 = 1.0; double r16650 = r16648 - r16649; double r16651 = pow(r16647, r16650); double r16652 = r16646 / r16651; double r16653 = r16642 / r16652; double r16654 = exp(r16635); double r16655 = r16638 / r16654; double r16656 = sqrt(r16651); double r16657 = r16656 * r16656; double r16658 = r16646 / r16657; double r16659 = r16655 / r16658; double r16660 = r16637 ? r16653 : r16659; return r16660; } 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 r16661, r16662, r16663, r16664, r16665, r16666, r16667, r16668, r16669, r16670, r16671, r16672, r16673, r16674, r16675, r16676, r16677; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16661); mpfr_init(r16662); mpfr_init(r16663); mpfr_init(r16664); mpfr_init(r16665); mpfr_init(r16666); mpfr_init_set_str(r16667, "1.0", 10, MPFR_RNDN); mpfr_init(r16668); mpfr_init(r16669); mpfr_init(r16670); mpfr_init(r16671); mpfr_init(r16672); mpfr_init(r16673); mpfr_init(r16674); mpfr_init(r16675); mpfr_init(r16676); mpfr_init(r16677); } double f_im(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r16661, x, MPFR_RNDN); mpfr_set_d(r16662, y, MPFR_RNDN); mpfr_set_d(r16663, z, MPFR_RNDN); mpfr_log(r16664, r16663, MPFR_RNDN); mpfr_mul(r16665, r16662, r16664, MPFR_RNDN); mpfr_set_d(r16666, t, MPFR_RNDN); ; mpfr_sub(r16668, r16666, r16667, MPFR_RNDN); mpfr_set_d(r16669, a, MPFR_RNDN); mpfr_log(r16670, r16669, MPFR_RNDN); mpfr_mul(r16671, r16668, r16670, MPFR_RNDN); mpfr_add(r16672, r16665, r16671, MPFR_RNDN); mpfr_set_d(r16673, b, MPFR_RNDN); mpfr_sub(r16674, r16672, r16673, MPFR_RNDN); mpfr_exp(r16675, r16674, MPFR_RNDN); mpfr_mul(r16676, r16661, r16675, MPFR_RNDN); mpfr_div(r16677, r16676, r16662, MPFR_RNDN); return mpfr_get_d(r16677, MPFR_RNDN); } static mpfr_t r16678, r16679, r16680, r16681, r16682, r16683, r16684, r16685, r16686, r16687, r16688, r16689, r16690, r16691, r16692, r16693, r16694, r16695, r16696, r16697, r16698, r16699, r16700, r16701, r16702, r16703; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16678); mpfr_init_set_str(r16679, "-26.997412f0", 10, MPFR_RNDN); mpfr_init(r16680); mpfr_init(r16681); mpfr_init_set_str(r16682, "1", 10, MPFR_RNDN); mpfr_init(r16683); mpfr_init(r16684); mpfr_init(r16685); mpfr_init(r16686); mpfr_init(r16687); mpfr_init(r16688); mpfr_init(r16689); mpfr_init(r16690); mpfr_init(r16691); mpfr_init_set_str(r16692, "1.0", 10, MPFR_RNDN); mpfr_init(r16693); mpfr_init(r16694); mpfr_init(r16695); mpfr_init(r16696); mpfr_init(r16697); mpfr_init(r16698); mpfr_init(r16699); mpfr_init(r16700); mpfr_init(r16701); mpfr_init(r16702); mpfr_init(r16703); } double f_fm(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r16678, b, MPFR_RNDN); ; mpfr_set_si(r16680, mpfr_cmp(r16678, r16679) <= 0, MPFR_RNDN); mpfr_set_d(r16681, x, MPFR_RNDN); ; mpfr_div(r16683, r16682, r16678, MPFR_RNDN); mpfr_exp(r16684, r16683, MPFR_RNDN); mpfr_div(r16685, r16681, r16684, MPFR_RNDN); mpfr_set_d(r16686, y, MPFR_RNDN); mpfr_set_d(r16687, z, MPFR_RNDN); mpfr_pow(r16688, r16687, r16686, MPFR_RNDN); mpfr_div(r16689, r16686, r16688, MPFR_RNDN); mpfr_set_d(r16690, a, MPFR_RNDN); mpfr_set_d(r16691, t, MPFR_RNDN); ; mpfr_sub(r16693, r16691, r16692, MPFR_RNDN); mpfr_pow(r16694, r16690, r16693, MPFR_RNDN); mpfr_div(r16695, r16689, r16694, MPFR_RNDN); mpfr_div(r16696, r16685, r16695, MPFR_RNDN); mpfr_exp(r16697, r16678, MPFR_RNDN); mpfr_div(r16698, r16681, r16697, MPFR_RNDN); mpfr_sqrt(r16699, r16694, MPFR_RNDN); mpfr_sqr(r16700, r16699, MPFR_RNDN); mpfr_div(r16701, r16689, r16700, MPFR_RNDN); mpfr_div(r16702, r16698, r16701, MPFR_RNDN); if (mpfr_get_si(r16680, MPFR_RNDN)) { mpfr_set(r16703, r16696, MPFR_RNDN); } else { mpfr_set(r16703, r16702, MPFR_RNDN); }; return mpfr_get_d(r16703, MPFR_RNDN); } static mpfr_t r16704, r16705, r16706, r16707, r16708, r16709, r16710, r16711, r16712, r16713, r16714, r16715, r16716, r16717, r16718, r16719, r16720, r16721, r16722, r16723, r16724, r16725, r16726, r16727, r16728, r16729; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16704); mpfr_init_set_str(r16705, "-26.997412f0", 10, MPFR_RNDN); mpfr_init(r16706); mpfr_init(r16707); mpfr_init_set_str(r16708, "1", 10, MPFR_RNDN); mpfr_init(r16709); mpfr_init(r16710); mpfr_init(r16711); mpfr_init(r16712); mpfr_init(r16713); mpfr_init(r16714); mpfr_init(r16715); mpfr_init(r16716); mpfr_init(r16717); mpfr_init_set_str(r16718, "1.0", 10, MPFR_RNDN); mpfr_init(r16719); mpfr_init(r16720); mpfr_init(r16721); mpfr_init(r16722); mpfr_init(r16723); mpfr_init(r16724); mpfr_init(r16725); mpfr_init(r16726); mpfr_init(r16727); mpfr_init(r16728); mpfr_init(r16729); } double f_dm(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r16704, b, MPFR_RNDN); ; mpfr_set_si(r16706, mpfr_cmp(r16704, r16705) <= 0, MPFR_RNDN); mpfr_set_d(r16707, x, MPFR_RNDN); ; mpfr_div(r16709, r16708, r16704, MPFR_RNDN); mpfr_exp(r16710, r16709, MPFR_RNDN); mpfr_div(r16711, r16707, r16710, MPFR_RNDN); mpfr_set_d(r16712, y, MPFR_RNDN); mpfr_set_d(r16713, z, MPFR_RNDN); mpfr_pow(r16714, r16713, r16712, MPFR_RNDN); mpfr_div(r16715, r16712, r16714, MPFR_RNDN); mpfr_set_d(r16716, a, MPFR_RNDN); mpfr_set_d(r16717, t, MPFR_RNDN); ; mpfr_sub(r16719, r16717, r16718, MPFR_RNDN); mpfr_pow(r16720, r16716, r16719, MPFR_RNDN); mpfr_div(r16721, r16715, r16720, MPFR_RNDN); mpfr_div(r16722, r16711, r16721, MPFR_RNDN); mpfr_exp(r16723, r16704, MPFR_RNDN); mpfr_div(r16724, r16707, r16723, MPFR_RNDN); mpfr_sqrt(r16725, r16720, MPFR_RNDN); mpfr_sqr(r16726, r16725, MPFR_RNDN); mpfr_div(r16727, r16715, r16726, MPFR_RNDN); mpfr_div(r16728, r16724, r16727, MPFR_RNDN); if (mpfr_get_si(r16706, MPFR_RNDN)) { mpfr_set(r16729, r16722, MPFR_RNDN); } else { mpfr_set(r16729, r16728, MPFR_RNDN); }; return mpfr_get_d(r16729, MPFR_RNDN); }