#include #include #include #include #include char *name = "Quadratic roots, medium range"; double f_if(float a, float b, float c) { float r22122 = b; float r22123 = -r22122; float r22124 = r22122 * r22122; float r22125 = 4; float r22126 = a; float r22127 = r22125 * r22126; float r22128 = c; float r22129 = r22127 * r22128; float r22130 = r22124 - r22129; float r22131 = sqrt(r22130); float r22132 = r22123 + r22131; float r22133 = 2; float r22134 = r22133 * r22126; float r22135 = r22132 / r22134; return r22135; } double f_id(double a, double b, double c) { double r22136 = b; double r22137 = -r22136; double r22138 = r22136 * r22136; double r22139 = 4; double r22140 = a; double r22141 = r22139 * r22140; double r22142 = c; double r22143 = r22141 * r22142; double r22144 = r22138 - r22143; double r22145 = sqrt(r22144); double r22146 = r22137 + r22145; double r22147 = 2; double r22148 = r22147 * r22140; double r22149 = r22146 / r22148; return r22149; } double f_of(float a, float b, float c) { float r22150 = c; float r22151 = a; float r22152 = r22150 * r22151; float r22153 = 4; float r22154 = -r22153; float r22155 = r22152 * r22154; float r22156 = r22153 * r22151; float r22157 = -r22150; float r22158 = b; float r22159 = r22158 * r22158; float r22160 = fma(r22156, r22157, r22159); float r22161 = sqrt(r22160); float r22162 = r22161 + r22158; float r22163 = r22155 / r22162; float r22164 = 2; float r22165 = r22164 * r22151; float r22166 = r22163 / r22165; return r22166; } double f_od(double a, double b, double c) { double r22167 = c; double r22168 = a; double r22169 = r22167 * r22168; double r22170 = 4; double r22171 = -r22170; double r22172 = r22169 * r22171; double r22173 = r22170 * r22168; double r22174 = -r22167; double r22175 = b; double r22176 = r22175 * r22175; double r22177 = fma(r22173, r22174, r22176); double r22178 = sqrt(r22177); double r22179 = r22178 + r22175; double r22180 = r22172 / r22179; double r22181 = 2; double r22182 = r22181 * r22168; double r22183 = r22180 / r22182; return r22183; } 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 r22184, r22185, r22186, r22187, r22188, r22189, r22190, r22191, r22192, r22193, r22194, r22195, r22196, r22197; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r22184); mpfr_init(r22185); mpfr_init(r22186); mpfr_init_set_str(r22187, "4", 10, MPFR_RNDN); mpfr_init(r22188); mpfr_init(r22189); mpfr_init(r22190); mpfr_init(r22191); mpfr_init(r22192); mpfr_init(r22193); mpfr_init(r22194); mpfr_init_set_str(r22195, "2", 10, MPFR_RNDN); mpfr_init(r22196); mpfr_init(r22197); } double f_im(double a, double b, double c) { mpfr_set_d(r22184, b, MPFR_RNDN); mpfr_neg(r22185, r22184, MPFR_RNDN); mpfr_mul(r22186, r22184, r22184, MPFR_RNDN); ; mpfr_set_d(r22188, a, MPFR_RNDN); mpfr_mul(r22189, r22187, r22188, MPFR_RNDN); mpfr_set_d(r22190, c, MPFR_RNDN); mpfr_mul(r22191, r22189, r22190, MPFR_RNDN); mpfr_sub(r22192, r22186, r22191, MPFR_RNDN); mpfr_sqrt(r22193, r22192, MPFR_RNDN); mpfr_add(r22194, r22185, r22193, MPFR_RNDN); ; mpfr_mul(r22196, r22195, r22188, MPFR_RNDN); mpfr_div(r22197, r22194, r22196, MPFR_RNDN); return mpfr_get_d(r22197, MPFR_RNDN); } static mpfr_t r22198, r22199, r22200, r22201, r22202, r22203, r22204, r22205, r22206, r22207, r22208, r22209, r22210, r22211, r22212, r22213, r22214; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r22198); mpfr_init(r22199); mpfr_init(r22200); mpfr_init_set_str(r22201, "4", 10, MPFR_RNDN); mpfr_init(r22202); mpfr_init(r22203); mpfr_init(r22204); mpfr_init(r22205); mpfr_init(r22206); mpfr_init(r22207); mpfr_init(r22208); mpfr_init(r22209); mpfr_init(r22210); mpfr_init(r22211); mpfr_init_set_str(r22212, "2", 10, MPFR_RNDN); mpfr_init(r22213); mpfr_init(r22214); } double f_fm(double a, double b, double c) { mpfr_set_d(r22198, c, MPFR_RNDN); mpfr_set_d(r22199, a, MPFR_RNDN); mpfr_mul(r22200, r22198, r22199, MPFR_RNDN); ; mpfr_neg(r22202, r22201, MPFR_RNDN); mpfr_mul(r22203, r22200, r22202, MPFR_RNDN); mpfr_mul(r22204, r22201, r22199, MPFR_RNDN); mpfr_neg(r22205, r22198, MPFR_RNDN); mpfr_set_d(r22206, b, MPFR_RNDN); mpfr_mul(r22207, r22206, r22206, MPFR_RNDN); mpfr_fma(r22208, r22204, r22205, r22207, MPFR_RNDN); mpfr_sqrt(r22209, r22208, MPFR_RNDN); mpfr_add(r22210, r22209, r22206, MPFR_RNDN); mpfr_div(r22211, r22203, r22210, MPFR_RNDN); ; mpfr_mul(r22213, r22212, r22199, MPFR_RNDN); mpfr_div(r22214, r22211, r22213, MPFR_RNDN); return mpfr_get_d(r22214, MPFR_RNDN); } static mpfr_t r22215, r22216, r22217, r22218, r22219, r22220, r22221, r22222, r22223, r22224, r22225, r22226, r22227, r22228, r22229, r22230, r22231; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r22215); mpfr_init(r22216); mpfr_init(r22217); mpfr_init_set_str(r22218, "4", 10, MPFR_RNDN); mpfr_init(r22219); mpfr_init(r22220); mpfr_init(r22221); mpfr_init(r22222); mpfr_init(r22223); mpfr_init(r22224); mpfr_init(r22225); mpfr_init(r22226); mpfr_init(r22227); mpfr_init(r22228); mpfr_init_set_str(r22229, "2", 10, MPFR_RNDN); mpfr_init(r22230); mpfr_init(r22231); } double f_dm(double a, double b, double c) { mpfr_set_d(r22215, c, MPFR_RNDN); mpfr_set_d(r22216, a, MPFR_RNDN); mpfr_mul(r22217, r22215, r22216, MPFR_RNDN); ; mpfr_neg(r22219, r22218, MPFR_RNDN); mpfr_mul(r22220, r22217, r22219, MPFR_RNDN); mpfr_mul(r22221, r22218, r22216, MPFR_RNDN); mpfr_neg(r22222, r22215, MPFR_RNDN); mpfr_set_d(r22223, b, MPFR_RNDN); mpfr_mul(r22224, r22223, r22223, MPFR_RNDN); mpfr_fma(r22225, r22221, r22222, r22224, MPFR_RNDN); mpfr_sqrt(r22226, r22225, MPFR_RNDN); mpfr_add(r22227, r22226, r22223, MPFR_RNDN); mpfr_div(r22228, r22220, r22227, MPFR_RNDN); ; mpfr_mul(r22230, r22229, r22216, MPFR_RNDN); mpfr_div(r22231, r22228, r22230, MPFR_RNDN); return mpfr_get_d(r22231, MPFR_RNDN); }