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