#include #include #include #include #include char *name = "jeff quadratic root 2"; double f_if(float a, float b, float c) { float r14973 = b; float r14974 = 0.0f; bool r14975 = r14973 >= r14974; float r14976 = 2.0f; float r14977 = c; float r14978 = r14976 * r14977; float r14979 = -r14973; float r14980 = r14973 * r14973; float r14981 = 4.0f; float r14982 = a; float r14983 = r14981 * r14982; float r14984 = r14983 * r14977; float r14985 = r14980 - r14984; float r14986 = sqrt(r14985); float r14987 = r14979 - r14986; float r14988 = r14978 / r14987; float r14989 = r14979 + r14986; float r14990 = r14976 * r14982; float r14991 = r14989 / r14990; float r14992 = r14975 ? r14988 : r14991; return r14992; } double f_id(double a, double b, double c) { double r14993 = b; double r14994 = 0.0; bool r14995 = r14993 >= r14994; double r14996 = 2.0; double r14997 = c; double r14998 = r14996 * r14997; double r14999 = -r14993; double r15000 = r14993 * r14993; double r15001 = 4.0; double r15002 = a; double r15003 = r15001 * r15002; double r15004 = r15003 * r14997; double r15005 = r15000 - r15004; double r15006 = sqrt(r15005); double r15007 = r14999 - r15006; double r15008 = r14998 / r15007; double r15009 = r14999 + r15006; double r15010 = r14996 * r15002; double r15011 = r15009 / r15010; double r15012 = r14995 ? r15008 : r15011; return r15012; } double f_of(float a, float b, float c) { float r15013 = b; float r15014 = r15013 * r15013; float r15015 = 4.0f; float r15016 = a; float r15017 = r15015 * r15016; float r15018 = c; float r15019 = r15017 * r15018; float r15020 = r15014 - r15019; float r15021 = 1.7563143410100458e+308f; bool r15022 = r15020 <= r15021; float r15023 = 0.0f; bool r15024 = r15013 >= r15023; float r15025 = 2.0f; float r15026 = r15025 * r15018; float r15027 = -r15013; float r15028 = sqrt(r15020); float r15029 = r15027 - r15028; float r15030 = r15026 / r15029; float r15031 = sqrt(r15028); float r15032 = r15031 * r15031; float r15033 = r15027 + r15032; float r15034 = r15025 * r15016; float r15035 = r15033 / r15034; float r15036 = r15024 ? r15030 : r15035; float r15037 = r15016 / r15013; float r15038 = r15037 * r15018; float r15039 = r15038 - r15013; float r15040 = r15018 / r15039; float r15041 = r15018 / r15013; float r15042 = r15013 - r15027; float r15043 = r15016 * r15025; float r15044 = r15042 / r15043; float r15045 = r15041 - r15044; float r15046 = r15024 ? r15040 : r15045; float r15047 = r15022 ? r15036 : r15046; return r15047; } double f_od(double a, double b, double c) { double r15048 = b; double r15049 = r15048 * r15048; double r15050 = 4.0; double r15051 = a; double r15052 = r15050 * r15051; double r15053 = c; double r15054 = r15052 * r15053; double r15055 = r15049 - r15054; double r15056 = 1.7563143410100458e+308; bool r15057 = r15055 <= r15056; double r15058 = 0.0; bool r15059 = r15048 >= r15058; double r15060 = 2.0; double r15061 = r15060 * r15053; double r15062 = -r15048; double r15063 = sqrt(r15055); double r15064 = r15062 - r15063; double r15065 = r15061 / r15064; double r15066 = sqrt(r15063); double r15067 = r15066 * r15066; double r15068 = r15062 + r15067; double r15069 = r15060 * r15051; double r15070 = r15068 / r15069; double r15071 = r15059 ? r15065 : r15070; double r15072 = r15051 / r15048; double r15073 = r15072 * r15053; double r15074 = r15073 - r15048; double r15075 = r15053 / r15074; double r15076 = r15053 / r15048; double r15077 = r15048 - r15062; double r15078 = r15051 * r15060; double r15079 = r15077 / r15078; double r15080 = r15076 - r15079; double r15081 = r15059 ? r15075 : r15080; double r15082 = r15057 ? r15071 : r15081; return r15082; } 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 r15083, r15084, r15085, r15086, r15087, r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096, r15097, r15098, r15099, r15100, r15101, r15102; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15083); mpfr_init_set_str(r15084, "0", 10, MPFR_RNDN); mpfr_init(r15085); mpfr_init_set_str(r15086, "2", 10, MPFR_RNDN); mpfr_init(r15087); mpfr_init(r15088); mpfr_init(r15089); mpfr_init(r15090); mpfr_init_set_str(r15091, "4", 10, MPFR_RNDN); mpfr_init(r15092); mpfr_init(r15093); mpfr_init(r15094); mpfr_init(r15095); mpfr_init(r15096); mpfr_init(r15097); mpfr_init(r15098); mpfr_init(r15099); mpfr_init(r15100); mpfr_init(r15101); mpfr_init(r15102); } double f_im(double a, double b, double c) { mpfr_set_d(r15083, b, MPFR_RNDN); ; mpfr_set_si(r15085, mpfr_cmp(r15083, r15084) >= 0, MPFR_RNDN); ; mpfr_set_d(r15087, c, MPFR_RNDN); mpfr_mul(r15088, r15086, r15087, MPFR_RNDN); mpfr_neg(r15089, r15083, MPFR_RNDN); mpfr_sqr(r15090, r15083, MPFR_RNDN); ; mpfr_set_d(r15092, a, MPFR_RNDN); mpfr_mul(r15093, r15091, r15092, MPFR_RNDN); mpfr_mul(r15094, r15093, r15087, MPFR_RNDN); mpfr_sub(r15095, r15090, r15094, MPFR_RNDN); mpfr_sqrt(r15096, r15095, MPFR_RNDN); mpfr_sub(r15097, r15089, r15096, MPFR_RNDN); mpfr_div(r15098, r15088, r15097, MPFR_RNDN); mpfr_add(r15099, r15089, r15096, MPFR_RNDN); mpfr_mul(r15100, r15086, r15092, MPFR_RNDN); mpfr_div(r15101, r15099, r15100, MPFR_RNDN); if (mpfr_get_si(r15085, MPFR_RNDN)) { mpfr_set(r15102, r15098, MPFR_RNDN); } else { mpfr_set(r15102, r15101, MPFR_RNDN); }; return mpfr_get_d(r15102, MPFR_RNDN); } static mpfr_t r15103, r15104, r15105, r15106, r15107, r15108, r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118, r15119, r15120, r15121, r15122, r15123, r15124, r15125, r15126, r15127, r15128, r15129, r15130, r15131, r15132, r15133, r15134, r15135, r15136, r15137; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15103); mpfr_init(r15104); mpfr_init_set_str(r15105, "4", 10, MPFR_RNDN); mpfr_init(r15106); mpfr_init(r15107); mpfr_init(r15108); mpfr_init(r15109); mpfr_init(r15110); mpfr_init_set_str(r15111, "1.7563143410100458e+308", 10, MPFR_RNDN); mpfr_init(r15112); mpfr_init_set_str(r15113, "0", 10, MPFR_RNDN); mpfr_init(r15114); mpfr_init_set_str(r15115, "2", 10, MPFR_RNDN); mpfr_init(r15116); mpfr_init(r15117); mpfr_init(r15118); mpfr_init(r15119); mpfr_init(r15120); mpfr_init(r15121); mpfr_init(r15122); mpfr_init(r15123); mpfr_init(r15124); mpfr_init(r15125); mpfr_init(r15126); mpfr_init(r15127); mpfr_init(r15128); mpfr_init(r15129); mpfr_init(r15130); mpfr_init(r15131); mpfr_init(r15132); mpfr_init(r15133); mpfr_init(r15134); mpfr_init(r15135); mpfr_init(r15136); mpfr_init(r15137); } double f_fm(double a, double b, double c) { mpfr_set_d(r15103, b, MPFR_RNDN); mpfr_sqr(r15104, r15103, MPFR_RNDN); ; mpfr_set_d(r15106, a, MPFR_RNDN); mpfr_mul(r15107, r15105, r15106, MPFR_RNDN); mpfr_set_d(r15108, c, MPFR_RNDN); mpfr_mul(r15109, r15107, r15108, MPFR_RNDN); mpfr_sub(r15110, r15104, r15109, MPFR_RNDN); ; mpfr_set_si(r15112, mpfr_cmp(r15110, r15111) <= 0, MPFR_RNDN); ; mpfr_set_si(r15114, mpfr_cmp(r15103, r15113) >= 0, MPFR_RNDN); ; mpfr_mul(r15116, r15115, r15108, MPFR_RNDN); mpfr_neg(r15117, r15103, MPFR_RNDN); mpfr_sqrt(r15118, r15110, MPFR_RNDN); mpfr_sub(r15119, r15117, r15118, MPFR_RNDN); mpfr_div(r15120, r15116, r15119, MPFR_RNDN); mpfr_sqrt(r15121, r15118, MPFR_RNDN); mpfr_sqr(r15122, r15121, MPFR_RNDN); mpfr_add(r15123, r15117, r15122, MPFR_RNDN); mpfr_mul(r15124, r15115, r15106, MPFR_RNDN); mpfr_div(r15125, r15123, r15124, MPFR_RNDN); if (mpfr_get_si(r15114, MPFR_RNDN)) { mpfr_set(r15126, r15120, MPFR_RNDN); } else { mpfr_set(r15126, r15125, MPFR_RNDN); }; mpfr_div(r15127, r15106, r15103, MPFR_RNDN); mpfr_mul(r15128, r15127, r15108, MPFR_RNDN); mpfr_sub(r15129, r15128, r15103, MPFR_RNDN); mpfr_div(r15130, r15108, r15129, MPFR_RNDN); mpfr_div(r15131, r15108, r15103, MPFR_RNDN); mpfr_sub(r15132, r15103, r15117, MPFR_RNDN); mpfr_mul(r15133, r15106, r15115, MPFR_RNDN); mpfr_div(r15134, r15132, r15133, MPFR_RNDN); mpfr_sub(r15135, r15131, r15134, MPFR_RNDN); if (mpfr_get_si(r15114, MPFR_RNDN)) { mpfr_set(r15136, r15130, MPFR_RNDN); } else { mpfr_set(r15136, r15135, MPFR_RNDN); }; if (mpfr_get_si(r15112, MPFR_RNDN)) { mpfr_set(r15137, r15126, MPFR_RNDN); } else { mpfr_set(r15137, r15136, MPFR_RNDN); }; return mpfr_get_d(r15137, MPFR_RNDN); } static mpfr_t r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164, r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15138); mpfr_init(r15139); mpfr_init_set_str(r15140, "4", 10, MPFR_RNDN); mpfr_init(r15141); mpfr_init(r15142); mpfr_init(r15143); mpfr_init(r15144); mpfr_init(r15145); mpfr_init_set_str(r15146, "1.7563143410100458e+308", 10, MPFR_RNDN); mpfr_init(r15147); mpfr_init_set_str(r15148, "0", 10, MPFR_RNDN); mpfr_init(r15149); mpfr_init_set_str(r15150, "2", 10, MPFR_RNDN); mpfr_init(r15151); mpfr_init(r15152); mpfr_init(r15153); mpfr_init(r15154); mpfr_init(r15155); mpfr_init(r15156); mpfr_init(r15157); mpfr_init(r15158); mpfr_init(r15159); mpfr_init(r15160); mpfr_init(r15161); mpfr_init(r15162); mpfr_init(r15163); mpfr_init(r15164); mpfr_init(r15165); mpfr_init(r15166); mpfr_init(r15167); mpfr_init(r15168); mpfr_init(r15169); mpfr_init(r15170); mpfr_init(r15171); mpfr_init(r15172); } double f_dm(double a, double b, double c) { mpfr_set_d(r15138, b, MPFR_RNDN); mpfr_sqr(r15139, r15138, MPFR_RNDN); ; mpfr_set_d(r15141, a, MPFR_RNDN); mpfr_mul(r15142, r15140, r15141, MPFR_RNDN); mpfr_set_d(r15143, c, MPFR_RNDN); mpfr_mul(r15144, r15142, r15143, MPFR_RNDN); mpfr_sub(r15145, r15139, r15144, MPFR_RNDN); ; mpfr_set_si(r15147, mpfr_cmp(r15145, r15146) <= 0, MPFR_RNDN); ; mpfr_set_si(r15149, mpfr_cmp(r15138, r15148) >= 0, MPFR_RNDN); ; mpfr_mul(r15151, r15150, r15143, MPFR_RNDN); mpfr_neg(r15152, r15138, MPFR_RNDN); mpfr_sqrt(r15153, r15145, MPFR_RNDN); mpfr_sub(r15154, r15152, r15153, MPFR_RNDN); mpfr_div(r15155, r15151, r15154, MPFR_RNDN); mpfr_sqrt(r15156, r15153, MPFR_RNDN); mpfr_sqr(r15157, r15156, MPFR_RNDN); mpfr_add(r15158, r15152, r15157, MPFR_RNDN); mpfr_mul(r15159, r15150, r15141, MPFR_RNDN); mpfr_div(r15160, r15158, r15159, MPFR_RNDN); if (mpfr_get_si(r15149, MPFR_RNDN)) { mpfr_set(r15161, r15155, MPFR_RNDN); } else { mpfr_set(r15161, r15160, MPFR_RNDN); }; mpfr_div(r15162, r15141, r15138, MPFR_RNDN); mpfr_mul(r15163, r15162, r15143, MPFR_RNDN); mpfr_sub(r15164, r15163, r15138, MPFR_RNDN); mpfr_div(r15165, r15143, r15164, MPFR_RNDN); mpfr_div(r15166, r15143, r15138, MPFR_RNDN); mpfr_sub(r15167, r15138, r15152, MPFR_RNDN); mpfr_mul(r15168, r15141, r15150, MPFR_RNDN); mpfr_div(r15169, r15167, r15168, MPFR_RNDN); mpfr_sub(r15170, r15166, r15169, MPFR_RNDN); if (mpfr_get_si(r15149, MPFR_RNDN)) { mpfr_set(r15171, r15165, MPFR_RNDN); } else { mpfr_set(r15171, r15170, MPFR_RNDN); }; if (mpfr_get_si(r15147, MPFR_RNDN)) { mpfr_set(r15172, r15161, MPFR_RNDN); } else { mpfr_set(r15172, r15171, MPFR_RNDN); }; return mpfr_get_d(r15172, MPFR_RNDN); }