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