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