#include #include #include #include #include char *name = "jeff quadratic root 2"; double f_if(float a, float b, float c) { float r14977 = b; float r14978 = 0.0f; bool r14979 = r14977 >= r14978; float r14980 = 2.0f; float r14981 = c; float r14982 = r14980 * r14981; float r14983 = -r14977; float r14984 = r14977 * r14977; float r14985 = 4.0f; float r14986 = a; float r14987 = r14985 * r14986; float r14988 = r14987 * r14981; float r14989 = r14984 - r14988; float r14990 = sqrt(r14989); float r14991 = r14983 - r14990; float r14992 = r14982 / r14991; float r14993 = r14983 + r14990; float r14994 = r14980 * r14986; float r14995 = r14993 / r14994; float r14996 = r14979 ? r14992 : r14995; return r14996; } double f_id(double a, double b, double c) { double r14997 = b; double r14998 = 0.0; bool r14999 = r14997 >= r14998; double r15000 = 2.0; double r15001 = c; double r15002 = r15000 * r15001; double r15003 = -r14997; double r15004 = r14997 * r14997; double r15005 = 4.0; double r15006 = a; double r15007 = r15005 * r15006; double r15008 = r15007 * r15001; double r15009 = r15004 - r15008; double r15010 = sqrt(r15009); double r15011 = r15003 - r15010; double r15012 = r15002 / r15011; double r15013 = r15003 + r15010; double r15014 = r15000 * r15006; double r15015 = r15013 / r15014; double r15016 = r14999 ? r15012 : r15015; return r15016; } double f_of(float a, float b, float c) { float r15017 = b; float r15018 = -5.8926960145992884e+113f; bool r15019 = r15017 <= r15018; float r15020 = 0.0f; bool r15021 = r15017 >= r15020; float r15022 = c; float r15023 = 2.0f; float r15024 = r15022 * r15023; float r15025 = -r15017; float r15026 = 3.0f; float r15027 = pow(r15025, r15026); float r15028 = r15017 * r15017; float r15029 = 4.0f; float r15030 = r15029 * r15022; float r15031 = a; float r15032 = r15030 * r15031; float r15033 = r15028 - r15032; float r15034 = sqrt(r15033); float r15035 = pow(r15034, r15026); float r15036 = r15027 - r15035; float r15037 = r15024 / r15036; float r15038 = r15025 * r15025; float r15039 = r15034 * r15034; float r15040 = r15025 * r15034; float r15041 = r15039 + r15040; float r15042 = r15038 + r15041; float r15043 = r15037 * r15042; float r15044 = r15022 / r15017; float r15045 = 1.0f; float r15046 = r15044 / r15045; float r15047 = r15017 / r15031; float r15048 = r15046 - r15047; float r15049 = r15021 ? r15043 : r15048; float r15050 = -2.594511144108344e-298f; bool r15051 = r15017 <= r15050; float r15052 = r15044 * r15031; float r15053 = r15052 - r15017; float r15054 = r15022 / r15053; float r15055 = r15022 * r15031; float r15056 = r15055 * r15029; float r15057 = r15028 - r15056; float r15058 = sqrt(r15057); float r15059 = r15058 + r15025; float r15060 = r15031 * r15023; float r15061 = r15059 / r15060; float r15062 = r15021 ? r15054 : r15061; float r15063 = 8.164018341878614e+86f; bool r15064 = r15017 <= r15063; float r15065 = r15023 * r15022; float r15066 = r15031 * r15022; float r15067 = r15066 * r15029; float r15068 = r15028 - r15067; float r15069 = sqrt(r15068); float r15070 = r15025 - r15069; float r15071 = r15065 / r15070; float r15072 = -2.0f; float r15073 = r15029 / r15072; float r15074 = r15047 / r15023; float r15075 = r15073 * r15074; float r15076 = r15021 ? r15071 : r15075; float r15077 = r15064 ? r15076 : r15062; float r15078 = r15051 ? r15062 : r15077; float r15079 = r15019 ? r15049 : r15078; return r15079; } double f_od(double a, double b, double c) { double r15080 = b; double r15081 = -5.8926960145992884e+113; bool r15082 = r15080 <= r15081; double r15083 = 0.0; bool r15084 = r15080 >= r15083; double r15085 = c; double r15086 = 2.0; double r15087 = r15085 * r15086; double r15088 = -r15080; double r15089 = 3.0; double r15090 = pow(r15088, r15089); double r15091 = r15080 * r15080; double r15092 = 4.0; double r15093 = r15092 * r15085; double r15094 = a; double r15095 = r15093 * r15094; double r15096 = r15091 - r15095; double r15097 = sqrt(r15096); double r15098 = pow(r15097, r15089); double r15099 = r15090 - r15098; double r15100 = r15087 / r15099; double r15101 = r15088 * r15088; double r15102 = r15097 * r15097; double r15103 = r15088 * r15097; double r15104 = r15102 + r15103; double r15105 = r15101 + r15104; double r15106 = r15100 * r15105; double r15107 = r15085 / r15080; double r15108 = 1.0; double r15109 = r15107 / r15108; double r15110 = r15080 / r15094; double r15111 = r15109 - r15110; double r15112 = r15084 ? r15106 : r15111; double r15113 = -2.594511144108344e-298; bool r15114 = r15080 <= r15113; double r15115 = r15107 * r15094; double r15116 = r15115 - r15080; double r15117 = r15085 / r15116; double r15118 = r15085 * r15094; double r15119 = r15118 * r15092; double r15120 = r15091 - r15119; double r15121 = sqrt(r15120); double r15122 = r15121 + r15088; double r15123 = r15094 * r15086; double r15124 = r15122 / r15123; double r15125 = r15084 ? r15117 : r15124; double r15126 = 8.164018341878614e+86; bool r15127 = r15080 <= r15126; double r15128 = r15086 * r15085; double r15129 = r15094 * r15085; double r15130 = r15129 * r15092; double r15131 = r15091 - r15130; double r15132 = sqrt(r15131); double r15133 = r15088 - r15132; double r15134 = r15128 / r15133; double r15135 = -2.0; double r15136 = r15092 / r15135; double r15137 = r15110 / r15086; double r15138 = r15136 * r15137; double r15139 = r15084 ? r15134 : r15138; double r15140 = r15127 ? r15139 : r15125; double r15141 = r15114 ? r15125 : r15140; double r15142 = r15082 ? r15112 : r15141; return r15142; } 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 r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15143); mpfr_init_set_str(r15144, "0", 10, MPFR_RNDN); mpfr_init(r15145); mpfr_init_set_str(r15146, "2", 10, MPFR_RNDN); mpfr_init(r15147); mpfr_init(r15148); mpfr_init(r15149); mpfr_init(r15150); mpfr_init_set_str(r15151, "4", 10, MPFR_RNDN); 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); } double f_im(double a, double b, double c) { mpfr_set_d(r15143, b, MPFR_RNDN); ; mpfr_set_si(r15145, mpfr_cmp(r15143, r15144) >= 0, MPFR_RNDN); ; mpfr_set_d(r15147, c, MPFR_RNDN); mpfr_mul(r15148, r15146, r15147, MPFR_RNDN); mpfr_neg(r15149, r15143, MPFR_RNDN); mpfr_sqr(r15150, r15143, MPFR_RNDN); ; mpfr_set_d(r15152, a, MPFR_RNDN); mpfr_mul(r15153, r15151, r15152, MPFR_RNDN); mpfr_mul(r15154, r15153, r15147, MPFR_RNDN); mpfr_sub(r15155, r15150, r15154, MPFR_RNDN); mpfr_sqrt(r15156, r15155, MPFR_RNDN); mpfr_sub(r15157, r15149, r15156, MPFR_RNDN); mpfr_div(r15158, r15148, r15157, MPFR_RNDN); mpfr_add(r15159, r15149, r15156, MPFR_RNDN); mpfr_mul(r15160, r15146, r15152, MPFR_RNDN); mpfr_div(r15161, r15159, r15160, MPFR_RNDN); if (mpfr_get_si(r15145, MPFR_RNDN)) { mpfr_set(r15162, r15158, MPFR_RNDN); } else { mpfr_set(r15162, r15161, MPFR_RNDN); }; return mpfr_get_d(r15162, MPFR_RNDN); } static mpfr_t r15163, r15164, r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172, r15173, r15174, r15175, r15176, r15177, r15178, r15179, r15180, r15181, r15182, r15183, r15184, r15185, r15186, r15187, r15188, r15189, r15190, r15191, r15192, r15193, r15194, r15195, r15196, r15197, r15198, r15199, r15200, r15201, r15202, r15203, r15204, r15205, r15206, r15207, r15208, r15209, r15210, r15211, r15212, r15213, r15214, r15215, r15216, r15217, r15218, r15219, r15220, r15221, r15222, r15223, r15224, r15225; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15163); mpfr_init_set_str(r15164, "-5.8926960145992884e+113", 10, MPFR_RNDN); mpfr_init(r15165); mpfr_init_set_str(r15166, "0", 10, MPFR_RNDN); mpfr_init(r15167); mpfr_init(r15168); mpfr_init_set_str(r15169, "2", 10, MPFR_RNDN); mpfr_init(r15170); mpfr_init(r15171); mpfr_init_set_str(r15172, "3", 10, MPFR_RNDN); mpfr_init(r15173); mpfr_init(r15174); mpfr_init_set_str(r15175, "4", 10, MPFR_RNDN); mpfr_init(r15176); mpfr_init(r15177); mpfr_init(r15178); mpfr_init(r15179); mpfr_init(r15180); mpfr_init(r15181); mpfr_init(r15182); mpfr_init(r15183); mpfr_init(r15184); mpfr_init(r15185); mpfr_init(r15186); mpfr_init(r15187); mpfr_init(r15188); mpfr_init(r15189); mpfr_init(r15190); mpfr_init_set_str(r15191, "1", 10, MPFR_RNDN); mpfr_init(r15192); mpfr_init(r15193); mpfr_init(r15194); mpfr_init(r15195); mpfr_init_set_str(r15196, "-2.594511144108344e-298", 10, MPFR_RNDN); mpfr_init(r15197); mpfr_init(r15198); mpfr_init(r15199); mpfr_init(r15200); mpfr_init(r15201); mpfr_init(r15202); mpfr_init(r15203); mpfr_init(r15204); mpfr_init(r15205); mpfr_init(r15206); mpfr_init(r15207); mpfr_init(r15208); mpfr_init_set_str(r15209, "8.164018341878614e+86", 10, MPFR_RNDN); mpfr_init(r15210); mpfr_init(r15211); mpfr_init(r15212); mpfr_init(r15213); mpfr_init(r15214); mpfr_init(r15215); mpfr_init(r15216); mpfr_init(r15217); mpfr_init_set_str(r15218, "-2", 10, MPFR_RNDN); mpfr_init(r15219); mpfr_init(r15220); mpfr_init(r15221); mpfr_init(r15222); mpfr_init(r15223); mpfr_init(r15224); mpfr_init(r15225); } double f_fm(double a, double b, double c) { mpfr_set_d(r15163, b, MPFR_RNDN); ; mpfr_set_si(r15165, mpfr_cmp(r15163, r15164) <= 0, MPFR_RNDN); ; mpfr_set_si(r15167, mpfr_cmp(r15163, r15166) >= 0, MPFR_RNDN); mpfr_set_d(r15168, c, MPFR_RNDN); ; mpfr_mul(r15170, r15168, r15169, MPFR_RNDN); mpfr_neg(r15171, r15163, MPFR_RNDN); ; mpfr_pow(r15173, r15171, r15172, MPFR_RNDN); mpfr_sqr(r15174, r15163, MPFR_RNDN); ; mpfr_mul(r15176, r15175, r15168, MPFR_RNDN); mpfr_set_d(r15177, a, MPFR_RNDN); mpfr_mul(r15178, r15176, r15177, MPFR_RNDN); mpfr_sub(r15179, r15174, r15178, MPFR_RNDN); mpfr_sqrt(r15180, r15179, MPFR_RNDN); mpfr_pow(r15181, r15180, r15172, MPFR_RNDN); mpfr_sub(r15182, r15173, r15181, MPFR_RNDN); mpfr_div(r15183, r15170, r15182, MPFR_RNDN); mpfr_sqr(r15184, r15171, MPFR_RNDN); mpfr_sqr(r15185, r15180, MPFR_RNDN); mpfr_mul(r15186, r15171, r15180, MPFR_RNDN); mpfr_add(r15187, r15185, r15186, MPFR_RNDN); mpfr_add(r15188, r15184, r15187, MPFR_RNDN); mpfr_mul(r15189, r15183, r15188, MPFR_RNDN); mpfr_div(r15190, r15168, r15163, MPFR_RNDN); ; mpfr_div(r15192, r15190, r15191, MPFR_RNDN); mpfr_div(r15193, r15163, r15177, MPFR_RNDN); mpfr_sub(r15194, r15192, r15193, MPFR_RNDN); if (mpfr_get_si(r15167, MPFR_RNDN)) { mpfr_set(r15195, r15189, MPFR_RNDN); } else { mpfr_set(r15195, r15194, MPFR_RNDN); }; ; mpfr_set_si(r15197, mpfr_cmp(r15163, r15196) <= 0, MPFR_RNDN); mpfr_mul(r15198, r15190, r15177, MPFR_RNDN); mpfr_sub(r15199, r15198, r15163, MPFR_RNDN); mpfr_div(r15200, r15168, r15199, MPFR_RNDN); mpfr_mul(r15201, r15168, r15177, MPFR_RNDN); mpfr_mul(r15202, r15201, r15175, MPFR_RNDN); mpfr_sub(r15203, r15174, r15202, MPFR_RNDN); mpfr_sqrt(r15204, r15203, MPFR_RNDN); mpfr_add(r15205, r15204, r15171, MPFR_RNDN); mpfr_mul(r15206, r15177, r15169, MPFR_RNDN); mpfr_div(r15207, r15205, r15206, MPFR_RNDN); if (mpfr_get_si(r15167, MPFR_RNDN)) { mpfr_set(r15208, r15200, MPFR_RNDN); } else { mpfr_set(r15208, r15207, MPFR_RNDN); }; ; mpfr_set_si(r15210, mpfr_cmp(r15163, r15209) <= 0, MPFR_RNDN); mpfr_mul(r15211, r15169, r15168, MPFR_RNDN); mpfr_mul(r15212, r15177, r15168, MPFR_RNDN); mpfr_mul(r15213, r15212, r15175, MPFR_RNDN); mpfr_sub(r15214, r15174, r15213, MPFR_RNDN); mpfr_sqrt(r15215, r15214, MPFR_RNDN); mpfr_sub(r15216, r15171, r15215, MPFR_RNDN); mpfr_div(r15217, r15211, r15216, MPFR_RNDN); ; mpfr_div(r15219, r15175, r15218, MPFR_RNDN); mpfr_div(r15220, r15193, r15169, MPFR_RNDN); mpfr_mul(r15221, r15219, r15220, MPFR_RNDN); if (mpfr_get_si(r15167, MPFR_RNDN)) { mpfr_set(r15222, r15217, MPFR_RNDN); } else { mpfr_set(r15222, r15221, MPFR_RNDN); }; if (mpfr_get_si(r15210, MPFR_RNDN)) { mpfr_set(r15223, r15222, MPFR_RNDN); } else { mpfr_set(r15223, r15208, MPFR_RNDN); }; if (mpfr_get_si(r15197, MPFR_RNDN)) { mpfr_set(r15224, r15208, MPFR_RNDN); } else { mpfr_set(r15224, r15223, MPFR_RNDN); }; if (mpfr_get_si(r15165, MPFR_RNDN)) { mpfr_set(r15225, r15195, MPFR_RNDN); } else { mpfr_set(r15225, r15224, MPFR_RNDN); }; return mpfr_get_d(r15225, MPFR_RNDN); } static mpfr_t r15226, r15227, r15228, r15229, r15230, r15231, r15232, r15233, r15234, r15235, r15236, r15237, r15238, r15239, r15240, r15241, r15242, r15243, r15244, r15245, r15246, r15247, r15248, r15249, r15250, r15251, r15252, r15253, r15254, r15255, r15256, r15257, r15258, r15259, r15260, r15261, r15262, r15263, r15264, r15265, r15266, r15267, r15268, r15269, r15270, r15271, r15272, r15273, r15274, r15275, r15276, r15277, r15278, r15279, r15280, r15281, r15282, r15283, r15284, r15285, r15286, r15287, r15288; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15226); mpfr_init_set_str(r15227, "-5.8926960145992884e+113", 10, MPFR_RNDN); mpfr_init(r15228); mpfr_init_set_str(r15229, "0", 10, MPFR_RNDN); mpfr_init(r15230); mpfr_init(r15231); mpfr_init_set_str(r15232, "2", 10, MPFR_RNDN); mpfr_init(r15233); mpfr_init(r15234); mpfr_init_set_str(r15235, "3", 10, MPFR_RNDN); mpfr_init(r15236); mpfr_init(r15237); mpfr_init_set_str(r15238, "4", 10, MPFR_RNDN); mpfr_init(r15239); mpfr_init(r15240); mpfr_init(r15241); mpfr_init(r15242); mpfr_init(r15243); mpfr_init(r15244); mpfr_init(r15245); mpfr_init(r15246); mpfr_init(r15247); mpfr_init(r15248); mpfr_init(r15249); mpfr_init(r15250); mpfr_init(r15251); mpfr_init(r15252); mpfr_init(r15253); mpfr_init_set_str(r15254, "1", 10, MPFR_RNDN); mpfr_init(r15255); mpfr_init(r15256); mpfr_init(r15257); mpfr_init(r15258); mpfr_init_set_str(r15259, "-2.594511144108344e-298", 10, MPFR_RNDN); mpfr_init(r15260); mpfr_init(r15261); mpfr_init(r15262); mpfr_init(r15263); mpfr_init(r15264); mpfr_init(r15265); mpfr_init(r15266); mpfr_init(r15267); mpfr_init(r15268); mpfr_init(r15269); mpfr_init(r15270); mpfr_init(r15271); mpfr_init_set_str(r15272, "8.164018341878614e+86", 10, MPFR_RNDN); mpfr_init(r15273); mpfr_init(r15274); mpfr_init(r15275); mpfr_init(r15276); mpfr_init(r15277); mpfr_init(r15278); mpfr_init(r15279); mpfr_init(r15280); mpfr_init_set_str(r15281, "-2", 10, MPFR_RNDN); mpfr_init(r15282); mpfr_init(r15283); mpfr_init(r15284); mpfr_init(r15285); mpfr_init(r15286); mpfr_init(r15287); mpfr_init(r15288); } double f_dm(double a, double b, double c) { mpfr_set_d(r15226, b, MPFR_RNDN); ; mpfr_set_si(r15228, mpfr_cmp(r15226, r15227) <= 0, MPFR_RNDN); ; mpfr_set_si(r15230, mpfr_cmp(r15226, r15229) >= 0, MPFR_RNDN); mpfr_set_d(r15231, c, MPFR_RNDN); ; mpfr_mul(r15233, r15231, r15232, MPFR_RNDN); mpfr_neg(r15234, r15226, MPFR_RNDN); ; mpfr_pow(r15236, r15234, r15235, MPFR_RNDN); mpfr_sqr(r15237, r15226, MPFR_RNDN); ; mpfr_mul(r15239, r15238, r15231, MPFR_RNDN); mpfr_set_d(r15240, a, MPFR_RNDN); mpfr_mul(r15241, r15239, r15240, MPFR_RNDN); mpfr_sub(r15242, r15237, r15241, MPFR_RNDN); mpfr_sqrt(r15243, r15242, MPFR_RNDN); mpfr_pow(r15244, r15243, r15235, MPFR_RNDN); mpfr_sub(r15245, r15236, r15244, MPFR_RNDN); mpfr_div(r15246, r15233, r15245, MPFR_RNDN); mpfr_sqr(r15247, r15234, MPFR_RNDN); mpfr_sqr(r15248, r15243, MPFR_RNDN); mpfr_mul(r15249, r15234, r15243, MPFR_RNDN); mpfr_add(r15250, r15248, r15249, MPFR_RNDN); mpfr_add(r15251, r15247, r15250, MPFR_RNDN); mpfr_mul(r15252, r15246, r15251, MPFR_RNDN); mpfr_div(r15253, r15231, r15226, MPFR_RNDN); ; mpfr_div(r15255, r15253, r15254, MPFR_RNDN); mpfr_div(r15256, r15226, r15240, MPFR_RNDN); mpfr_sub(r15257, r15255, r15256, MPFR_RNDN); if (mpfr_get_si(r15230, MPFR_RNDN)) { mpfr_set(r15258, r15252, MPFR_RNDN); } else { mpfr_set(r15258, r15257, MPFR_RNDN); }; ; mpfr_set_si(r15260, mpfr_cmp(r15226, r15259) <= 0, MPFR_RNDN); mpfr_mul(r15261, r15253, r15240, MPFR_RNDN); mpfr_sub(r15262, r15261, r15226, MPFR_RNDN); mpfr_div(r15263, r15231, r15262, MPFR_RNDN); mpfr_mul(r15264, r15231, r15240, MPFR_RNDN); mpfr_mul(r15265, r15264, r15238, MPFR_RNDN); mpfr_sub(r15266, r15237, r15265, MPFR_RNDN); mpfr_sqrt(r15267, r15266, MPFR_RNDN); mpfr_add(r15268, r15267, r15234, MPFR_RNDN); mpfr_mul(r15269, r15240, r15232, MPFR_RNDN); mpfr_div(r15270, r15268, r15269, MPFR_RNDN); if (mpfr_get_si(r15230, MPFR_RNDN)) { mpfr_set(r15271, r15263, MPFR_RNDN); } else { mpfr_set(r15271, r15270, MPFR_RNDN); }; ; mpfr_set_si(r15273, mpfr_cmp(r15226, r15272) <= 0, MPFR_RNDN); mpfr_mul(r15274, r15232, r15231, MPFR_RNDN); mpfr_mul(r15275, r15240, r15231, MPFR_RNDN); mpfr_mul(r15276, r15275, r15238, MPFR_RNDN); mpfr_sub(r15277, r15237, r15276, MPFR_RNDN); mpfr_sqrt(r15278, r15277, MPFR_RNDN); mpfr_sub(r15279, r15234, r15278, MPFR_RNDN); mpfr_div(r15280, r15274, r15279, MPFR_RNDN); ; mpfr_div(r15282, r15238, r15281, MPFR_RNDN); mpfr_div(r15283, r15256, r15232, MPFR_RNDN); mpfr_mul(r15284, r15282, r15283, MPFR_RNDN); if (mpfr_get_si(r15230, MPFR_RNDN)) { mpfr_set(r15285, r15280, MPFR_RNDN); } else { mpfr_set(r15285, r15284, MPFR_RNDN); }; if (mpfr_get_si(r15273, MPFR_RNDN)) { mpfr_set(r15286, r15285, MPFR_RNDN); } else { mpfr_set(r15286, r15271, MPFR_RNDN); }; if (mpfr_get_si(r15260, MPFR_RNDN)) { mpfr_set(r15287, r15271, MPFR_RNDN); } else { mpfr_set(r15287, r15286, MPFR_RNDN); }; if (mpfr_get_si(r15228, MPFR_RNDN)) { mpfr_set(r15288, r15258, MPFR_RNDN); } else { mpfr_set(r15288, r15287, MPFR_RNDN); }; return mpfr_get_d(r15288, MPFR_RNDN); }