#include #include #include #include #include char *name = "Quadratic roots, full range"; double f_if(float a, float b, float c) { float r21208 = b; float r21209 = -r21208; float r21210 = r21208 * r21208; float r21211 = 4; float r21212 = a; float r21213 = r21211 * r21212; float r21214 = c; float r21215 = r21213 * r21214; float r21216 = r21210 - r21215; float r21217 = sqrt(r21216); float r21218 = r21209 + r21217; float r21219 = 2; float r21220 = r21219 * r21212; float r21221 = r21218 / r21220; return r21221; } double f_id(double a, double b, double c) { double r21222 = b; double r21223 = -r21222; double r21224 = r21222 * r21222; double r21225 = 4; double r21226 = a; double r21227 = r21225 * r21226; double r21228 = c; double r21229 = r21227 * r21228; double r21230 = r21224 - r21229; double r21231 = sqrt(r21230); double r21232 = r21223 + r21231; double r21233 = 2; double r21234 = r21233 * r21226; double r21235 = r21232 / r21234; return r21235; } double f_of(float a, float b, float c) { float r21236 = b; float r21237 = -1.3907652222998155e+110; bool r21238 = r21236 <= r21237; float r21239 = c; float r21240 = r21239 / r21236; float r21241 = 1; float r21242 = r21240 / r21241; float r21243 = a; float r21244 = r21236 / r21243; float r21245 = r21242 - r21244; float r21246 = 1.3192368517509897e-110; bool r21247 = r21236 <= r21246; float r21248 = 2; float r21249 = r21248 * r21243; float r21250 = -r21236; float r21251 = r21236 * r21236; float r21252 = 4; float r21253 = r21252 * r21243; float r21254 = r21253 * r21239; float r21255 = r21251 - r21254; float r21256 = sqrt(r21255); float r21257 = r21250 + r21256; float r21258 = r21249 / r21257; float r21259 = r21241 / r21258; float r21260 = 6.578629845313264e+85; bool r21261 = r21236 <= r21260; float r21262 = r21243 * r21252; float r21263 = r21239 * r21262; float r21264 = r21250 - r21256; float r21265 = r21263 / r21264; float r21266 = r21265 / r21249; float r21267 = +inf.0; bool r21268 = r21236 <= r21267; float r21269 = r21241 / r21248; float r21270 = r21239 * r21252; float r21271 = r21269 * r21270; float r21272 = r21243 / r21236; float r21273 = r21272 + r21272; float r21274 = r21250 - r21236; float r21275 = fma(r21239, r21273, r21274); float r21276 = r21271 / r21275; float r21277 = r21268 ? r21276 : r21276; float r21278 = r21261 ? r21266 : r21277; float r21279 = r21247 ? r21259 : r21278; float r21280 = r21238 ? r21245 : r21279; return r21280; } double f_od(double a, double b, double c) { double r21281 = b; double r21282 = -1.3907652222998155e+110; bool r21283 = r21281 <= r21282; double r21284 = c; double r21285 = r21284 / r21281; double r21286 = 1; double r21287 = r21285 / r21286; double r21288 = a; double r21289 = r21281 / r21288; double r21290 = r21287 - r21289; double r21291 = 1.3192368517509897e-110; bool r21292 = r21281 <= r21291; double r21293 = 2; double r21294 = r21293 * r21288; double r21295 = -r21281; double r21296 = r21281 * r21281; double r21297 = 4; double r21298 = r21297 * r21288; double r21299 = r21298 * r21284; double r21300 = r21296 - r21299; double r21301 = sqrt(r21300); double r21302 = r21295 + r21301; double r21303 = r21294 / r21302; double r21304 = r21286 / r21303; double r21305 = 6.578629845313264e+85; bool r21306 = r21281 <= r21305; double r21307 = r21288 * r21297; double r21308 = r21284 * r21307; double r21309 = r21295 - r21301; double r21310 = r21308 / r21309; double r21311 = r21310 / r21294; double r21312 = +inf.0; bool r21313 = r21281 <= r21312; double r21314 = r21286 / r21293; double r21315 = r21284 * r21297; double r21316 = r21314 * r21315; double r21317 = r21288 / r21281; double r21318 = r21317 + r21317; double r21319 = r21295 - r21281; double r21320 = fma(r21284, r21318, r21319); double r21321 = r21316 / r21320; double r21322 = r21313 ? r21321 : r21321; double r21323 = r21306 ? r21311 : r21322; double r21324 = r21292 ? r21304 : r21323; double r21325 = r21283 ? r21290 : r21324; return r21325; } 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 r21326, r21327, r21328, r21329, r21330, r21331, r21332, r21333, r21334, r21335, r21336, r21337, r21338, r21339; void setup_mpfr_f_im() { mpfr_set_default_prec(3472); mpfr_init(r21326); mpfr_init(r21327); mpfr_init(r21328); mpfr_init_set_str(r21329, "4", 10, MPFR_RNDN); mpfr_init(r21330); mpfr_init(r21331); mpfr_init(r21332); mpfr_init(r21333); mpfr_init(r21334); mpfr_init(r21335); mpfr_init(r21336); mpfr_init_set_str(r21337, "2", 10, MPFR_RNDN); mpfr_init(r21338); mpfr_init(r21339); } double f_im(double a, double b, double c) { mpfr_set_d(r21326, b, MPFR_RNDN); mpfr_neg(r21327, r21326, MPFR_RNDN); mpfr_mul(r21328, r21326, r21326, MPFR_RNDN); ; mpfr_set_d(r21330, a, MPFR_RNDN); mpfr_mul(r21331, r21329, r21330, MPFR_RNDN); mpfr_set_d(r21332, c, MPFR_RNDN); mpfr_mul(r21333, r21331, r21332, MPFR_RNDN); mpfr_sub(r21334, r21328, r21333, MPFR_RNDN); mpfr_sqrt(r21335, r21334, MPFR_RNDN); mpfr_add(r21336, r21327, r21335, MPFR_RNDN); ; mpfr_mul(r21338, r21337, r21330, MPFR_RNDN); mpfr_div(r21339, r21336, r21338, MPFR_RNDN); return mpfr_get_d(r21339, MPFR_RNDN); } static mpfr_t r21340, r21341, r21342, r21343, r21344, r21345, r21346, r21347, r21348, r21349, r21350, r21351, r21352, r21353, r21354, r21355, r21356, r21357, r21358, r21359, r21360, r21361, r21362, r21363, r21364, r21365, r21366, r21367, r21368, r21369, r21370, r21371, r21372, r21373, r21374, r21375, r21376, r21377, r21378, r21379, r21380, r21381, r21382, r21383, r21384; void setup_mpfr_f_fm() { mpfr_set_default_prec(3472); mpfr_init(r21340); mpfr_init_set_str(r21341, "-1.3907652222998155e+110", 10, MPFR_RNDN); mpfr_init(r21342); mpfr_init(r21343); mpfr_init(r21344); mpfr_init_set_str(r21345, "1", 10, MPFR_RNDN); mpfr_init(r21346); mpfr_init(r21347); mpfr_init(r21348); mpfr_init(r21349); mpfr_init_set_str(r21350, "1.3192368517509897e-110", 10, MPFR_RNDN); mpfr_init(r21351); mpfr_init_set_str(r21352, "2", 10, MPFR_RNDN); mpfr_init(r21353); mpfr_init(r21354); mpfr_init(r21355); mpfr_init_set_str(r21356, "4", 10, MPFR_RNDN); mpfr_init(r21357); mpfr_init(r21358); mpfr_init(r21359); mpfr_init(r21360); mpfr_init(r21361); mpfr_init(r21362); mpfr_init(r21363); mpfr_init_set_str(r21364, "6.578629845313264e+85", 10, MPFR_RNDN); mpfr_init(r21365); mpfr_init(r21366); mpfr_init(r21367); mpfr_init(r21368); mpfr_init(r21369); mpfr_init(r21370); mpfr_init_set_str(r21371, "+inf.0", 10, MPFR_RNDN); mpfr_init(r21372); mpfr_init(r21373); mpfr_init(r21374); mpfr_init(r21375); mpfr_init(r21376); mpfr_init(r21377); mpfr_init(r21378); mpfr_init(r21379); mpfr_init(r21380); mpfr_init(r21381); mpfr_init(r21382); mpfr_init(r21383); mpfr_init(r21384); } double f_fm(double a, double b, double c) { mpfr_set_d(r21340, b, MPFR_RNDN); ; mpfr_set_si(r21342, mpfr_cmp(r21340, r21341) <= 0, MPFR_RNDN); mpfr_set_d(r21343, c, MPFR_RNDN); mpfr_div(r21344, r21343, r21340, MPFR_RNDN); ; mpfr_div(r21346, r21344, r21345, MPFR_RNDN); mpfr_set_d(r21347, a, MPFR_RNDN); mpfr_div(r21348, r21340, r21347, MPFR_RNDN); mpfr_sub(r21349, r21346, r21348, MPFR_RNDN); ; mpfr_set_si(r21351, mpfr_cmp(r21340, r21350) <= 0, MPFR_RNDN); ; mpfr_mul(r21353, r21352, r21347, MPFR_RNDN); mpfr_neg(r21354, r21340, MPFR_RNDN); mpfr_mul(r21355, r21340, r21340, MPFR_RNDN); ; mpfr_mul(r21357, r21356, r21347, MPFR_RNDN); mpfr_mul(r21358, r21357, r21343, MPFR_RNDN); mpfr_sub(r21359, r21355, r21358, MPFR_RNDN); mpfr_sqrt(r21360, r21359, MPFR_RNDN); mpfr_add(r21361, r21354, r21360, MPFR_RNDN); mpfr_div(r21362, r21353, r21361, MPFR_RNDN); mpfr_div(r21363, r21345, r21362, MPFR_RNDN); ; mpfr_set_si(r21365, mpfr_cmp(r21340, r21364) <= 0, MPFR_RNDN); mpfr_mul(r21366, r21347, r21356, MPFR_RNDN); mpfr_mul(r21367, r21343, r21366, MPFR_RNDN); mpfr_sub(r21368, r21354, r21360, MPFR_RNDN); mpfr_div(r21369, r21367, r21368, MPFR_RNDN); mpfr_div(r21370, r21369, r21353, MPFR_RNDN); ; mpfr_set_si(r21372, mpfr_cmp(r21340, r21371) <= 0, MPFR_RNDN); mpfr_div(r21373, r21345, r21352, MPFR_RNDN); mpfr_mul(r21374, r21343, r21356, MPFR_RNDN); mpfr_mul(r21375, r21373, r21374, MPFR_RNDN); mpfr_div(r21376, r21347, r21340, MPFR_RNDN); mpfr_add(r21377, r21376, r21376, MPFR_RNDN); mpfr_sub(r21378, r21354, r21340, MPFR_RNDN); mpfr_fma(r21379, r21343, r21377, r21378, MPFR_RNDN); mpfr_div(r21380, r21375, r21379, MPFR_RNDN); if (mpfr_get_si(r21372, MPFR_RNDN)) { mpfr_set(r21381, r21380, MPFR_RNDN); } else { mpfr_set(r21381, r21380, MPFR_RNDN); }; if (mpfr_get_si(r21365, MPFR_RNDN)) { mpfr_set(r21382, r21370, MPFR_RNDN); } else { mpfr_set(r21382, r21381, MPFR_RNDN); }; if (mpfr_get_si(r21351, MPFR_RNDN)) { mpfr_set(r21383, r21363, MPFR_RNDN); } else { mpfr_set(r21383, r21382, MPFR_RNDN); }; if (mpfr_get_si(r21342, MPFR_RNDN)) { mpfr_set(r21384, r21349, MPFR_RNDN); } else { mpfr_set(r21384, r21383, MPFR_RNDN); }; return mpfr_get_d(r21384, MPFR_RNDN); } static mpfr_t r21385, r21386, r21387, r21388, r21389, r21390, r21391, r21392, r21393, r21394, r21395, r21396, r21397, r21398, r21399, r21400, r21401, r21402, r21403, r21404, r21405, r21406, r21407, r21408, r21409, r21410, r21411, r21412, r21413, r21414, r21415, r21416, r21417, r21418, r21419, r21420, r21421, r21422, r21423, r21424, r21425, r21426, r21427, r21428, r21429; void setup_mpfr_f_dm() { mpfr_set_default_prec(3472); mpfr_init(r21385); mpfr_init_set_str(r21386, "-1.3907652222998155e+110", 10, MPFR_RNDN); mpfr_init(r21387); mpfr_init(r21388); mpfr_init(r21389); mpfr_init_set_str(r21390, "1", 10, MPFR_RNDN); mpfr_init(r21391); mpfr_init(r21392); mpfr_init(r21393); mpfr_init(r21394); mpfr_init_set_str(r21395, "1.3192368517509897e-110", 10, MPFR_RNDN); mpfr_init(r21396); mpfr_init_set_str(r21397, "2", 10, MPFR_RNDN); mpfr_init(r21398); mpfr_init(r21399); mpfr_init(r21400); mpfr_init_set_str(r21401, "4", 10, MPFR_RNDN); mpfr_init(r21402); mpfr_init(r21403); mpfr_init(r21404); mpfr_init(r21405); mpfr_init(r21406); mpfr_init(r21407); mpfr_init(r21408); mpfr_init_set_str(r21409, "6.578629845313264e+85", 10, MPFR_RNDN); mpfr_init(r21410); mpfr_init(r21411); mpfr_init(r21412); mpfr_init(r21413); mpfr_init(r21414); mpfr_init(r21415); mpfr_init_set_str(r21416, "+inf.0", 10, MPFR_RNDN); mpfr_init(r21417); mpfr_init(r21418); mpfr_init(r21419); mpfr_init(r21420); mpfr_init(r21421); mpfr_init(r21422); mpfr_init(r21423); mpfr_init(r21424); mpfr_init(r21425); mpfr_init(r21426); mpfr_init(r21427); mpfr_init(r21428); mpfr_init(r21429); } double f_dm(double a, double b, double c) { mpfr_set_d(r21385, b, MPFR_RNDN); ; mpfr_set_si(r21387, mpfr_cmp(r21385, r21386) <= 0, MPFR_RNDN); mpfr_set_d(r21388, c, MPFR_RNDN); mpfr_div(r21389, r21388, r21385, MPFR_RNDN); ; mpfr_div(r21391, r21389, r21390, MPFR_RNDN); mpfr_set_d(r21392, a, MPFR_RNDN); mpfr_div(r21393, r21385, r21392, MPFR_RNDN); mpfr_sub(r21394, r21391, r21393, MPFR_RNDN); ; mpfr_set_si(r21396, mpfr_cmp(r21385, r21395) <= 0, MPFR_RNDN); ; mpfr_mul(r21398, r21397, r21392, MPFR_RNDN); mpfr_neg(r21399, r21385, MPFR_RNDN); mpfr_mul(r21400, r21385, r21385, MPFR_RNDN); ; mpfr_mul(r21402, r21401, r21392, MPFR_RNDN); mpfr_mul(r21403, r21402, r21388, MPFR_RNDN); mpfr_sub(r21404, r21400, r21403, MPFR_RNDN); mpfr_sqrt(r21405, r21404, MPFR_RNDN); mpfr_add(r21406, r21399, r21405, MPFR_RNDN); mpfr_div(r21407, r21398, r21406, MPFR_RNDN); mpfr_div(r21408, r21390, r21407, MPFR_RNDN); ; mpfr_set_si(r21410, mpfr_cmp(r21385, r21409) <= 0, MPFR_RNDN); mpfr_mul(r21411, r21392, r21401, MPFR_RNDN); mpfr_mul(r21412, r21388, r21411, MPFR_RNDN); mpfr_sub(r21413, r21399, r21405, MPFR_RNDN); mpfr_div(r21414, r21412, r21413, MPFR_RNDN); mpfr_div(r21415, r21414, r21398, MPFR_RNDN); ; mpfr_set_si(r21417, mpfr_cmp(r21385, r21416) <= 0, MPFR_RNDN); mpfr_div(r21418, r21390, r21397, MPFR_RNDN); mpfr_mul(r21419, r21388, r21401, MPFR_RNDN); mpfr_mul(r21420, r21418, r21419, MPFR_RNDN); mpfr_div(r21421, r21392, r21385, MPFR_RNDN); mpfr_add(r21422, r21421, r21421, MPFR_RNDN); mpfr_sub(r21423, r21399, r21385, MPFR_RNDN); mpfr_fma(r21424, r21388, r21422, r21423, MPFR_RNDN); mpfr_div(r21425, r21420, r21424, MPFR_RNDN); if (mpfr_get_si(r21417, MPFR_RNDN)) { mpfr_set(r21426, r21425, MPFR_RNDN); } else { mpfr_set(r21426, r21425, MPFR_RNDN); }; if (mpfr_get_si(r21410, MPFR_RNDN)) { mpfr_set(r21427, r21415, MPFR_RNDN); } else { mpfr_set(r21427, r21426, MPFR_RNDN); }; if (mpfr_get_si(r21396, MPFR_RNDN)) { mpfr_set(r21428, r21408, MPFR_RNDN); } else { mpfr_set(r21428, r21427, MPFR_RNDN); }; if (mpfr_get_si(r21387, MPFR_RNDN)) { mpfr_set(r21429, r21394, MPFR_RNDN); } else { mpfr_set(r21429, r21428, MPFR_RNDN); }; return mpfr_get_d(r21429, MPFR_RNDN); }