#include #include #include #include #include char *name = "Quadratic roots, medium range"; double f_if(float a, float b, float c) { float r22266 = b; float r22267 = -r22266; float r22268 = r22266 * r22266; float r22269 = 4; float r22270 = a; float r22271 = r22269 * r22270; float r22272 = c; float r22273 = r22271 * r22272; float r22274 = r22268 - r22273; float r22275 = sqrt(r22274); float r22276 = r22267 + r22275; float r22277 = 2; float r22278 = r22277 * r22270; float r22279 = r22276 / r22278; return r22279; } double f_id(double a, double b, double c) { double r22280 = b; double r22281 = -r22280; double r22282 = r22280 * r22280; double r22283 = 4; double r22284 = a; double r22285 = r22283 * r22284; double r22286 = c; double r22287 = r22285 * r22286; double r22288 = r22282 - r22287; double r22289 = sqrt(r22288); double r22290 = r22281 + r22289; double r22291 = 2; double r22292 = r22291 * r22284; double r22293 = r22290 / r22292; return r22293; } double f_of(float a, float b, float c) { float r22294 = c; float r22295 = 2; float r22296 = r22294 / r22295; float r22297 = 4; float r22298 = b; float r22299 = -r22298; float r22300 = r22298 * r22298; float r22301 = a; float r22302 = r22297 * r22301; float r22303 = r22294 * r22302; float r22304 = r22300 - r22303; float r22305 = sqrt(r22304); float r22306 = r22299 - r22305; float r22307 = r22297 / r22306; float r22308 = r22296 * r22307; return r22308; } double f_od(double a, double b, double c) { double r22309 = c; double r22310 = 2; double r22311 = r22309 / r22310; double r22312 = 4; double r22313 = b; double r22314 = -r22313; double r22315 = r22313 * r22313; double r22316 = a; double r22317 = r22312 * r22316; double r22318 = r22309 * r22317; double r22319 = r22315 - r22318; double r22320 = sqrt(r22319); double r22321 = r22314 - r22320; double r22322 = r22312 / r22321; double r22323 = r22311 * r22322; return r22323; } 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 r22324, r22325, r22326, r22327, r22328, r22329, r22330, r22331, r22332, r22333, r22334, r22335, r22336, r22337; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r22324); mpfr_init(r22325); mpfr_init(r22326); mpfr_init_set_str(r22327, "4", 10, MPFR_RNDN); mpfr_init(r22328); mpfr_init(r22329); mpfr_init(r22330); mpfr_init(r22331); mpfr_init(r22332); mpfr_init(r22333); mpfr_init(r22334); mpfr_init_set_str(r22335, "2", 10, MPFR_RNDN); mpfr_init(r22336); mpfr_init(r22337); } double f_im(double a, double b, double c) { mpfr_set_d(r22324, b, MPFR_RNDN); mpfr_neg(r22325, r22324, MPFR_RNDN); mpfr_mul(r22326, r22324, r22324, MPFR_RNDN); ; mpfr_set_d(r22328, a, MPFR_RNDN); mpfr_mul(r22329, r22327, r22328, MPFR_RNDN); mpfr_set_d(r22330, c, MPFR_RNDN); mpfr_mul(r22331, r22329, r22330, MPFR_RNDN); mpfr_sub(r22332, r22326, r22331, MPFR_RNDN); mpfr_sqrt(r22333, r22332, MPFR_RNDN); mpfr_add(r22334, r22325, r22333, MPFR_RNDN); ; mpfr_mul(r22336, r22335, r22328, MPFR_RNDN); mpfr_div(r22337, r22334, r22336, MPFR_RNDN); return mpfr_get_d(r22337, MPFR_RNDN); } static mpfr_t r22338, r22339, r22340, r22341, r22342, r22343, r22344, r22345, r22346, r22347, r22348, r22349, r22350, r22351, r22352; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r22338); mpfr_init_set_str(r22339, "2", 10, MPFR_RNDN); mpfr_init(r22340); mpfr_init_set_str(r22341, "4", 10, MPFR_RNDN); mpfr_init(r22342); mpfr_init(r22343); mpfr_init(r22344); mpfr_init(r22345); mpfr_init(r22346); mpfr_init(r22347); mpfr_init(r22348); mpfr_init(r22349); mpfr_init(r22350); mpfr_init(r22351); mpfr_init(r22352); } double f_fm(double a, double b, double c) { mpfr_set_d(r22338, c, MPFR_RNDN); ; mpfr_div(r22340, r22338, r22339, MPFR_RNDN); ; mpfr_set_d(r22342, b, MPFR_RNDN); mpfr_neg(r22343, r22342, MPFR_RNDN); mpfr_mul(r22344, r22342, r22342, MPFR_RNDN); mpfr_set_d(r22345, a, MPFR_RNDN); mpfr_mul(r22346, r22341, r22345, MPFR_RNDN); mpfr_mul(r22347, r22338, r22346, MPFR_RNDN); mpfr_sub(r22348, r22344, r22347, MPFR_RNDN); mpfr_sqrt(r22349, r22348, MPFR_RNDN); mpfr_sub(r22350, r22343, r22349, MPFR_RNDN); mpfr_div(r22351, r22341, r22350, MPFR_RNDN); mpfr_mul(r22352, r22340, r22351, MPFR_RNDN); return mpfr_get_d(r22352, MPFR_RNDN); } static mpfr_t r22353, r22354, r22355, r22356, r22357, r22358, r22359, r22360, r22361, r22362, r22363, r22364, r22365, r22366, r22367; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r22353); mpfr_init_set_str(r22354, "2", 10, MPFR_RNDN); mpfr_init(r22355); mpfr_init_set_str(r22356, "4", 10, MPFR_RNDN); mpfr_init(r22357); mpfr_init(r22358); mpfr_init(r22359); mpfr_init(r22360); mpfr_init(r22361); mpfr_init(r22362); mpfr_init(r22363); mpfr_init(r22364); mpfr_init(r22365); mpfr_init(r22366); mpfr_init(r22367); } double f_dm(double a, double b, double c) { mpfr_set_d(r22353, c, MPFR_RNDN); ; mpfr_div(r22355, r22353, r22354, MPFR_RNDN); ; mpfr_set_d(r22357, b, MPFR_RNDN); mpfr_neg(r22358, r22357, MPFR_RNDN); mpfr_mul(r22359, r22357, r22357, MPFR_RNDN); mpfr_set_d(r22360, a, MPFR_RNDN); mpfr_mul(r22361, r22356, r22360, MPFR_RNDN); mpfr_mul(r22362, r22353, r22361, MPFR_RNDN); mpfr_sub(r22363, r22359, r22362, MPFR_RNDN); mpfr_sqrt(r22364, r22363, MPFR_RNDN); mpfr_sub(r22365, r22358, r22364, MPFR_RNDN); mpfr_div(r22366, r22356, r22365, MPFR_RNDN); mpfr_mul(r22367, r22355, r22366, MPFR_RNDN); return mpfr_get_d(r22367, MPFR_RNDN); }