#include #include #include #include #include char *name = "jeff quadratic root 1"; double f_if(float a, float b, float c) { float r20057 = b; float r20058 = 0; bool r20059 = r20057 >= r20058; float r20060 = -r20057; float r20061 = r20057 * r20057; float r20062 = 4; float r20063 = a; float r20064 = r20062 * r20063; float r20065 = c; float r20066 = r20064 * r20065; float r20067 = r20061 - r20066; float r20068 = sqrt(r20067); float r20069 = r20060 - r20068; float r20070 = 2; float r20071 = r20070 * r20063; float r20072 = r20069 / r20071; float r20073 = r20070 * r20065; float r20074 = r20060 + r20068; float r20075 = r20073 / r20074; float r20076 = r20059 ? r20072 : r20075; return r20076; } double f_id(double a, double b, double c) { double r20077 = b; double r20078 = 0; bool r20079 = r20077 >= r20078; double r20080 = -r20077; double r20081 = r20077 * r20077; double r20082 = 4; double r20083 = a; double r20084 = r20082 * r20083; double r20085 = c; double r20086 = r20084 * r20085; double r20087 = r20081 - r20086; double r20088 = sqrt(r20087); double r20089 = r20080 - r20088; double r20090 = 2; double r20091 = r20090 * r20083; double r20092 = r20089 / r20091; double r20093 = r20090 * r20085; double r20094 = r20080 + r20088; double r20095 = r20093 / r20094; double r20096 = r20079 ? r20092 : r20095; return r20096; } double f_of(float a, float b, float c) { float r20097 = b; float r20098 = -2.950986995457605e+147; bool r20099 = r20097 <= r20098; float r20100 = 0; bool r20101 = r20097 >= r20100; float r20102 = -r20097; float r20103 = r20097 * r20097; float r20104 = c; float r20105 = a; float r20106 = 4; float r20107 = r20105 * r20106; float r20108 = r20104 * r20107; float r20109 = r20103 - r20108; float r20110 = sqrt(r20109); float r20111 = r20102 - r20110; float r20112 = r20105 + r20105; float r20113 = r20111 / r20112; float r20114 = r20105 / r20097; float r20115 = r20114 * r20104; float r20116 = r20115 - r20097; float r20117 = r20104 / r20116; float r20118 = r20101 ? r20113 : r20117; float r20119 = 2.218223989162982e+84; bool r20120 = r20097 <= r20119; float r20121 = r20106 * r20104; float r20122 = r20105 * r20121; float r20123 = r20103 - r20122; float r20124 = cbrt(r20123); float r20125 = fabs(r20124); float r20126 = r20106 * r20105; float r20127 = r20126 * r20104; float r20128 = r20103 - r20127; float r20129 = cbrt(r20128); float r20130 = sqrt(r20129); float r20131 = r20125 * r20130; float r20132 = r20102 - r20131; float r20133 = 2; float r20134 = r20133 * r20105; float r20135 = r20132 / r20134; float r20136 = r20133 * r20104; float r20137 = sqrt(r20128); float r20138 = r20102 + r20137; float r20139 = r20136 / r20138; float r20140 = r20101 ? r20135 : r20139; float r20141 = r20104 / r20097; float r20142 = 1; float r20143 = r20141 / r20142; float r20144 = r20097 / r20105; float r20145 = r20143 - r20144; float r20146 = r20104 + r20104; float r20147 = r20110 + r20102; float r20148 = r20142 / r20147; float r20149 = r20146 * r20148; float r20150 = r20101 ? r20145 : r20149; float r20151 = r20120 ? r20140 : r20150; float r20152 = r20099 ? r20118 : r20151; return r20152; } double f_od(double a, double b, double c) { double r20153 = b; double r20154 = -2.950986995457605e+147; bool r20155 = r20153 <= r20154; double r20156 = 0; bool r20157 = r20153 >= r20156; double r20158 = -r20153; double r20159 = r20153 * r20153; double r20160 = c; double r20161 = a; double r20162 = 4; double r20163 = r20161 * r20162; double r20164 = r20160 * r20163; double r20165 = r20159 - r20164; double r20166 = sqrt(r20165); double r20167 = r20158 - r20166; double r20168 = r20161 + r20161; double r20169 = r20167 / r20168; double r20170 = r20161 / r20153; double r20171 = r20170 * r20160; double r20172 = r20171 - r20153; double r20173 = r20160 / r20172; double r20174 = r20157 ? r20169 : r20173; double r20175 = 2.218223989162982e+84; bool r20176 = r20153 <= r20175; double r20177 = r20162 * r20160; double r20178 = r20161 * r20177; double r20179 = r20159 - r20178; double r20180 = cbrt(r20179); double r20181 = fabs(r20180); double r20182 = r20162 * r20161; double r20183 = r20182 * r20160; double r20184 = r20159 - r20183; double r20185 = cbrt(r20184); double r20186 = sqrt(r20185); double r20187 = r20181 * r20186; double r20188 = r20158 - r20187; double r20189 = 2; double r20190 = r20189 * r20161; double r20191 = r20188 / r20190; double r20192 = r20189 * r20160; double r20193 = sqrt(r20184); double r20194 = r20158 + r20193; double r20195 = r20192 / r20194; double r20196 = r20157 ? r20191 : r20195; double r20197 = r20160 / r20153; double r20198 = 1; double r20199 = r20197 / r20198; double r20200 = r20153 / r20161; double r20201 = r20199 - r20200; double r20202 = r20160 + r20160; double r20203 = r20166 + r20158; double r20204 = r20198 / r20203; double r20205 = r20202 * r20204; double r20206 = r20157 ? r20201 : r20205; double r20207 = r20176 ? r20196 : r20206; double r20208 = r20155 ? r20174 : r20207; return r20208; } 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 r20209, r20210, r20211, r20212, r20213, r20214, r20215, r20216, r20217, r20218, r20219, r20220, r20221, r20222, r20223, r20224, r20225, r20226, r20227, r20228; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r20209); mpfr_init_set_str(r20210, "0", 10, MPFR_RNDN); mpfr_init(r20211); mpfr_init(r20212); mpfr_init(r20213); mpfr_init_set_str(r20214, "4", 10, MPFR_RNDN); mpfr_init(r20215); mpfr_init(r20216); mpfr_init(r20217); mpfr_init(r20218); mpfr_init(r20219); mpfr_init(r20220); mpfr_init(r20221); mpfr_init_set_str(r20222, "2", 10, MPFR_RNDN); mpfr_init(r20223); mpfr_init(r20224); mpfr_init(r20225); mpfr_init(r20226); mpfr_init(r20227); mpfr_init(r20228); } double f_im(double a, double b, double c) { mpfr_set_d(r20209, b, MPFR_RNDN); ; mpfr_set_si(r20211, mpfr_cmp(r20209, r20210) >= 0, MPFR_RNDN); mpfr_neg(r20212, r20209, MPFR_RNDN); mpfr_mul(r20213, r20209, r20209, MPFR_RNDN); ; mpfr_set_d(r20215, a, MPFR_RNDN); mpfr_mul(r20216, r20214, r20215, MPFR_RNDN); mpfr_set_d(r20217, c, MPFR_RNDN); mpfr_mul(r20218, r20216, r20217, MPFR_RNDN); mpfr_sub(r20219, r20213, r20218, MPFR_RNDN); mpfr_sqrt(r20220, r20219, MPFR_RNDN); mpfr_sub(r20221, r20212, r20220, MPFR_RNDN); ; mpfr_mul(r20223, r20222, r20215, MPFR_RNDN); mpfr_div(r20224, r20221, r20223, MPFR_RNDN); mpfr_mul(r20225, r20222, r20217, MPFR_RNDN); mpfr_add(r20226, r20212, r20220, MPFR_RNDN); mpfr_div(r20227, r20225, r20226, MPFR_RNDN); if (mpfr_get_si(r20211, MPFR_RNDN)) { mpfr_set(r20228, r20224, MPFR_RNDN); } else { mpfr_set(r20228, r20227, MPFR_RNDN); }; return mpfr_get_d(r20228, MPFR_RNDN); } static mpfr_t r20229, r20230, r20231, r20232, r20233, r20234, r20235, r20236, r20237, r20238, r20239, r20240, r20241, r20242, r20243, r20244, r20245, r20246, r20247, r20248, r20249, r20250, r20251, r20252, r20253, r20254, r20255, r20256, r20257, r20258, r20259, r20260, r20261, r20262, r20263, r20264, r20265, r20266, r20267, r20268, r20269, r20270, r20271, r20272, r20273, r20274, r20275, r20276, r20277, r20278, r20279, r20280, r20281, r20282, r20283, r20284; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r20229); mpfr_init_set_str(r20230, "-2.950986995457605e+147", 10, MPFR_RNDN); mpfr_init(r20231); mpfr_init_set_str(r20232, "0", 10, MPFR_RNDN); mpfr_init(r20233); mpfr_init(r20234); mpfr_init(r20235); mpfr_init(r20236); mpfr_init(r20237); mpfr_init_set_str(r20238, "4", 10, MPFR_RNDN); mpfr_init(r20239); mpfr_init(r20240); mpfr_init(r20241); mpfr_init(r20242); mpfr_init(r20243); mpfr_init(r20244); mpfr_init(r20245); mpfr_init(r20246); mpfr_init(r20247); mpfr_init(r20248); mpfr_init(r20249); mpfr_init(r20250); mpfr_init_set_str(r20251, "2.218223989162982e+84", 10, MPFR_RNDN); mpfr_init(r20252); mpfr_init(r20253); mpfr_init(r20254); mpfr_init(r20255); mpfr_init(r20256); mpfr_init(r20257); mpfr_init(r20258); mpfr_init(r20259); mpfr_init(r20260); mpfr_init(r20261); mpfr_init(r20262); mpfr_init(r20263); mpfr_init(r20264); mpfr_init_set_str(r20265, "2", 10, MPFR_RNDN); mpfr_init(r20266); mpfr_init(r20267); mpfr_init(r20268); mpfr_init(r20269); mpfr_init(r20270); mpfr_init(r20271); mpfr_init(r20272); mpfr_init(r20273); mpfr_init_set_str(r20274, "1", 10, MPFR_RNDN); mpfr_init(r20275); mpfr_init(r20276); mpfr_init(r20277); mpfr_init(r20278); mpfr_init(r20279); mpfr_init(r20280); mpfr_init(r20281); mpfr_init(r20282); mpfr_init(r20283); mpfr_init(r20284); } double f_fm(double a, double b, double c) { mpfr_set_d(r20229, b, MPFR_RNDN); ; mpfr_set_si(r20231, mpfr_cmp(r20229, r20230) <= 0, MPFR_RNDN); ; mpfr_set_si(r20233, mpfr_cmp(r20229, r20232) >= 0, MPFR_RNDN); mpfr_neg(r20234, r20229, MPFR_RNDN); mpfr_mul(r20235, r20229, r20229, MPFR_RNDN); mpfr_set_d(r20236, c, MPFR_RNDN); mpfr_set_d(r20237, a, MPFR_RNDN); ; mpfr_mul(r20239, r20237, r20238, MPFR_RNDN); mpfr_mul(r20240, r20236, r20239, MPFR_RNDN); mpfr_sub(r20241, r20235, r20240, MPFR_RNDN); mpfr_sqrt(r20242, r20241, MPFR_RNDN); mpfr_sub(r20243, r20234, r20242, MPFR_RNDN); mpfr_add(r20244, r20237, r20237, MPFR_RNDN); mpfr_div(r20245, r20243, r20244, MPFR_RNDN); mpfr_div(r20246, r20237, r20229, MPFR_RNDN); mpfr_mul(r20247, r20246, r20236, MPFR_RNDN); mpfr_sub(r20248, r20247, r20229, MPFR_RNDN); mpfr_div(r20249, r20236, r20248, MPFR_RNDN); if (mpfr_get_si(r20233, MPFR_RNDN)) { mpfr_set(r20250, r20245, MPFR_RNDN); } else { mpfr_set(r20250, r20249, MPFR_RNDN); }; ; mpfr_set_si(r20252, mpfr_cmp(r20229, r20251) <= 0, MPFR_RNDN); mpfr_mul(r20253, r20238, r20236, MPFR_RNDN); mpfr_mul(r20254, r20237, r20253, MPFR_RNDN); mpfr_sub(r20255, r20235, r20254, MPFR_RNDN); mpfr_cbrt(r20256, r20255, MPFR_RNDN); mpfr_abs(r20257, r20256, MPFR_RNDN); mpfr_mul(r20258, r20238, r20237, MPFR_RNDN); mpfr_mul(r20259, r20258, r20236, MPFR_RNDN); mpfr_sub(r20260, r20235, r20259, MPFR_RNDN); mpfr_cbrt(r20261, r20260, MPFR_RNDN); mpfr_sqrt(r20262, r20261, MPFR_RNDN); mpfr_mul(r20263, r20257, r20262, MPFR_RNDN); mpfr_sub(r20264, r20234, r20263, MPFR_RNDN); ; mpfr_mul(r20266, r20265, r20237, MPFR_RNDN); mpfr_div(r20267, r20264, r20266, MPFR_RNDN); mpfr_mul(r20268, r20265, r20236, MPFR_RNDN); mpfr_sqrt(r20269, r20260, MPFR_RNDN); mpfr_add(r20270, r20234, r20269, MPFR_RNDN); mpfr_div(r20271, r20268, r20270, MPFR_RNDN); if (mpfr_get_si(r20233, MPFR_RNDN)) { mpfr_set(r20272, r20267, MPFR_RNDN); } else { mpfr_set(r20272, r20271, MPFR_RNDN); }; mpfr_div(r20273, r20236, r20229, MPFR_RNDN); ; mpfr_div(r20275, r20273, r20274, MPFR_RNDN); mpfr_div(r20276, r20229, r20237, MPFR_RNDN); mpfr_sub(r20277, r20275, r20276, MPFR_RNDN); mpfr_add(r20278, r20236, r20236, MPFR_RNDN); mpfr_add(r20279, r20242, r20234, MPFR_RNDN); mpfr_div(r20280, r20274, r20279, MPFR_RNDN); mpfr_mul(r20281, r20278, r20280, MPFR_RNDN); if (mpfr_get_si(r20233, MPFR_RNDN)) { mpfr_set(r20282, r20277, MPFR_RNDN); } else { mpfr_set(r20282, r20281, MPFR_RNDN); }; if (mpfr_get_si(r20252, MPFR_RNDN)) { mpfr_set(r20283, r20272, MPFR_RNDN); } else { mpfr_set(r20283, r20282, MPFR_RNDN); }; if (mpfr_get_si(r20231, MPFR_RNDN)) { mpfr_set(r20284, r20250, MPFR_RNDN); } else { mpfr_set(r20284, r20283, MPFR_RNDN); }; return mpfr_get_d(r20284, MPFR_RNDN); } static mpfr_t r20285, r20286, r20287, r20288, r20289, r20290, r20291, r20292, r20293, r20294, r20295, r20296, r20297, r20298, r20299, r20300, r20301, r20302, r20303, r20304, r20305, r20306, r20307, r20308, r20309, r20310, r20311, r20312, r20313, r20314, r20315, r20316, r20317, r20318, r20319, r20320, r20321, r20322, r20323, r20324, r20325, r20326, r20327, r20328, r20329, r20330, r20331, r20332, r20333, r20334, r20335, r20336, r20337, r20338, r20339, r20340; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r20285); mpfr_init_set_str(r20286, "-2.950986995457605e+147", 10, MPFR_RNDN); mpfr_init(r20287); mpfr_init_set_str(r20288, "0", 10, MPFR_RNDN); mpfr_init(r20289); mpfr_init(r20290); mpfr_init(r20291); mpfr_init(r20292); mpfr_init(r20293); mpfr_init_set_str(r20294, "4", 10, MPFR_RNDN); mpfr_init(r20295); mpfr_init(r20296); mpfr_init(r20297); mpfr_init(r20298); mpfr_init(r20299); mpfr_init(r20300); mpfr_init(r20301); mpfr_init(r20302); mpfr_init(r20303); mpfr_init(r20304); mpfr_init(r20305); mpfr_init(r20306); mpfr_init_set_str(r20307, "2.218223989162982e+84", 10, MPFR_RNDN); mpfr_init(r20308); mpfr_init(r20309); mpfr_init(r20310); mpfr_init(r20311); mpfr_init(r20312); mpfr_init(r20313); mpfr_init(r20314); mpfr_init(r20315); mpfr_init(r20316); mpfr_init(r20317); mpfr_init(r20318); mpfr_init(r20319); mpfr_init(r20320); mpfr_init_set_str(r20321, "2", 10, MPFR_RNDN); mpfr_init(r20322); mpfr_init(r20323); mpfr_init(r20324); mpfr_init(r20325); mpfr_init(r20326); mpfr_init(r20327); mpfr_init(r20328); mpfr_init(r20329); mpfr_init_set_str(r20330, "1", 10, MPFR_RNDN); mpfr_init(r20331); mpfr_init(r20332); mpfr_init(r20333); mpfr_init(r20334); mpfr_init(r20335); mpfr_init(r20336); mpfr_init(r20337); mpfr_init(r20338); mpfr_init(r20339); mpfr_init(r20340); } double f_dm(double a, double b, double c) { mpfr_set_d(r20285, b, MPFR_RNDN); ; mpfr_set_si(r20287, mpfr_cmp(r20285, r20286) <= 0, MPFR_RNDN); ; mpfr_set_si(r20289, mpfr_cmp(r20285, r20288) >= 0, MPFR_RNDN); mpfr_neg(r20290, r20285, MPFR_RNDN); mpfr_mul(r20291, r20285, r20285, MPFR_RNDN); mpfr_set_d(r20292, c, MPFR_RNDN); mpfr_set_d(r20293, a, MPFR_RNDN); ; mpfr_mul(r20295, r20293, r20294, MPFR_RNDN); mpfr_mul(r20296, r20292, r20295, MPFR_RNDN); mpfr_sub(r20297, r20291, r20296, MPFR_RNDN); mpfr_sqrt(r20298, r20297, MPFR_RNDN); mpfr_sub(r20299, r20290, r20298, MPFR_RNDN); mpfr_add(r20300, r20293, r20293, MPFR_RNDN); mpfr_div(r20301, r20299, r20300, MPFR_RNDN); mpfr_div(r20302, r20293, r20285, MPFR_RNDN); mpfr_mul(r20303, r20302, r20292, MPFR_RNDN); mpfr_sub(r20304, r20303, r20285, MPFR_RNDN); mpfr_div(r20305, r20292, r20304, MPFR_RNDN); if (mpfr_get_si(r20289, MPFR_RNDN)) { mpfr_set(r20306, r20301, MPFR_RNDN); } else { mpfr_set(r20306, r20305, MPFR_RNDN); }; ; mpfr_set_si(r20308, mpfr_cmp(r20285, r20307) <= 0, MPFR_RNDN); mpfr_mul(r20309, r20294, r20292, MPFR_RNDN); mpfr_mul(r20310, r20293, r20309, MPFR_RNDN); mpfr_sub(r20311, r20291, r20310, MPFR_RNDN); mpfr_cbrt(r20312, r20311, MPFR_RNDN); mpfr_abs(r20313, r20312, MPFR_RNDN); mpfr_mul(r20314, r20294, r20293, MPFR_RNDN); mpfr_mul(r20315, r20314, r20292, MPFR_RNDN); mpfr_sub(r20316, r20291, r20315, MPFR_RNDN); mpfr_cbrt(r20317, r20316, MPFR_RNDN); mpfr_sqrt(r20318, r20317, MPFR_RNDN); mpfr_mul(r20319, r20313, r20318, MPFR_RNDN); mpfr_sub(r20320, r20290, r20319, MPFR_RNDN); ; mpfr_mul(r20322, r20321, r20293, MPFR_RNDN); mpfr_div(r20323, r20320, r20322, MPFR_RNDN); mpfr_mul(r20324, r20321, r20292, MPFR_RNDN); mpfr_sqrt(r20325, r20316, MPFR_RNDN); mpfr_add(r20326, r20290, r20325, MPFR_RNDN); mpfr_div(r20327, r20324, r20326, MPFR_RNDN); if (mpfr_get_si(r20289, MPFR_RNDN)) { mpfr_set(r20328, r20323, MPFR_RNDN); } else { mpfr_set(r20328, r20327, MPFR_RNDN); }; mpfr_div(r20329, r20292, r20285, MPFR_RNDN); ; mpfr_div(r20331, r20329, r20330, MPFR_RNDN); mpfr_div(r20332, r20285, r20293, MPFR_RNDN); mpfr_sub(r20333, r20331, r20332, MPFR_RNDN); mpfr_add(r20334, r20292, r20292, MPFR_RNDN); mpfr_add(r20335, r20298, r20290, MPFR_RNDN); mpfr_div(r20336, r20330, r20335, MPFR_RNDN); mpfr_mul(r20337, r20334, r20336, MPFR_RNDN); if (mpfr_get_si(r20289, MPFR_RNDN)) { mpfr_set(r20338, r20333, MPFR_RNDN); } else { mpfr_set(r20338, r20337, MPFR_RNDN); }; if (mpfr_get_si(r20308, MPFR_RNDN)) { mpfr_set(r20339, r20328, MPFR_RNDN); } else { mpfr_set(r20339, r20338, MPFR_RNDN); }; if (mpfr_get_si(r20287, MPFR_RNDN)) { mpfr_set(r20340, r20306, MPFR_RNDN); } else { mpfr_set(r20340, r20339, MPFR_RNDN); }; return mpfr_get_d(r20340, MPFR_RNDN); }