#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 r23789 = x; float r23790 = y; float r23791 = z; float r23792 = log(r23791); float r23793 = r23790 * r23792; float r23794 = t; float r23795 = 1.0; float r23796 = r23794 - r23795; float r23797 = a; float r23798 = log(r23797); float r23799 = r23796 * r23798; float r23800 = r23793 + r23799; float r23801 = b; float r23802 = r23800 - r23801; float r23803 = exp(r23802); float r23804 = r23789 * r23803; float r23805 = r23804 / r23790; return r23805; } double f_id(double x, double y, double z, double t, double a, double b) { double r23806 = x; double r23807 = y; double r23808 = z; double r23809 = log(r23808); double r23810 = r23807 * r23809; double r23811 = t; double r23812 = 1.0; double r23813 = r23811 - r23812; double r23814 = a; double r23815 = log(r23814); double r23816 = r23813 * r23815; double r23817 = r23810 + r23816; double r23818 = b; double r23819 = r23817 - r23818; double r23820 = exp(r23819); double r23821 = r23806 * r23820; double r23822 = r23821 / r23807; return r23822; } double f_of(float x, float y, float z, float t, float a, float b) { float r23823 = x; float r23824 = y; float r23825 = r23823 / r23824; float r23826 = z; float r23827 = pow(r23826, r23824); float r23828 = r23825 * r23827; float r23829 = b; float r23830 = exp(r23829); float r23831 = a; float r23832 = t; float r23833 = 1.0; float r23834 = r23832 - r23833; float r23835 = pow(r23831, r23834); float r23836 = r23830 / r23835; float r23837 = r23828 / r23836; float r23838 = 7.689487003288736e+145; bool r23839 = r23837 <= r23838; float r23840 = log(r23826); float r23841 = r23824 * r23840; float r23842 = log(r23831); float r23843 = r23834 * r23842; float r23844 = r23841 + r23843; float r23845 = r23844 - r23829; float r23846 = exp(r23845); float r23847 = r23823 * r23846; float r23848 = 1; float r23849 = r23848 / r23824; float r23850 = r23847 * r23849; float r23851 = r23839 ? r23837 : r23850; return r23851; } double f_od(double x, double y, double z, double t, double a, double b) { double r23852 = x; double r23853 = y; double r23854 = r23852 / r23853; double r23855 = z; double r23856 = pow(r23855, r23853); double r23857 = r23854 * r23856; double r23858 = b; double r23859 = exp(r23858); double r23860 = a; double r23861 = t; double r23862 = 1.0; double r23863 = r23861 - r23862; double r23864 = pow(r23860, r23863); double r23865 = r23859 / r23864; double r23866 = r23857 / r23865; double r23867 = 7.689487003288736e+145; bool r23868 = r23866 <= r23867; double r23869 = log(r23855); double r23870 = r23853 * r23869; double r23871 = log(r23860); double r23872 = r23863 * r23871; double r23873 = r23870 + r23872; double r23874 = r23873 - r23858; double r23875 = exp(r23874); double r23876 = r23852 * r23875; double r23877 = 1; double r23878 = r23877 / r23853; double r23879 = r23876 * r23878; double r23880 = r23868 ? r23866 : r23879; return r23880; } 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 r23881, r23882, r23883, r23884, r23885, r23886, r23887, r23888, r23889, r23890, r23891, r23892, r23893, r23894, r23895, r23896, r23897; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23881); mpfr_init(r23882); mpfr_init(r23883); mpfr_init(r23884); mpfr_init(r23885); mpfr_init(r23886); mpfr_init_set_str(r23887, "1.0", 10, MPFR_RNDN); mpfr_init(r23888); mpfr_init(r23889); mpfr_init(r23890); mpfr_init(r23891); mpfr_init(r23892); mpfr_init(r23893); mpfr_init(r23894); mpfr_init(r23895); mpfr_init(r23896); mpfr_init(r23897); } double f_im(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r23881, x, MPFR_RNDN); mpfr_set_d(r23882, y, MPFR_RNDN); mpfr_set_d(r23883, z, MPFR_RNDN); mpfr_log(r23884, r23883, MPFR_RNDN); mpfr_mul(r23885, r23882, r23884, MPFR_RNDN); mpfr_set_d(r23886, t, MPFR_RNDN); ; mpfr_sub(r23888, r23886, r23887, MPFR_RNDN); mpfr_set_d(r23889, a, MPFR_RNDN); mpfr_log(r23890, r23889, MPFR_RNDN); mpfr_mul(r23891, r23888, r23890, MPFR_RNDN); mpfr_add(r23892, r23885, r23891, MPFR_RNDN); mpfr_set_d(r23893, b, MPFR_RNDN); mpfr_sub(r23894, r23892, r23893, MPFR_RNDN); mpfr_exp(r23895, r23894, MPFR_RNDN); mpfr_mul(r23896, r23881, r23895, MPFR_RNDN); mpfr_div(r23897, r23896, r23882, MPFR_RNDN); return mpfr_get_d(r23897, MPFR_RNDN); } static mpfr_t r23898, r23899, r23900, r23901, r23902, r23903, r23904, r23905, r23906, r23907, r23908, r23909, r23910, r23911, r23912, r23913, r23914, r23915, r23916, r23917, r23918, r23919, r23920, r23921, r23922, r23923, r23924, r23925, r23926; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r23898); mpfr_init(r23899); mpfr_init(r23900); mpfr_init(r23901); mpfr_init(r23902); mpfr_init(r23903); mpfr_init(r23904); mpfr_init(r23905); mpfr_init(r23906); mpfr_init(r23907); mpfr_init_set_str(r23908, "1.0", 10, MPFR_RNDN); mpfr_init(r23909); mpfr_init(r23910); mpfr_init(r23911); mpfr_init(r23912); mpfr_init_set_str(r23913, "7.689487003288736e+145", 10, MPFR_RNDN); mpfr_init(r23914); mpfr_init(r23915); mpfr_init(r23916); mpfr_init(r23917); mpfr_init(r23918); mpfr_init(r23919); mpfr_init(r23920); mpfr_init(r23921); mpfr_init(r23922); mpfr_init_set_str(r23923, "1", 10, MPFR_RNDN); mpfr_init(r23924); mpfr_init(r23925); mpfr_init(r23926); } double f_fm(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r23898, x, MPFR_RNDN); mpfr_set_d(r23899, y, MPFR_RNDN); mpfr_div(r23900, r23898, r23899, MPFR_RNDN); mpfr_set_d(r23901, z, MPFR_RNDN); mpfr_pow(r23902, r23901, r23899, MPFR_RNDN); mpfr_mul(r23903, r23900, r23902, MPFR_RNDN); mpfr_set_d(r23904, b, MPFR_RNDN); mpfr_exp(r23905, r23904, MPFR_RNDN); mpfr_set_d(r23906, a, MPFR_RNDN); mpfr_set_d(r23907, t, MPFR_RNDN); ; mpfr_sub(r23909, r23907, r23908, MPFR_RNDN); mpfr_pow(r23910, r23906, r23909, MPFR_RNDN); mpfr_div(r23911, r23905, r23910, MPFR_RNDN); mpfr_div(r23912, r23903, r23911, MPFR_RNDN); ; mpfr_set_si(r23914, mpfr_cmp(r23912, r23913) <= 0, MPFR_RNDN); mpfr_log(r23915, r23901, MPFR_RNDN); mpfr_mul(r23916, r23899, r23915, MPFR_RNDN); mpfr_log(r23917, r23906, MPFR_RNDN); mpfr_mul(r23918, r23909, r23917, MPFR_RNDN); mpfr_add(r23919, r23916, r23918, MPFR_RNDN); mpfr_sub(r23920, r23919, r23904, MPFR_RNDN); mpfr_exp(r23921, r23920, MPFR_RNDN); mpfr_mul(r23922, r23898, r23921, MPFR_RNDN); ; mpfr_div(r23924, r23923, r23899, MPFR_RNDN); mpfr_mul(r23925, r23922, r23924, MPFR_RNDN); if (mpfr_get_si(r23914, MPFR_RNDN)) { mpfr_set(r23926, r23912, MPFR_RNDN); } else { mpfr_set(r23926, r23925, MPFR_RNDN); }; return mpfr_get_d(r23926, MPFR_RNDN); } static mpfr_t r23927, r23928, r23929, r23930, r23931, r23932, r23933, r23934, r23935, r23936, r23937, r23938, r23939, r23940, r23941, r23942, r23943, r23944, r23945, r23946, r23947, r23948, r23949, r23950, r23951, r23952, r23953, r23954, r23955; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r23927); mpfr_init(r23928); mpfr_init(r23929); mpfr_init(r23930); mpfr_init(r23931); mpfr_init(r23932); mpfr_init(r23933); mpfr_init(r23934); mpfr_init(r23935); mpfr_init(r23936); mpfr_init_set_str(r23937, "1.0", 10, MPFR_RNDN); mpfr_init(r23938); mpfr_init(r23939); mpfr_init(r23940); mpfr_init(r23941); mpfr_init_set_str(r23942, "7.689487003288736e+145", 10, MPFR_RNDN); mpfr_init(r23943); mpfr_init(r23944); mpfr_init(r23945); mpfr_init(r23946); mpfr_init(r23947); mpfr_init(r23948); mpfr_init(r23949); mpfr_init(r23950); mpfr_init(r23951); mpfr_init_set_str(r23952, "1", 10, MPFR_RNDN); mpfr_init(r23953); mpfr_init(r23954); mpfr_init(r23955); } double f_dm(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r23927, x, MPFR_RNDN); mpfr_set_d(r23928, y, MPFR_RNDN); mpfr_div(r23929, r23927, r23928, MPFR_RNDN); mpfr_set_d(r23930, z, MPFR_RNDN); mpfr_pow(r23931, r23930, r23928, MPFR_RNDN); mpfr_mul(r23932, r23929, r23931, MPFR_RNDN); mpfr_set_d(r23933, b, MPFR_RNDN); mpfr_exp(r23934, r23933, MPFR_RNDN); mpfr_set_d(r23935, a, MPFR_RNDN); mpfr_set_d(r23936, t, MPFR_RNDN); ; mpfr_sub(r23938, r23936, r23937, MPFR_RNDN); mpfr_pow(r23939, r23935, r23938, MPFR_RNDN); mpfr_div(r23940, r23934, r23939, MPFR_RNDN); mpfr_div(r23941, r23932, r23940, MPFR_RNDN); ; mpfr_set_si(r23943, mpfr_cmp(r23941, r23942) <= 0, MPFR_RNDN); mpfr_log(r23944, r23930, MPFR_RNDN); mpfr_mul(r23945, r23928, r23944, MPFR_RNDN); mpfr_log(r23946, r23935, MPFR_RNDN); mpfr_mul(r23947, r23938, r23946, MPFR_RNDN); mpfr_add(r23948, r23945, r23947, MPFR_RNDN); mpfr_sub(r23949, r23948, r23933, MPFR_RNDN); mpfr_exp(r23950, r23949, MPFR_RNDN); mpfr_mul(r23951, r23927, r23950, MPFR_RNDN); ; mpfr_div(r23953, r23952, r23928, MPFR_RNDN); mpfr_mul(r23954, r23951, r23953, MPFR_RNDN); if (mpfr_get_si(r23943, MPFR_RNDN)) { mpfr_set(r23955, r23941, MPFR_RNDN); } else { mpfr_set(r23955, r23954, MPFR_RNDN); }; return mpfr_get_d(r23955, MPFR_RNDN); }