#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "NMSE problem 3.2.1";

double f_if(float a, float b_2F2, float c) {
        float r21196 = b_2F2;
        float r21197 = -r21196;
        float r21198 = r21196 * r21196;
        float r21199 = a;
        float r21200 = c;
        float r21201 = r21199 * r21200;
        float r21202 = r21198 - r21201;
        float r21203 = sqrt(r21202);
        float r21204 = r21197 - r21203;
        float r21205 = r21204 / r21199;
        return r21205;
}

double f_id(double a, double b_2F2, double c) {
        double r21206 = b_2F2;
        double r21207 = -r21206;
        double r21208 = r21206 * r21206;
        double r21209 = a;
        double r21210 = c;
        double r21211 = r21209 * r21210;
        double r21212 = r21208 - r21211;
        double r21213 = sqrt(r21212);
        double r21214 = r21207 - r21213;
        double r21215 = r21214 / r21209;
        return r21215;
}


double f_of(float a, float b_2F2, float c) {
        float r21216 = b_2F2;
        float r21217 = -1.5493821240145857e+112;
        bool r21218 = r21216 <= r21217;
        float r21219 = c;
        float r21220 = 1/2;
        float r21221 = r21219 * r21220;
        float r21222 = a;
        float r21223 = r21216 / r21222;
        float r21224 = r21221 / r21223;
        float r21225 = r21216 + r21216;
        float r21226 = r21224 - r21225;
        float r21227 = r21219 / r21226;
        float r21228 = -9.191200241499173e-251;
        bool r21229 = r21216 <= r21228;
        float r21230 = 1;
        float r21231 = r21216 * r21216;
        float r21232 = r21219 * r21222;
        float r21233 = r21231 - r21232;
        float r21234 = sqrt(r21233);
        float r21235 = -r21216;
        float r21236 = r21234 + r21235;
        float r21237 = r21236 / r21219;
        float r21238 = r21230 / r21237;
        float r21239 = 8.170286142842637e+118;
        bool r21240 = r21216 <= r21239;
        float r21241 = r21222 * r21219;
        float r21242 = r21231 - r21241;
        float r21243 = sqrt(r21242);
        float r21244 = r21235 - r21243;
        float r21245 = r21222 / r21244;
        float r21246 = r21230 / r21245;
        float r21247 = -2;
        float r21248 = r21247 * r21223;
        float r21249 = r21240 ? r21246 : r21248;
        float r21250 = r21229 ? r21238 : r21249;
        float r21251 = r21218 ? r21227 : r21250;
        return r21251;
}

double f_od(double a, double b_2F2, double c) {
        double r21252 = b_2F2;
        double r21253 = -1.5493821240145857e+112;
        bool r21254 = r21252 <= r21253;
        double r21255 = c;
        double r21256 = 1/2;
        double r21257 = r21255 * r21256;
        double r21258 = a;
        double r21259 = r21252 / r21258;
        double r21260 = r21257 / r21259;
        double r21261 = r21252 + r21252;
        double r21262 = r21260 - r21261;
        double r21263 = r21255 / r21262;
        double r21264 = -9.191200241499173e-251;
        bool r21265 = r21252 <= r21264;
        double r21266 = 1;
        double r21267 = r21252 * r21252;
        double r21268 = r21255 * r21258;
        double r21269 = r21267 - r21268;
        double r21270 = sqrt(r21269);
        double r21271 = -r21252;
        double r21272 = r21270 + r21271;
        double r21273 = r21272 / r21255;
        double r21274 = r21266 / r21273;
        double r21275 = 8.170286142842637e+118;
        bool r21276 = r21252 <= r21275;
        double r21277 = r21258 * r21255;
        double r21278 = r21267 - r21277;
        double r21279 = sqrt(r21278);
        double r21280 = r21271 - r21279;
        double r21281 = r21258 / r21280;
        double r21282 = r21266 / r21281;
        double r21283 = -2;
        double r21284 = r21283 * r21259;
        double r21285 = r21276 ? r21282 : r21284;
        double r21286 = r21265 ? r21274 : r21285;
        double r21287 = r21254 ? r21263 : r21286;
        return r21287;
}

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 r21288, r21289, r21290, r21291, r21292, r21293, r21294, r21295, r21296, r21297;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3472);
        mpfr_init(r21288);
        mpfr_init(r21289);
        mpfr_init(r21290);
        mpfr_init(r21291);
        mpfr_init(r21292);
        mpfr_init(r21293);
        mpfr_init(r21294);
        mpfr_init(r21295);
        mpfr_init(r21296);
        mpfr_init(r21297);
}

double f_im(double a, double b_2F2, double c) {
        mpfr_set_d(r21288, b_2F2, MPFR_RNDN);
        mpfr_neg(r21289, r21288, MPFR_RNDN);
        mpfr_mul(r21290, r21288, r21288, MPFR_RNDN);
        mpfr_set_d(r21291, a, MPFR_RNDN);
        mpfr_set_d(r21292, c, MPFR_RNDN);
        mpfr_mul(r21293, r21291, r21292, MPFR_RNDN);
        mpfr_sub(r21294, r21290, r21293, MPFR_RNDN);
        mpfr_sqrt(r21295, r21294, MPFR_RNDN);
        mpfr_sub(r21296, r21289, r21295, MPFR_RNDN);
        mpfr_div(r21297, r21296, r21291, MPFR_RNDN);
        return mpfr_get_d(r21297, MPFR_RNDN);
}

static mpfr_t r21298, r21299, r21300, r21301, r21302, r21303, r21304, r21305, r21306, r21307, r21308, r21309, r21310, r21311, r21312, r21313, r21314, r21315, r21316, r21317, r21318, r21319, r21320, r21321, r21322, r21323, r21324, r21325, r21326, r21327, r21328, r21329, r21330, r21331, r21332, r21333;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3472);
        mpfr_init(r21298);
        mpfr_init_set_str(r21299, "-1.5493821240145857e+112", 10, MPFR_RNDN);
        mpfr_init(r21300);
        mpfr_init(r21301);
        mpfr_init_set_str(r21302, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21303);
        mpfr_init(r21304);
        mpfr_init(r21305);
        mpfr_init(r21306);
        mpfr_init(r21307);
        mpfr_init(r21308);
        mpfr_init(r21309);
        mpfr_init_set_str(r21310, "-9.191200241499173e-251", 10, MPFR_RNDN);
        mpfr_init(r21311);
        mpfr_init_set_str(r21312, "1", 10, MPFR_RNDN);
        mpfr_init(r21313);
        mpfr_init(r21314);
        mpfr_init(r21315);
        mpfr_init(r21316);
        mpfr_init(r21317);
        mpfr_init(r21318);
        mpfr_init(r21319);
        mpfr_init(r21320);
        mpfr_init_set_str(r21321, "8.170286142842637e+118", 10, MPFR_RNDN);
        mpfr_init(r21322);
        mpfr_init(r21323);
        mpfr_init(r21324);
        mpfr_init(r21325);
        mpfr_init(r21326);
        mpfr_init(r21327);
        mpfr_init(r21328);
        mpfr_init_set_str(r21329, "-2", 10, MPFR_RNDN);
        mpfr_init(r21330);
        mpfr_init(r21331);
        mpfr_init(r21332);
        mpfr_init(r21333);
}

double f_fm(double a, double b_2F2, double c) {
        mpfr_set_d(r21298, b_2F2, MPFR_RNDN);
        ;
        mpfr_set_si(r21300, mpfr_cmp(r21298, r21299) <= 0, MPFR_RNDN);
        mpfr_set_d(r21301, c, MPFR_RNDN);
        ;
        mpfr_mul(r21303, r21301, r21302, MPFR_RNDN);
        mpfr_set_d(r21304, a, MPFR_RNDN);
        mpfr_div(r21305, r21298, r21304, MPFR_RNDN);
        mpfr_div(r21306, r21303, r21305, MPFR_RNDN);
        mpfr_add(r21307, r21298, r21298, MPFR_RNDN);
        mpfr_sub(r21308, r21306, r21307, MPFR_RNDN);
        mpfr_div(r21309, r21301, r21308, MPFR_RNDN);
        ;
        mpfr_set_si(r21311, mpfr_cmp(r21298, r21310) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r21313, r21298, r21298, MPFR_RNDN);
        mpfr_mul(r21314, r21301, r21304, MPFR_RNDN);
        mpfr_sub(r21315, r21313, r21314, MPFR_RNDN);
        mpfr_sqrt(r21316, r21315, MPFR_RNDN);
        mpfr_neg(r21317, r21298, MPFR_RNDN);
        mpfr_add(r21318, r21316, r21317, MPFR_RNDN);
        mpfr_div(r21319, r21318, r21301, MPFR_RNDN);
        mpfr_div(r21320, r21312, r21319, MPFR_RNDN);
        ;
        mpfr_set_si(r21322, mpfr_cmp(r21298, r21321) <= 0, MPFR_RNDN);
        mpfr_mul(r21323, r21304, r21301, MPFR_RNDN);
        mpfr_sub(r21324, r21313, r21323, MPFR_RNDN);
        mpfr_sqrt(r21325, r21324, MPFR_RNDN);
        mpfr_sub(r21326, r21317, r21325, MPFR_RNDN);
        mpfr_div(r21327, r21304, r21326, MPFR_RNDN);
        mpfr_div(r21328, r21312, r21327, MPFR_RNDN);
        ;
        mpfr_mul(r21330, r21329, r21305, MPFR_RNDN);
        if (mpfr_get_si(r21322, MPFR_RNDN)) { mpfr_set(r21331, r21328, MPFR_RNDN); } else { mpfr_set(r21331, r21330, MPFR_RNDN); };
        if (mpfr_get_si(r21311, MPFR_RNDN)) { mpfr_set(r21332, r21320, MPFR_RNDN); } else { mpfr_set(r21332, r21331, MPFR_RNDN); };
        if (mpfr_get_si(r21300, MPFR_RNDN)) { mpfr_set(r21333, r21309, MPFR_RNDN); } else { mpfr_set(r21333, r21332, MPFR_RNDN); };
        return mpfr_get_d(r21333, MPFR_RNDN);
}

static mpfr_t r21334, r21335, r21336, r21337, r21338, r21339, r21340, r21341, r21342, r21343, r21344, r21345, r21346, r21347, r21348, r21349, r21350, r21351, r21352, r21353, r21354, r21355, r21356, r21357, r21358, r21359, r21360, r21361, r21362, r21363, r21364, r21365, r21366, r21367, r21368, r21369;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3472);
        mpfr_init(r21334);
        mpfr_init_set_str(r21335, "-1.5493821240145857e+112", 10, MPFR_RNDN);
        mpfr_init(r21336);
        mpfr_init(r21337);
        mpfr_init_set_str(r21338, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21339);
        mpfr_init(r21340);
        mpfr_init(r21341);
        mpfr_init(r21342);
        mpfr_init(r21343);
        mpfr_init(r21344);
        mpfr_init(r21345);
        mpfr_init_set_str(r21346, "-9.191200241499173e-251", 10, MPFR_RNDN);
        mpfr_init(r21347);
        mpfr_init_set_str(r21348, "1", 10, MPFR_RNDN);
        mpfr_init(r21349);
        mpfr_init(r21350);
        mpfr_init(r21351);
        mpfr_init(r21352);
        mpfr_init(r21353);
        mpfr_init(r21354);
        mpfr_init(r21355);
        mpfr_init(r21356);
        mpfr_init_set_str(r21357, "8.170286142842637e+118", 10, MPFR_RNDN);
        mpfr_init(r21358);
        mpfr_init(r21359);
        mpfr_init(r21360);
        mpfr_init(r21361);
        mpfr_init(r21362);
        mpfr_init(r21363);
        mpfr_init(r21364);
        mpfr_init_set_str(r21365, "-2", 10, MPFR_RNDN);
        mpfr_init(r21366);
        mpfr_init(r21367);
        mpfr_init(r21368);
        mpfr_init(r21369);
}

double f_dm(double a, double b_2F2, double c) {
        mpfr_set_d(r21334, b_2F2, MPFR_RNDN);
        ;
        mpfr_set_si(r21336, mpfr_cmp(r21334, r21335) <= 0, MPFR_RNDN);
        mpfr_set_d(r21337, c, MPFR_RNDN);
        ;
        mpfr_mul(r21339, r21337, r21338, MPFR_RNDN);
        mpfr_set_d(r21340, a, MPFR_RNDN);
        mpfr_div(r21341, r21334, r21340, MPFR_RNDN);
        mpfr_div(r21342, r21339, r21341, MPFR_RNDN);
        mpfr_add(r21343, r21334, r21334, MPFR_RNDN);
        mpfr_sub(r21344, r21342, r21343, MPFR_RNDN);
        mpfr_div(r21345, r21337, r21344, MPFR_RNDN);
        ;
        mpfr_set_si(r21347, mpfr_cmp(r21334, r21346) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r21349, r21334, r21334, MPFR_RNDN);
        mpfr_mul(r21350, r21337, r21340, MPFR_RNDN);
        mpfr_sub(r21351, r21349, r21350, MPFR_RNDN);
        mpfr_sqrt(r21352, r21351, MPFR_RNDN);
        mpfr_neg(r21353, r21334, MPFR_RNDN);
        mpfr_add(r21354, r21352, r21353, MPFR_RNDN);
        mpfr_div(r21355, r21354, r21337, MPFR_RNDN);
        mpfr_div(r21356, r21348, r21355, MPFR_RNDN);
        ;
        mpfr_set_si(r21358, mpfr_cmp(r21334, r21357) <= 0, MPFR_RNDN);
        mpfr_mul(r21359, r21340, r21337, MPFR_RNDN);
        mpfr_sub(r21360, r21349, r21359, MPFR_RNDN);
        mpfr_sqrt(r21361, r21360, MPFR_RNDN);
        mpfr_sub(r21362, r21353, r21361, MPFR_RNDN);
        mpfr_div(r21363, r21340, r21362, MPFR_RNDN);
        mpfr_div(r21364, r21348, r21363, MPFR_RNDN);
        ;
        mpfr_mul(r21366, r21365, r21341, MPFR_RNDN);
        if (mpfr_get_si(r21358, MPFR_RNDN)) { mpfr_set(r21367, r21364, MPFR_RNDN); } else { mpfr_set(r21367, r21366, MPFR_RNDN); };
        if (mpfr_get_si(r21347, MPFR_RNDN)) { mpfr_set(r21368, r21356, MPFR_RNDN); } else { mpfr_set(r21368, r21367, MPFR_RNDN); };
        if (mpfr_get_si(r21336, MPFR_RNDN)) { mpfr_set(r21369, r21345, MPFR_RNDN); } else { mpfr_set(r21369, r21368, MPFR_RNDN); };
        return mpfr_get_d(r21369, MPFR_RNDN);
}