#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 r21180 = b_2F2;
        float r21181 = -r21180;
        float r21182 = r21180 * r21180;
        float r21183 = a;
        float r21184 = c;
        float r21185 = r21183 * r21184;
        float r21186 = r21182 - r21185;
        float r21187 = sqrt(r21186);
        float r21188 = r21181 - r21187;
        float r21189 = r21188 / r21183;
        return r21189;
}

double f_id(double a, double b_2F2, double c) {
        double r21190 = b_2F2;
        double r21191 = -r21190;
        double r21192 = r21190 * r21190;
        double r21193 = a;
        double r21194 = c;
        double r21195 = r21193 * r21194;
        double r21196 = r21192 - r21195;
        double r21197 = sqrt(r21196);
        double r21198 = r21191 - r21197;
        double r21199 = r21198 / r21193;
        return r21199;
}


double f_of(float a, float b_2F2, float c) {
        float r21200 = b_2F2;
        float r21201 = -4.525036217684268e+158;
        bool r21202 = r21200 <= r21201;
        float r21203 = c;
        float r21204 = r21203 / r21200;
        float r21205 = -1/2;
        float r21206 = r21204 * r21205;
        float r21207 = -5.266140246506573e-287;
        bool r21208 = r21200 <= r21207;
        float r21209 = 1;
        float r21210 = r21200 * r21200;
        float r21211 = a;
        float r21212 = r21203 * r21211;
        float r21213 = r21210 - r21212;
        float r21214 = sqrt(r21213);
        float r21215 = -r21200;
        float r21216 = r21214 + r21215;
        float r21217 = r21216 / r21203;
        float r21218 = r21209 / r21217;
        float r21219 = 6.320733100371715e+112;
        bool r21220 = r21200 <= r21219;
        float r21221 = r21215 / r21211;
        float r21222 = r21211 * r21203;
        float r21223 = r21210 - r21222;
        float r21224 = sqrt(r21223);
        float r21225 = r21224 / r21211;
        float r21226 = r21221 - r21225;
        float r21227 = 1/2;
        float r21228 = r21227 * r21204;
        float r21229 = 2;
        float r21230 = r21200 / r21211;
        float r21231 = r21229 * r21230;
        float r21232 = r21228 - r21231;
        float r21233 = r21220 ? r21226 : r21232;
        float r21234 = r21208 ? r21218 : r21233;
        float r21235 = r21202 ? r21206 : r21234;
        return r21235;
}

double f_od(double a, double b_2F2, double c) {
        double r21236 = b_2F2;
        double r21237 = -4.525036217684268e+158;
        bool r21238 = r21236 <= r21237;
        double r21239 = c;
        double r21240 = r21239 / r21236;
        double r21241 = -1/2;
        double r21242 = r21240 * r21241;
        double r21243 = -5.266140246506573e-287;
        bool r21244 = r21236 <= r21243;
        double r21245 = 1;
        double r21246 = r21236 * r21236;
        double r21247 = a;
        double r21248 = r21239 * r21247;
        double r21249 = r21246 - r21248;
        double r21250 = sqrt(r21249);
        double r21251 = -r21236;
        double r21252 = r21250 + r21251;
        double r21253 = r21252 / r21239;
        double r21254 = r21245 / r21253;
        double r21255 = 6.320733100371715e+112;
        bool r21256 = r21236 <= r21255;
        double r21257 = r21251 / r21247;
        double r21258 = r21247 * r21239;
        double r21259 = r21246 - r21258;
        double r21260 = sqrt(r21259);
        double r21261 = r21260 / r21247;
        double r21262 = r21257 - r21261;
        double r21263 = 1/2;
        double r21264 = r21263 * r21240;
        double r21265 = 2;
        double r21266 = r21236 / r21247;
        double r21267 = r21265 * r21266;
        double r21268 = r21264 - r21267;
        double r21269 = r21256 ? r21262 : r21268;
        double r21270 = r21244 ? r21254 : r21269;
        double r21271 = r21238 ? r21242 : r21270;
        return r21271;
}

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 r21272, r21273, r21274, r21275, r21276, r21277, r21278, r21279, r21280, r21281;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3216);
        mpfr_init(r21272);
        mpfr_init(r21273);
        mpfr_init(r21274);
        mpfr_init(r21275);
        mpfr_init(r21276);
        mpfr_init(r21277);
        mpfr_init(r21278);
        mpfr_init(r21279);
        mpfr_init(r21280);
        mpfr_init(r21281);
}

double f_im(double a, double b_2F2, double c) {
        mpfr_set_d(r21272, b_2F2, MPFR_RNDN);
        mpfr_neg(r21273, r21272, MPFR_RNDN);
        mpfr_mul(r21274, r21272, r21272, MPFR_RNDN);
        mpfr_set_d(r21275, a, MPFR_RNDN);
        mpfr_set_d(r21276, c, MPFR_RNDN);
        mpfr_mul(r21277, r21275, r21276, MPFR_RNDN);
        mpfr_sub(r21278, r21274, r21277, MPFR_RNDN);
        mpfr_sqrt(r21279, r21278, MPFR_RNDN);
        mpfr_sub(r21280, r21273, r21279, MPFR_RNDN);
        mpfr_div(r21281, r21280, r21275, MPFR_RNDN);
        return mpfr_get_d(r21281, MPFR_RNDN);
}

static mpfr_t r21282, r21283, r21284, r21285, r21286, r21287, r21288, r21289, r21290, r21291, r21292, r21293, r21294, r21295, r21296, r21297, r21298, r21299, r21300, r21301, r21302, r21303, r21304, r21305, r21306, r21307, r21308, r21309, r21310, r21311, r21312, r21313, r21314, r21315, r21316, r21317;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3216);
        mpfr_init(r21282);
        mpfr_init_set_str(r21283, "-4.525036217684268e+158", 10, MPFR_RNDN);
        mpfr_init(r21284);
        mpfr_init(r21285);
        mpfr_init(r21286);
        mpfr_init_set_str(r21287, "-1/2", 10, MPFR_RNDN);
        mpfr_init(r21288);
        mpfr_init_set_str(r21289, "-5.266140246506573e-287", 10, MPFR_RNDN);
        mpfr_init(r21290);
        mpfr_init_set_str(r21291, "1", 10, MPFR_RNDN);
        mpfr_init(r21292);
        mpfr_init(r21293);
        mpfr_init(r21294);
        mpfr_init(r21295);
        mpfr_init(r21296);
        mpfr_init(r21297);
        mpfr_init(r21298);
        mpfr_init(r21299);
        mpfr_init(r21300);
        mpfr_init_set_str(r21301, "6.320733100371715e+112", 10, MPFR_RNDN);
        mpfr_init(r21302);
        mpfr_init(r21303);
        mpfr_init(r21304);
        mpfr_init(r21305);
        mpfr_init(r21306);
        mpfr_init(r21307);
        mpfr_init(r21308);
        mpfr_init_set_str(r21309, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21310);
        mpfr_init_set_str(r21311, "2", 10, MPFR_RNDN);
        mpfr_init(r21312);
        mpfr_init(r21313);
        mpfr_init(r21314);
        mpfr_init(r21315);
        mpfr_init(r21316);
        mpfr_init(r21317);
}

double f_fm(double a, double b_2F2, double c) {
        mpfr_set_d(r21282, b_2F2, MPFR_RNDN);
        ;
        mpfr_set_si(r21284, mpfr_cmp(r21282, r21283) <= 0, MPFR_RNDN);
        mpfr_set_d(r21285, c, MPFR_RNDN);
        mpfr_div(r21286, r21285, r21282, MPFR_RNDN);
        ;
        mpfr_mul(r21288, r21286, r21287, MPFR_RNDN);
        ;
        mpfr_set_si(r21290, mpfr_cmp(r21282, r21289) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r21292, r21282, r21282, MPFR_RNDN);
        mpfr_set_d(r21293, a, MPFR_RNDN);
        mpfr_mul(r21294, r21285, r21293, MPFR_RNDN);
        mpfr_sub(r21295, r21292, r21294, MPFR_RNDN);
        mpfr_sqrt(r21296, r21295, MPFR_RNDN);
        mpfr_neg(r21297, r21282, MPFR_RNDN);
        mpfr_add(r21298, r21296, r21297, MPFR_RNDN);
        mpfr_div(r21299, r21298, r21285, MPFR_RNDN);
        mpfr_div(r21300, r21291, r21299, MPFR_RNDN);
        ;
        mpfr_set_si(r21302, mpfr_cmp(r21282, r21301) <= 0, MPFR_RNDN);
        mpfr_div(r21303, r21297, r21293, MPFR_RNDN);
        mpfr_mul(r21304, r21293, r21285, MPFR_RNDN);
        mpfr_sub(r21305, r21292, r21304, MPFR_RNDN);
        mpfr_sqrt(r21306, r21305, MPFR_RNDN);
        mpfr_div(r21307, r21306, r21293, MPFR_RNDN);
        mpfr_sub(r21308, r21303, r21307, MPFR_RNDN);
        ;
        mpfr_mul(r21310, r21309, r21286, MPFR_RNDN);
        ;
        mpfr_div(r21312, r21282, r21293, MPFR_RNDN);
        mpfr_mul(r21313, r21311, r21312, MPFR_RNDN);
        mpfr_sub(r21314, r21310, r21313, MPFR_RNDN);
        if (mpfr_get_si(r21302, MPFR_RNDN)) { mpfr_set(r21315, r21308, MPFR_RNDN); } else { mpfr_set(r21315, r21314, MPFR_RNDN); };
        if (mpfr_get_si(r21290, MPFR_RNDN)) { mpfr_set(r21316, r21300, MPFR_RNDN); } else { mpfr_set(r21316, r21315, MPFR_RNDN); };
        if (mpfr_get_si(r21284, MPFR_RNDN)) { mpfr_set(r21317, r21288, MPFR_RNDN); } else { mpfr_set(r21317, r21316, MPFR_RNDN); };
        return mpfr_get_d(r21317, MPFR_RNDN);
}

static mpfr_t r21318, r21319, r21320, r21321, r21322, r21323, r21324, r21325, r21326, r21327, r21328, r21329, r21330, r21331, r21332, r21333, r21334, r21335, r21336, r21337, r21338, r21339, r21340, r21341, r21342, r21343, r21344, r21345, r21346, r21347, r21348, r21349, r21350, r21351, r21352, r21353;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3216);
        mpfr_init(r21318);
        mpfr_init_set_str(r21319, "-4.525036217684268e+158", 10, MPFR_RNDN);
        mpfr_init(r21320);
        mpfr_init(r21321);
        mpfr_init(r21322);
        mpfr_init_set_str(r21323, "-1/2", 10, MPFR_RNDN);
        mpfr_init(r21324);
        mpfr_init_set_str(r21325, "-5.266140246506573e-287", 10, MPFR_RNDN);
        mpfr_init(r21326);
        mpfr_init_set_str(r21327, "1", 10, MPFR_RNDN);
        mpfr_init(r21328);
        mpfr_init(r21329);
        mpfr_init(r21330);
        mpfr_init(r21331);
        mpfr_init(r21332);
        mpfr_init(r21333);
        mpfr_init(r21334);
        mpfr_init(r21335);
        mpfr_init(r21336);
        mpfr_init_set_str(r21337, "6.320733100371715e+112", 10, MPFR_RNDN);
        mpfr_init(r21338);
        mpfr_init(r21339);
        mpfr_init(r21340);
        mpfr_init(r21341);
        mpfr_init(r21342);
        mpfr_init(r21343);
        mpfr_init(r21344);
        mpfr_init_set_str(r21345, "1/2", 10, MPFR_RNDN);
        mpfr_init(r21346);
        mpfr_init_set_str(r21347, "2", 10, MPFR_RNDN);
        mpfr_init(r21348);
        mpfr_init(r21349);
        mpfr_init(r21350);
        mpfr_init(r21351);
        mpfr_init(r21352);
        mpfr_init(r21353);
}

double f_dm(double a, double b_2F2, double c) {
        mpfr_set_d(r21318, b_2F2, MPFR_RNDN);
        ;
        mpfr_set_si(r21320, mpfr_cmp(r21318, r21319) <= 0, MPFR_RNDN);
        mpfr_set_d(r21321, c, MPFR_RNDN);
        mpfr_div(r21322, r21321, r21318, MPFR_RNDN);
        ;
        mpfr_mul(r21324, r21322, r21323, MPFR_RNDN);
        ;
        mpfr_set_si(r21326, mpfr_cmp(r21318, r21325) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r21328, r21318, r21318, MPFR_RNDN);
        mpfr_set_d(r21329, a, MPFR_RNDN);
        mpfr_mul(r21330, r21321, r21329, MPFR_RNDN);
        mpfr_sub(r21331, r21328, r21330, MPFR_RNDN);
        mpfr_sqrt(r21332, r21331, MPFR_RNDN);
        mpfr_neg(r21333, r21318, MPFR_RNDN);
        mpfr_add(r21334, r21332, r21333, MPFR_RNDN);
        mpfr_div(r21335, r21334, r21321, MPFR_RNDN);
        mpfr_div(r21336, r21327, r21335, MPFR_RNDN);
        ;
        mpfr_set_si(r21338, mpfr_cmp(r21318, r21337) <= 0, MPFR_RNDN);
        mpfr_div(r21339, r21333, r21329, MPFR_RNDN);
        mpfr_mul(r21340, r21329, r21321, MPFR_RNDN);
        mpfr_sub(r21341, r21328, r21340, MPFR_RNDN);
        mpfr_sqrt(r21342, r21341, MPFR_RNDN);
        mpfr_div(r21343, r21342, r21329, MPFR_RNDN);
        mpfr_sub(r21344, r21339, r21343, MPFR_RNDN);
        ;
        mpfr_mul(r21346, r21345, r21322, MPFR_RNDN);
        ;
        mpfr_div(r21348, r21318, r21329, MPFR_RNDN);
        mpfr_mul(r21349, r21347, r21348, MPFR_RNDN);
        mpfr_sub(r21350, r21346, r21349, MPFR_RNDN);
        if (mpfr_get_si(r21338, MPFR_RNDN)) { mpfr_set(r21351, r21344, MPFR_RNDN); } else { mpfr_set(r21351, r21350, MPFR_RNDN); };
        if (mpfr_get_si(r21326, MPFR_RNDN)) { mpfr_set(r21352, r21336, MPFR_RNDN); } else { mpfr_set(r21352, r21351, MPFR_RNDN); };
        if (mpfr_get_si(r21320, MPFR_RNDN)) { mpfr_set(r21353, r21324, MPFR_RNDN); } else { mpfr_set(r21353, r21352, MPFR_RNDN); };
        return mpfr_get_d(r21353, MPFR_RNDN);
}