#include #include #include #include #include char *name = "Quadratic roots, medium range"; double f_if(float a, float b, float c) { float r22175 = b; float r22176 = -r22175; float r22177 = r22175 * r22175; float r22178 = 4; float r22179 = a; float r22180 = r22178 * r22179; float r22181 = c; float r22182 = r22180 * r22181; float r22183 = r22177 - r22182; float r22184 = sqrt(r22183); float r22185 = r22176 + r22184; float r22186 = 2; float r22187 = r22186 * r22179; float r22188 = r22185 / r22187; return r22188; } double f_id(double a, double b, double c) { double r22189 = b; double r22190 = -r22189; double r22191 = r22189 * r22189; double r22192 = 4; double r22193 = a; double r22194 = r22192 * r22193; double r22195 = c; double r22196 = r22194 * r22195; double r22197 = r22191 - r22196; double r22198 = sqrt(r22197); double r22199 = r22190 + r22198; double r22200 = 2; double r22201 = r22200 * r22193; double r22202 = r22199 / r22201; return r22202; } double f_of(float a, float b, float c) { float r22203 = c; float r22204 = 2; float r22205 = r22203 / r22204; float r22206 = 4; float r22207 = b; float r22208 = -r22207; float r22209 = -r22206; float r22210 = a; float r22211 = r22203 * r22210; float r22212 = r22207 * r22207; float r22213 = fma(r22209, r22211, r22212); float r22214 = sqrt(r22213); float r22215 = r22208 - r22214; float r22216 = r22206 / r22215; float r22217 = r22205 * r22216; return r22217; } double f_od(double a, double b, double c) { double r22218 = c; double r22219 = 2; double r22220 = r22218 / r22219; double r22221 = 4; double r22222 = b; double r22223 = -r22222; double r22224 = -r22221; double r22225 = a; double r22226 = r22218 * r22225; double r22227 = r22222 * r22222; double r22228 = fma(r22224, r22226, r22227); double r22229 = sqrt(r22228); double r22230 = r22223 - r22229; double r22231 = r22221 / r22230; double r22232 = r22220 * r22231; return r22232; } 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 r22233, r22234, r22235, r22236, r22237, r22238, r22239, r22240, r22241, r22242, r22243, r22244, r22245, r22246; void setup_mpfr_f_im() { mpfr_set_default_prec(656); mpfr_init(r22233); mpfr_init(r22234); mpfr_init(r22235); mpfr_init_set_str(r22236, "4", 10, MPFR_RNDN); mpfr_init(r22237); mpfr_init(r22238); mpfr_init(r22239); mpfr_init(r22240); mpfr_init(r22241); mpfr_init(r22242); mpfr_init(r22243); mpfr_init_set_str(r22244, "2", 10, MPFR_RNDN); mpfr_init(r22245); mpfr_init(r22246); } double f_im(double a, double b, double c) { mpfr_set_d(r22233, b, MPFR_RNDN); mpfr_neg(r22234, r22233, MPFR_RNDN); mpfr_mul(r22235, r22233, r22233, MPFR_RNDN); ; mpfr_set_d(r22237, a, MPFR_RNDN); mpfr_mul(r22238, r22236, r22237, MPFR_RNDN); mpfr_set_d(r22239, c, MPFR_RNDN); mpfr_mul(r22240, r22238, r22239, MPFR_RNDN); mpfr_sub(r22241, r22235, r22240, MPFR_RNDN); mpfr_sqrt(r22242, r22241, MPFR_RNDN); mpfr_add(r22243, r22234, r22242, MPFR_RNDN); ; mpfr_mul(r22245, r22244, r22237, MPFR_RNDN); mpfr_div(r22246, r22243, r22245, MPFR_RNDN); return mpfr_get_d(r22246, MPFR_RNDN); } static mpfr_t r22247, r22248, r22249, r22250, r22251, r22252, r22253, r22254, r22255, r22256, r22257, r22258, r22259, r22260, r22261; void setup_mpfr_f_fm() { mpfr_set_default_prec(656); mpfr_init(r22247); mpfr_init_set_str(r22248, "2", 10, MPFR_RNDN); mpfr_init(r22249); mpfr_init_set_str(r22250, "4", 10, MPFR_RNDN); mpfr_init(r22251); mpfr_init(r22252); mpfr_init(r22253); mpfr_init(r22254); mpfr_init(r22255); mpfr_init(r22256); mpfr_init(r22257); mpfr_init(r22258); mpfr_init(r22259); mpfr_init(r22260); mpfr_init(r22261); } double f_fm(double a, double b, double c) { mpfr_set_d(r22247, c, MPFR_RNDN); ; mpfr_div(r22249, r22247, r22248, MPFR_RNDN); ; mpfr_set_d(r22251, b, MPFR_RNDN); mpfr_neg(r22252, r22251, MPFR_RNDN); mpfr_neg(r22253, r22250, MPFR_RNDN); mpfr_set_d(r22254, a, MPFR_RNDN); mpfr_mul(r22255, r22247, r22254, MPFR_RNDN); mpfr_mul(r22256, r22251, r22251, MPFR_RNDN); mpfr_fma(r22257, r22253, r22255, r22256, MPFR_RNDN); mpfr_sqrt(r22258, r22257, MPFR_RNDN); mpfr_sub(r22259, r22252, r22258, MPFR_RNDN); mpfr_div(r22260, r22250, r22259, MPFR_RNDN); mpfr_mul(r22261, r22249, r22260, MPFR_RNDN); return mpfr_get_d(r22261, MPFR_RNDN); } static mpfr_t r22262, r22263, r22264, r22265, r22266, r22267, r22268, r22269, r22270, r22271, r22272, r22273, r22274, r22275, r22276; void setup_mpfr_f_dm() { mpfr_set_default_prec(656); mpfr_init(r22262); mpfr_init_set_str(r22263, "2", 10, MPFR_RNDN); mpfr_init(r22264); mpfr_init_set_str(r22265, "4", 10, MPFR_RNDN); mpfr_init(r22266); mpfr_init(r22267); mpfr_init(r22268); mpfr_init(r22269); mpfr_init(r22270); mpfr_init(r22271); mpfr_init(r22272); mpfr_init(r22273); mpfr_init(r22274); mpfr_init(r22275); mpfr_init(r22276); } double f_dm(double a, double b, double c) { mpfr_set_d(r22262, c, MPFR_RNDN); ; mpfr_div(r22264, r22262, r22263, MPFR_RNDN); ; mpfr_set_d(r22266, b, MPFR_RNDN); mpfr_neg(r22267, r22266, MPFR_RNDN); mpfr_neg(r22268, r22265, MPFR_RNDN); mpfr_set_d(r22269, a, MPFR_RNDN); mpfr_mul(r22270, r22262, r22269, MPFR_RNDN); mpfr_mul(r22271, r22266, r22266, MPFR_RNDN); mpfr_fma(r22272, r22268, r22270, r22271, MPFR_RNDN); mpfr_sqrt(r22273, r22272, MPFR_RNDN); mpfr_sub(r22274, r22267, r22273, MPFR_RNDN); mpfr_div(r22275, r22265, r22274, MPFR_RNDN); mpfr_mul(r22276, r22264, r22275, MPFR_RNDN); return mpfr_get_d(r22276, MPFR_RNDN); }