#include #include #include #include #include char *name = "Quadratic roots, medium range"; double f_if(float a, float b, float c) { float r21095 = b; float r21096 = -r21095; float r21097 = r21095 * r21095; float r21098 = 4; float r21099 = a; float r21100 = r21098 * r21099; float r21101 = c; float r21102 = r21100 * r21101; float r21103 = r21097 - r21102; float r21104 = sqrt(r21103); float r21105 = r21096 + r21104; float r21106 = 2; float r21107 = r21106 * r21099; float r21108 = r21105 / r21107; return r21108; } double f_id(double a, double b, double c) { double r21109 = b; double r21110 = -r21109; double r21111 = r21109 * r21109; double r21112 = 4; double r21113 = a; double r21114 = r21112 * r21113; double r21115 = c; double r21116 = r21114 * r21115; double r21117 = r21111 - r21116; double r21118 = sqrt(r21117); double r21119 = r21110 + r21118; double r21120 = 2; double r21121 = r21120 * r21113; double r21122 = r21119 / r21121; return r21122; } double f_of(float a, float b, float c) { float r21123 = 4; float r21124 = 2; float r21125 = r21123 / r21124; float r21126 = c; float r21127 = b; float r21128 = -r21127; float r21129 = r21127 * r21127; float r21130 = a; float r21131 = r21126 * r21130; float r21132 = r21131 * r21123; float r21133 = r21129 - r21132; float r21134 = sqrt(r21133); float r21135 = r21128 - r21134; float r21136 = r21126 / r21135; float r21137 = r21125 * r21136; return r21137; } double f_od(double a, double b, double c) { double r21138 = 4; double r21139 = 2; double r21140 = r21138 / r21139; double r21141 = c; double r21142 = b; double r21143 = -r21142; double r21144 = r21142 * r21142; double r21145 = a; double r21146 = r21141 * r21145; double r21147 = r21146 * r21138; double r21148 = r21144 - r21147; double r21149 = sqrt(r21148); double r21150 = r21143 - r21149; double r21151 = r21141 / r21150; double r21152 = r21140 * r21151; return r21152; } 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 r21153, r21154, r21155, r21156, r21157, r21158, r21159, r21160, r21161, r21162, r21163, r21164, r21165, r21166; void setup_mpfr_f_im() { mpfr_set_default_prec(656); mpfr_init(r21153); mpfr_init(r21154); mpfr_init(r21155); mpfr_init_set_str(r21156, "4", 10, MPFR_RNDN); mpfr_init(r21157); mpfr_init(r21158); mpfr_init(r21159); mpfr_init(r21160); mpfr_init(r21161); mpfr_init(r21162); mpfr_init(r21163); mpfr_init_set_str(r21164, "2", 10, MPFR_RNDN); mpfr_init(r21165); mpfr_init(r21166); } double f_im(double a, double b, double c) { mpfr_set_d(r21153, b, MPFR_RNDN); mpfr_neg(r21154, r21153, MPFR_RNDN); mpfr_mul(r21155, r21153, r21153, MPFR_RNDN); ; mpfr_set_d(r21157, a, MPFR_RNDN); mpfr_mul(r21158, r21156, r21157, MPFR_RNDN); mpfr_set_d(r21159, c, MPFR_RNDN); mpfr_mul(r21160, r21158, r21159, MPFR_RNDN); mpfr_sub(r21161, r21155, r21160, MPFR_RNDN); mpfr_sqrt(r21162, r21161, MPFR_RNDN); mpfr_add(r21163, r21154, r21162, MPFR_RNDN); ; mpfr_mul(r21165, r21164, r21157, MPFR_RNDN); mpfr_div(r21166, r21163, r21165, MPFR_RNDN); return mpfr_get_d(r21166, MPFR_RNDN); } static mpfr_t r21167, r21168, r21169, r21170, r21171, r21172, r21173, r21174, r21175, r21176, r21177, r21178, r21179, r21180, r21181; void setup_mpfr_f_fm() { mpfr_set_default_prec(656); mpfr_init_set_str(r21167, "4", 10, MPFR_RNDN); mpfr_init_set_str(r21168, "2", 10, MPFR_RNDN); mpfr_init(r21169); mpfr_init(r21170); mpfr_init(r21171); mpfr_init(r21172); mpfr_init(r21173); mpfr_init(r21174); mpfr_init(r21175); mpfr_init(r21176); mpfr_init(r21177); mpfr_init(r21178); mpfr_init(r21179); mpfr_init(r21180); mpfr_init(r21181); } double f_fm(double a, double b, double c) { ; ; mpfr_div(r21169, r21167, r21168, MPFR_RNDN); mpfr_set_d(r21170, c, MPFR_RNDN); mpfr_set_d(r21171, b, MPFR_RNDN); mpfr_neg(r21172, r21171, MPFR_RNDN); mpfr_mul(r21173, r21171, r21171, MPFR_RNDN); mpfr_set_d(r21174, a, MPFR_RNDN); mpfr_mul(r21175, r21170, r21174, MPFR_RNDN); mpfr_mul(r21176, r21175, r21167, MPFR_RNDN); mpfr_sub(r21177, r21173, r21176, MPFR_RNDN); mpfr_sqrt(r21178, r21177, MPFR_RNDN); mpfr_sub(r21179, r21172, r21178, MPFR_RNDN); mpfr_div(r21180, r21170, r21179, MPFR_RNDN); mpfr_mul(r21181, r21169, r21180, MPFR_RNDN); return mpfr_get_d(r21181, MPFR_RNDN); } static mpfr_t r21182, r21183, r21184, r21185, r21186, r21187, r21188, r21189, r21190, r21191, r21192, r21193, r21194, r21195, r21196; void setup_mpfr_f_dm() { mpfr_set_default_prec(656); mpfr_init_set_str(r21182, "4", 10, MPFR_RNDN); mpfr_init_set_str(r21183, "2", 10, MPFR_RNDN); mpfr_init(r21184); mpfr_init(r21185); mpfr_init(r21186); mpfr_init(r21187); mpfr_init(r21188); mpfr_init(r21189); mpfr_init(r21190); mpfr_init(r21191); mpfr_init(r21192); mpfr_init(r21193); mpfr_init(r21194); mpfr_init(r21195); mpfr_init(r21196); } double f_dm(double a, double b, double c) { ; ; mpfr_div(r21184, r21182, r21183, MPFR_RNDN); mpfr_set_d(r21185, c, MPFR_RNDN); mpfr_set_d(r21186, b, MPFR_RNDN); mpfr_neg(r21187, r21186, MPFR_RNDN); mpfr_mul(r21188, r21186, r21186, MPFR_RNDN); mpfr_set_d(r21189, a, MPFR_RNDN); mpfr_mul(r21190, r21185, r21189, MPFR_RNDN); mpfr_mul(r21191, r21190, r21182, MPFR_RNDN); mpfr_sub(r21192, r21188, r21191, MPFR_RNDN); mpfr_sqrt(r21193, r21192, MPFR_RNDN); mpfr_sub(r21194, r21187, r21193, MPFR_RNDN); mpfr_div(r21195, r21185, r21194, MPFR_RNDN); mpfr_mul(r21196, r21184, r21195, MPFR_RNDN); return mpfr_get_d(r21196, MPFR_RNDN); }