#include #include #include #include #include char *name = "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2"; double f_if(float x, float y, float z, float t, float a, float b, float c) { float r23017 = x; float r23018 = y; float r23019 = 2.0; float r23020 = z; float r23021 = t; float r23022 = a; float r23023 = r23021 + r23022; float r23024 = sqrt(r23023); float r23025 = r23020 * r23024; float r23026 = r23025 / r23021; float r23027 = b; float r23028 = c; float r23029 = r23027 - r23028; float r23030 = 5.0; float r23031 = 6.0; float r23032 = r23030 / r23031; float r23033 = r23022 + r23032; float r23034 = 3.0; float r23035 = r23021 * r23034; float r23036 = r23019 / r23035; float r23037 = r23033 - r23036; float r23038 = r23029 * r23037; float r23039 = r23026 - r23038; float r23040 = r23019 * r23039; float r23041 = exp(r23040); float r23042 = r23018 * r23041; float r23043 = r23017 + r23042; float r23044 = r23017 / r23043; return r23044; } double f_id(double x, double y, double z, double t, double a, double b, double c) { double r23045 = x; double r23046 = y; double r23047 = 2.0; double r23048 = z; double r23049 = t; double r23050 = a; double r23051 = r23049 + r23050; double r23052 = sqrt(r23051); double r23053 = r23048 * r23052; double r23054 = r23053 / r23049; double r23055 = b; double r23056 = c; double r23057 = r23055 - r23056; double r23058 = 5.0; double r23059 = 6.0; double r23060 = r23058 / r23059; double r23061 = r23050 + r23060; double r23062 = 3.0; double r23063 = r23049 * r23062; double r23064 = r23047 / r23063; double r23065 = r23061 - r23064; double r23066 = r23057 * r23065; double r23067 = r23054 - r23066; double r23068 = r23047 * r23067; double r23069 = exp(r23068); double r23070 = r23046 * r23069; double r23071 = r23045 + r23070; double r23072 = r23045 / r23071; return r23072; } double f_of(float x, float y, float z, float t, float a, float b, float c) { float r23073 = x; float r23074 = y; float r23075 = 2.0; float r23076 = a; float r23077 = 5.0; float r23078 = 6.0; float r23079 = r23077 / r23078; float r23080 = r23076 + r23079; float r23081 = 3.0; float r23082 = t; float r23083 = r23081 * r23082; float r23084 = r23075 / r23083; float r23085 = r23080 - r23084; float r23086 = c; float r23087 = b; float r23088 = r23086 - r23087; float r23089 = r23082 + r23076; float r23090 = sqrt(r23089); float r23091 = z; float r23092 = r23091 / r23082; float r23093 = r23090 * r23092; float r23094 = fma(r23085, r23088, r23093); float r23095 = 0; float r23096 = r23094 + r23095; float r23097 = r23075 * r23096; float r23098 = exp(r23097); float r23099 = r23074 * r23098; float r23100 = r23073 + r23099; float r23101 = r23073 / r23100; return r23101; } double f_od(double x, double y, double z, double t, double a, double b, double c) { double r23102 = x; double r23103 = y; double r23104 = 2.0; double r23105 = a; double r23106 = 5.0; double r23107 = 6.0; double r23108 = r23106 / r23107; double r23109 = r23105 + r23108; double r23110 = 3.0; double r23111 = t; double r23112 = r23110 * r23111; double r23113 = r23104 / r23112; double r23114 = r23109 - r23113; double r23115 = c; double r23116 = b; double r23117 = r23115 - r23116; double r23118 = r23111 + r23105; double r23119 = sqrt(r23118); double r23120 = z; double r23121 = r23120 / r23111; double r23122 = r23119 * r23121; double r23123 = fma(r23114, r23117, r23122); double r23124 = 0; double r23125 = r23123 + r23124; double r23126 = r23104 * r23125; double r23127 = exp(r23126); double r23128 = r23103 * r23127; double r23129 = r23102 + r23128; double r23130 = r23102 / r23129; return r23130; } 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 r23131, r23132, r23133, r23134, r23135, r23136, r23137, r23138, r23139, r23140, r23141, r23142, r23143, r23144, r23145, r23146, r23147, r23148, r23149, r23150, r23151, r23152, r23153, r23154, r23155, r23156, r23157, r23158; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init(r23131); mpfr_init(r23132); mpfr_init_set_str(r23133, "2.0", 10, MPFR_RNDN); mpfr_init(r23134); mpfr_init(r23135); mpfr_init(r23136); mpfr_init(r23137); mpfr_init(r23138); mpfr_init(r23139); mpfr_init(r23140); mpfr_init(r23141); mpfr_init(r23142); mpfr_init(r23143); mpfr_init_set_str(r23144, "5.0", 10, MPFR_RNDN); mpfr_init_set_str(r23145, "6.0", 10, MPFR_RNDN); mpfr_init(r23146); mpfr_init(r23147); mpfr_init_set_str(r23148, "3.0", 10, MPFR_RNDN); mpfr_init(r23149); mpfr_init(r23150); mpfr_init(r23151); mpfr_init(r23152); mpfr_init(r23153); mpfr_init(r23154); mpfr_init(r23155); mpfr_init(r23156); mpfr_init(r23157); mpfr_init(r23158); } double f_im(double x, double y, double z, double t, double a, double b, double c) { mpfr_set_d(r23131, x, MPFR_RNDN); mpfr_set_d(r23132, y, MPFR_RNDN); ; mpfr_set_d(r23134, z, MPFR_RNDN); mpfr_set_d(r23135, t, MPFR_RNDN); mpfr_set_d(r23136, a, MPFR_RNDN); mpfr_add(r23137, r23135, r23136, MPFR_RNDN); mpfr_sqrt(r23138, r23137, MPFR_RNDN); mpfr_mul(r23139, r23134, r23138, MPFR_RNDN); mpfr_div(r23140, r23139, r23135, MPFR_RNDN); mpfr_set_d(r23141, b, MPFR_RNDN); mpfr_set_d(r23142, c, MPFR_RNDN); mpfr_sub(r23143, r23141, r23142, MPFR_RNDN); ; ; mpfr_div(r23146, r23144, r23145, MPFR_RNDN); mpfr_add(r23147, r23136, r23146, MPFR_RNDN); ; mpfr_mul(r23149, r23135, r23148, MPFR_RNDN); mpfr_div(r23150, r23133, r23149, MPFR_RNDN); mpfr_sub(r23151, r23147, r23150, MPFR_RNDN); mpfr_mul(r23152, r23143, r23151, MPFR_RNDN); mpfr_sub(r23153, r23140, r23152, MPFR_RNDN); mpfr_mul(r23154, r23133, r23153, MPFR_RNDN); mpfr_exp(r23155, r23154, MPFR_RNDN); mpfr_mul(r23156, r23132, r23155, MPFR_RNDN); mpfr_add(r23157, r23131, r23156, MPFR_RNDN); mpfr_div(r23158, r23131, r23157, MPFR_RNDN); return mpfr_get_d(r23158, MPFR_RNDN); } static mpfr_t r23159, r23160, r23161, r23162, r23163, r23164, r23165, r23166, r23167, r23168, r23169, r23170, r23171, r23172, r23173, r23174, r23175, r23176, r23177, r23178, r23179, r23180, r23181, r23182, r23183, r23184, r23185, r23186, r23187; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init(r23159); mpfr_init(r23160); mpfr_init_set_str(r23161, "2.0", 10, MPFR_RNDN); mpfr_init(r23162); mpfr_init_set_str(r23163, "5.0", 10, MPFR_RNDN); mpfr_init_set_str(r23164, "6.0", 10, MPFR_RNDN); mpfr_init(r23165); mpfr_init(r23166); mpfr_init_set_str(r23167, "3.0", 10, MPFR_RNDN); mpfr_init(r23168); mpfr_init(r23169); mpfr_init(r23170); mpfr_init(r23171); mpfr_init(r23172); mpfr_init(r23173); mpfr_init(r23174); mpfr_init(r23175); mpfr_init(r23176); mpfr_init(r23177); mpfr_init(r23178); mpfr_init(r23179); mpfr_init(r23180); mpfr_init_set_str(r23181, "0", 10, MPFR_RNDN); mpfr_init(r23182); mpfr_init(r23183); mpfr_init(r23184); mpfr_init(r23185); mpfr_init(r23186); mpfr_init(r23187); } double f_fm(double x, double y, double z, double t, double a, double b, double c) { mpfr_set_d(r23159, x, MPFR_RNDN); mpfr_set_d(r23160, y, MPFR_RNDN); ; mpfr_set_d(r23162, a, MPFR_RNDN); ; ; mpfr_div(r23165, r23163, r23164, MPFR_RNDN); mpfr_add(r23166, r23162, r23165, MPFR_RNDN); ; mpfr_set_d(r23168, t, MPFR_RNDN); mpfr_mul(r23169, r23167, r23168, MPFR_RNDN); mpfr_div(r23170, r23161, r23169, MPFR_RNDN); mpfr_sub(r23171, r23166, r23170, MPFR_RNDN); mpfr_set_d(r23172, c, MPFR_RNDN); mpfr_set_d(r23173, b, MPFR_RNDN); mpfr_sub(r23174, r23172, r23173, MPFR_RNDN); mpfr_add(r23175, r23168, r23162, MPFR_RNDN); mpfr_sqrt(r23176, r23175, MPFR_RNDN); mpfr_set_d(r23177, z, MPFR_RNDN); mpfr_div(r23178, r23177, r23168, MPFR_RNDN); mpfr_mul(r23179, r23176, r23178, MPFR_RNDN); mpfr_fma(r23180, r23171, r23174, r23179, MPFR_RNDN); ; mpfr_add(r23182, r23180, r23181, MPFR_RNDN); mpfr_mul(r23183, r23161, r23182, MPFR_RNDN); mpfr_exp(r23184, r23183, MPFR_RNDN); mpfr_mul(r23185, r23160, r23184, MPFR_RNDN); mpfr_add(r23186, r23159, r23185, MPFR_RNDN); mpfr_div(r23187, r23159, r23186, MPFR_RNDN); return mpfr_get_d(r23187, MPFR_RNDN); } static mpfr_t r23188, r23189, r23190, r23191, r23192, r23193, r23194, r23195, r23196, r23197, r23198, r23199, r23200, r23201, r23202, r23203, r23204, r23205, r23206, r23207, r23208, r23209, r23210, r23211, r23212, r23213, r23214, r23215, r23216; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init(r23188); mpfr_init(r23189); mpfr_init_set_str(r23190, "2.0", 10, MPFR_RNDN); mpfr_init(r23191); mpfr_init_set_str(r23192, "5.0", 10, MPFR_RNDN); mpfr_init_set_str(r23193, "6.0", 10, MPFR_RNDN); mpfr_init(r23194); mpfr_init(r23195); mpfr_init_set_str(r23196, "3.0", 10, MPFR_RNDN); mpfr_init(r23197); mpfr_init(r23198); mpfr_init(r23199); mpfr_init(r23200); mpfr_init(r23201); mpfr_init(r23202); mpfr_init(r23203); mpfr_init(r23204); mpfr_init(r23205); mpfr_init(r23206); mpfr_init(r23207); mpfr_init(r23208); mpfr_init(r23209); mpfr_init_set_str(r23210, "0", 10, MPFR_RNDN); mpfr_init(r23211); mpfr_init(r23212); mpfr_init(r23213); mpfr_init(r23214); mpfr_init(r23215); mpfr_init(r23216); } double f_dm(double x, double y, double z, double t, double a, double b, double c) { mpfr_set_d(r23188, x, MPFR_RNDN); mpfr_set_d(r23189, y, MPFR_RNDN); ; mpfr_set_d(r23191, a, MPFR_RNDN); ; ; mpfr_div(r23194, r23192, r23193, MPFR_RNDN); mpfr_add(r23195, r23191, r23194, MPFR_RNDN); ; mpfr_set_d(r23197, t, MPFR_RNDN); mpfr_mul(r23198, r23196, r23197, MPFR_RNDN); mpfr_div(r23199, r23190, r23198, MPFR_RNDN); mpfr_sub(r23200, r23195, r23199, MPFR_RNDN); mpfr_set_d(r23201, c, MPFR_RNDN); mpfr_set_d(r23202, b, MPFR_RNDN); mpfr_sub(r23203, r23201, r23202, MPFR_RNDN); mpfr_add(r23204, r23197, r23191, MPFR_RNDN); mpfr_sqrt(r23205, r23204, MPFR_RNDN); mpfr_set_d(r23206, z, MPFR_RNDN); mpfr_div(r23207, r23206, r23197, MPFR_RNDN); mpfr_mul(r23208, r23205, r23207, MPFR_RNDN); mpfr_fma(r23209, r23200, r23203, r23208, MPFR_RNDN); ; mpfr_add(r23211, r23209, r23210, MPFR_RNDN); mpfr_mul(r23212, r23190, r23211, MPFR_RNDN); mpfr_exp(r23213, r23212, MPFR_RNDN); mpfr_mul(r23214, r23189, r23213, MPFR_RNDN); mpfr_add(r23215, r23188, r23214, MPFR_RNDN); mpfr_div(r23216, r23188, r23215, MPFR_RNDN); return mpfr_get_d(r23216, MPFR_RNDN); }