#include #include #include #include #include char *name = "quadp (p42, positive)"; double f_if(float a, float b, float c) { float r25936 = b; float r25937 = -r25936; float r25938 = r25936 * r25936; float r25939 = 4; float r25940 = a; float r25941 = c; float r25942 = r25940 * r25941; float r25943 = r25939 * r25942; float r25944 = r25938 - r25943; float r25945 = sqrt(r25944); float r25946 = r25937 + r25945; float r25947 = 2; float r25948 = r25947 * r25940; float r25949 = r25946 / r25948; return r25949; } double f_id(double a, double b, double c) { double r25950 = b; double r25951 = -r25950; double r25952 = r25950 * r25950; double r25953 = 4; double r25954 = a; double r25955 = c; double r25956 = r25954 * r25955; double r25957 = r25953 * r25956; double r25958 = r25952 - r25957; double r25959 = sqrt(r25958); double r25960 = r25951 + r25959; double r25961 = 2; double r25962 = r25961 * r25954; double r25963 = r25960 / r25962; return r25963; } double f_of(float a, float b, float c) { float r25964 = b; float r25965 = -r25964; float r25966 = -2.7057196726671236e+155; bool r25967 = r25965 <= r25966; float r25968 = 4; float r25969 = 2; float r25970 = r25968 / r25969; float r25971 = c; float r25972 = -r25971; float r25973 = r25969 / r25972; float r25974 = r25970 / r25973; float r25975 = a; float r25976 = r25964 / r25975; float r25977 = r25971 / r25976; float r25978 = r25964 + r25977; float r25979 = r25974 / r25978; float r25980 = -4.1706119510298147e-199; bool r25981 = r25965 <= r25980; float r25982 = r25964 * r25964; float r25983 = r25971 * r25975; float r25984 = r25968 * r25983; float r25985 = r25982 - r25984; float r25986 = sqrt(r25985); float r25987 = r25986 + r25964; float r25988 = r25972 / r25987; float r25989 = r25970 * r25988; float r25990 = 2.5572764273511957e+110; bool r25991 = r25965 <= r25990; float r25992 = r25971 * r25968; float r25993 = r25975 * r25992; float r25994 = r25982 - r25993; float r25995 = sqrt(r25994); float r25996 = r25995 - r25964; float r25997 = r25975 * r25969; float r25998 = r25996 / r25997; float r25999 = r25971 / r25964; float r26000 = -r25999; float r26001 = r25964 + r25964; float r26002 = r26001 / r25997; float r26003 = r26000 - r26002; float r26004 = r25991 ? r25998 : r26003; float r26005 = r25981 ? r25989 : r26004; float r26006 = r25967 ? r25979 : r26005; return r26006; } double f_od(double a, double b, double c) { double r26007 = b; double r26008 = -r26007; double r26009 = -2.7057196726671236e+155; bool r26010 = r26008 <= r26009; double r26011 = 4; double r26012 = 2; double r26013 = r26011 / r26012; double r26014 = c; double r26015 = -r26014; double r26016 = r26012 / r26015; double r26017 = r26013 / r26016; double r26018 = a; double r26019 = r26007 / r26018; double r26020 = r26014 / r26019; double r26021 = r26007 + r26020; double r26022 = r26017 / r26021; double r26023 = -4.1706119510298147e-199; bool r26024 = r26008 <= r26023; double r26025 = r26007 * r26007; double r26026 = r26014 * r26018; double r26027 = r26011 * r26026; double r26028 = r26025 - r26027; double r26029 = sqrt(r26028); double r26030 = r26029 + r26007; double r26031 = r26015 / r26030; double r26032 = r26013 * r26031; double r26033 = 2.5572764273511957e+110; bool r26034 = r26008 <= r26033; double r26035 = r26014 * r26011; double r26036 = r26018 * r26035; double r26037 = r26025 - r26036; double r26038 = sqrt(r26037); double r26039 = r26038 - r26007; double r26040 = r26018 * r26012; double r26041 = r26039 / r26040; double r26042 = r26014 / r26007; double r26043 = -r26042; double r26044 = r26007 + r26007; double r26045 = r26044 / r26040; double r26046 = r26043 - r26045; double r26047 = r26034 ? r26041 : r26046; double r26048 = r26024 ? r26032 : r26047; double r26049 = r26010 ? r26022 : r26048; return r26049; } 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 r26050, r26051, r26052, r26053, r26054, r26055, r26056, r26057, r26058, r26059, r26060, r26061, r26062, r26063; void setup_mpfr_f_im() { mpfr_set_default_prec(3408); mpfr_init(r26050); mpfr_init(r26051); mpfr_init(r26052); mpfr_init_set_str(r26053, "4", 10, MPFR_RNDN); mpfr_init(r26054); mpfr_init(r26055); mpfr_init(r26056); mpfr_init(r26057); mpfr_init(r26058); mpfr_init(r26059); mpfr_init(r26060); mpfr_init_set_str(r26061, "2", 10, MPFR_RNDN); mpfr_init(r26062); mpfr_init(r26063); } double f_im(double a, double b, double c) { mpfr_set_d(r26050, b, MPFR_RNDN); mpfr_neg(r26051, r26050, MPFR_RNDN); mpfr_mul(r26052, r26050, r26050, MPFR_RNDN); ; mpfr_set_d(r26054, a, MPFR_RNDN); mpfr_set_d(r26055, c, MPFR_RNDN); mpfr_mul(r26056, r26054, r26055, MPFR_RNDN); mpfr_mul(r26057, r26053, r26056, MPFR_RNDN); mpfr_sub(r26058, r26052, r26057, MPFR_RNDN); mpfr_sqrt(r26059, r26058, MPFR_RNDN); mpfr_add(r26060, r26051, r26059, MPFR_RNDN); ; mpfr_mul(r26062, r26061, r26054, MPFR_RNDN); mpfr_div(r26063, r26060, r26062, MPFR_RNDN); return mpfr_get_d(r26063, MPFR_RNDN); } static mpfr_t r26064, r26065, r26066, r26067, 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, r26101, r26102, r26103, r26104, r26105, r26106; void setup_mpfr_f_fm() { mpfr_set_default_prec(3408); mpfr_init(r26064); mpfr_init(r26065); mpfr_init_set_str(r26066, "-2.7057196726671236e+155", 10, MPFR_RNDN); mpfr_init(r26067); mpfr_init_set_str(r26068, "4", 10, MPFR_RNDN); mpfr_init_set_str(r26069, "2", 10, MPFR_RNDN); mpfr_init(r26070); mpfr_init(r26071); mpfr_init(r26072); mpfr_init(r26073); mpfr_init(r26074); mpfr_init(r26075); mpfr_init(r26076); mpfr_init(r26077); mpfr_init(r26078); mpfr_init(r26079); mpfr_init_set_str(r26080, "-4.1706119510298147e-199", 10, MPFR_RNDN); 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_set_str(r26090, "2.5572764273511957e+110", 10, MPFR_RNDN); 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); mpfr_init(r26101); mpfr_init(r26102); mpfr_init(r26103); mpfr_init(r26104); mpfr_init(r26105); mpfr_init(r26106); } double f_fm(double a, double b, double c) { mpfr_set_d(r26064, b, MPFR_RNDN); mpfr_neg(r26065, r26064, MPFR_RNDN); ; mpfr_set_si(r26067, mpfr_cmp(r26065, r26066) <= 0, MPFR_RNDN); ; ; mpfr_div(r26070, r26068, r26069, MPFR_RNDN); mpfr_set_d(r26071, c, MPFR_RNDN); mpfr_neg(r26072, r26071, MPFR_RNDN); mpfr_div(r26073, r26069, r26072, MPFR_RNDN); mpfr_div(r26074, r26070, r26073, MPFR_RNDN); mpfr_set_d(r26075, a, MPFR_RNDN); mpfr_div(r26076, r26064, r26075, MPFR_RNDN); mpfr_div(r26077, r26071, r26076, MPFR_RNDN); mpfr_add(r26078, r26064, r26077, MPFR_RNDN); mpfr_div(r26079, r26074, r26078, MPFR_RNDN); ; mpfr_set_si(r26081, mpfr_cmp(r26065, r26080) <= 0, MPFR_RNDN); mpfr_mul(r26082, r26064, r26064, MPFR_RNDN); mpfr_mul(r26083, r26071, r26075, MPFR_RNDN); mpfr_mul(r26084, r26068, r26083, MPFR_RNDN); mpfr_sub(r26085, r26082, r26084, MPFR_RNDN); mpfr_sqrt(r26086, r26085, MPFR_RNDN); mpfr_add(r26087, r26086, r26064, MPFR_RNDN); mpfr_div(r26088, r26072, r26087, MPFR_RNDN); mpfr_mul(r26089, r26070, r26088, MPFR_RNDN); ; mpfr_set_si(r26091, mpfr_cmp(r26065, r26090) <= 0, MPFR_RNDN); mpfr_mul(r26092, r26071, r26068, MPFR_RNDN); mpfr_mul(r26093, r26075, r26092, MPFR_RNDN); mpfr_sub(r26094, r26082, r26093, MPFR_RNDN); mpfr_sqrt(r26095, r26094, MPFR_RNDN); mpfr_sub(r26096, r26095, r26064, MPFR_RNDN); mpfr_mul(r26097, r26075, r26069, MPFR_RNDN); mpfr_div(r26098, r26096, r26097, MPFR_RNDN); mpfr_div(r26099, r26071, r26064, MPFR_RNDN); mpfr_neg(r26100, r26099, MPFR_RNDN); mpfr_add(r26101, r26064, r26064, MPFR_RNDN); mpfr_div(r26102, r26101, r26097, MPFR_RNDN); mpfr_sub(r26103, r26100, r26102, MPFR_RNDN); if (mpfr_get_si(r26091, MPFR_RNDN)) { mpfr_set(r26104, r26098, MPFR_RNDN); } else { mpfr_set(r26104, r26103, MPFR_RNDN); }; if (mpfr_get_si(r26081, MPFR_RNDN)) { mpfr_set(r26105, r26089, MPFR_RNDN); } else { mpfr_set(r26105, r26104, MPFR_RNDN); }; if (mpfr_get_si(r26067, MPFR_RNDN)) { mpfr_set(r26106, r26079, MPFR_RNDN); } else { mpfr_set(r26106, r26105, MPFR_RNDN); }; return mpfr_get_d(r26106, MPFR_RNDN); } static mpfr_t 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, r26134, r26135, r26136, r26137, r26138, r26139, r26140, r26141, r26142, r26143, r26144, r26145, r26146, r26147, r26148, r26149; void setup_mpfr_f_dm() { mpfr_set_default_prec(3408); mpfr_init(r26107); mpfr_init(r26108); mpfr_init_set_str(r26109, "-2.7057196726671236e+155", 10, MPFR_RNDN); mpfr_init(r26110); mpfr_init_set_str(r26111, "4", 10, MPFR_RNDN); mpfr_init_set_str(r26112, "2", 10, MPFR_RNDN); 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_set_str(r26123, "-4.1706119510298147e-199", 10, MPFR_RNDN); 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_set_str(r26133, "2.5572764273511957e+110", 10, MPFR_RNDN); mpfr_init(r26134); mpfr_init(r26135); mpfr_init(r26136); mpfr_init(r26137); mpfr_init(r26138); mpfr_init(r26139); mpfr_init(r26140); mpfr_init(r26141); mpfr_init(r26142); mpfr_init(r26143); mpfr_init(r26144); mpfr_init(r26145); mpfr_init(r26146); mpfr_init(r26147); mpfr_init(r26148); mpfr_init(r26149); } double f_dm(double a, double b, double c) { mpfr_set_d(r26107, b, MPFR_RNDN); mpfr_neg(r26108, r26107, MPFR_RNDN); ; mpfr_set_si(r26110, mpfr_cmp(r26108, r26109) <= 0, MPFR_RNDN); ; ; mpfr_div(r26113, r26111, r26112, MPFR_RNDN); mpfr_set_d(r26114, c, MPFR_RNDN); mpfr_neg(r26115, r26114, MPFR_RNDN); mpfr_div(r26116, r26112, r26115, MPFR_RNDN); mpfr_div(r26117, r26113, r26116, MPFR_RNDN); mpfr_set_d(r26118, a, MPFR_RNDN); mpfr_div(r26119, r26107, r26118, MPFR_RNDN); mpfr_div(r26120, r26114, r26119, MPFR_RNDN); mpfr_add(r26121, r26107, r26120, MPFR_RNDN); mpfr_div(r26122, r26117, r26121, MPFR_RNDN); ; mpfr_set_si(r26124, mpfr_cmp(r26108, r26123) <= 0, MPFR_RNDN); mpfr_mul(r26125, r26107, r26107, MPFR_RNDN); mpfr_mul(r26126, r26114, r26118, MPFR_RNDN); mpfr_mul(r26127, r26111, r26126, MPFR_RNDN); mpfr_sub(r26128, r26125, r26127, MPFR_RNDN); mpfr_sqrt(r26129, r26128, MPFR_RNDN); mpfr_add(r26130, r26129, r26107, MPFR_RNDN); mpfr_div(r26131, r26115, r26130, MPFR_RNDN); mpfr_mul(r26132, r26113, r26131, MPFR_RNDN); ; mpfr_set_si(r26134, mpfr_cmp(r26108, r26133) <= 0, MPFR_RNDN); mpfr_mul(r26135, r26114, r26111, MPFR_RNDN); mpfr_mul(r26136, r26118, r26135, MPFR_RNDN); mpfr_sub(r26137, r26125, r26136, MPFR_RNDN); mpfr_sqrt(r26138, r26137, MPFR_RNDN); mpfr_sub(r26139, r26138, r26107, MPFR_RNDN); mpfr_mul(r26140, r26118, r26112, MPFR_RNDN); mpfr_div(r26141, r26139, r26140, MPFR_RNDN); mpfr_div(r26142, r26114, r26107, MPFR_RNDN); mpfr_neg(r26143, r26142, MPFR_RNDN); mpfr_add(r26144, r26107, r26107, MPFR_RNDN); mpfr_div(r26145, r26144, r26140, MPFR_RNDN); mpfr_sub(r26146, r26143, r26145, MPFR_RNDN); if (mpfr_get_si(r26134, MPFR_RNDN)) { mpfr_set(r26147, r26141, MPFR_RNDN); } else { mpfr_set(r26147, r26146, MPFR_RNDN); }; if (mpfr_get_si(r26124, MPFR_RNDN)) { mpfr_set(r26148, r26132, MPFR_RNDN); } else { mpfr_set(r26148, r26147, MPFR_RNDN); }; if (mpfr_get_si(r26110, MPFR_RNDN)) { mpfr_set(r26149, r26122, MPFR_RNDN); } else { mpfr_set(r26149, r26148, MPFR_RNDN); }; return mpfr_get_d(r26149, MPFR_RNDN); }