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

char *name = "NMSE problem 3.4.4";

double f_if(float x) {
        float r14953 = 2.0f;
        float r14954 = x;
        float r14955 = r14953 * r14954;
        float r14956 = exp(r14955);
        float r14957 = 1.0f;
        float r14958 = r14956 - r14957;
        float r14959 = exp(r14954);
        float r14960 = r14959 - r14957;
        float r14961 = r14958 / r14960;
        float r14962 = sqrt(r14961);
        return r14962;
}

double f_id(double x) {
        double r14963 = 2.0;
        double r14964 = x;
        double r14965 = r14963 * r14964;
        double r14966 = exp(r14965);
        double r14967 = 1.0;
        double r14968 = r14966 - r14967;
        double r14969 = exp(r14964);
        double r14970 = r14969 - r14967;
        double r14971 = r14968 / r14970;
        double r14972 = sqrt(r14971);
        return r14972;
}


double f_of(float x) {
        float r14973 = x;
        float r14974 = -0.0007312005036510527f;
        bool r14975 = r14973 <= r14974;
        float r14976 = 2.0f;
        float r14977 = r14976 * r14973;
        float r14978 = exp(r14977);
        float r14979 = sqrt(r14978);
        float r14980 = 1.0f;
        float r14981 = r14979 + r14980;
        float r14982 = r14979 - r14980;
        float r14983 = r14981 * r14982;
        float r14984 = exp(r14973);
        float r14985 = r14984 * (r14984 * r14984);
        float r14986 = r14985 - r14980;
        float r14987 = r14984 + r14980;
        float r14988 = r14973 + r14973;
        float r14989 = exp(r14988);
        float r14990 = r14987 + r14989;
        float r14991 = r14986 / r14990;
        float r14992 = r14983 / r14991;
        float r14993 = sqrt(r14992);
        float r14994 = 0.5f;
        float r14995 = r14973 * r14994;
        float r14996 = sqrt(r14976);
        float r14997 = r14995 / r14996;
        float r14998 = r14997 + r14996;
        float r14999 = 0.25f;
        float r15000 = 0.125f;
        float r15001 = r15000 / r14976;
        float r15002 = r14999 - r15001;
        float r15003 = r14973 * r14973;
        float r15004 = r15003 / r14996;
        float r15005 = r15002 * r15004;
        float r15006 = r14998 + r15005;
        float r15007 = r14975 ? r14993 : r15006;
        return r15007;
}

double f_od(double x) {
        double r15008 = x;
        double r15009 = -0.0007312005036510527;
        bool r15010 = r15008 <= r15009;
        double r15011 = 2.0;
        double r15012 = r15011 * r15008;
        double r15013 = exp(r15012);
        double r15014 = sqrt(r15013);
        double r15015 = 1.0;
        double r15016 = r15014 + r15015;
        double r15017 = r15014 - r15015;
        double r15018 = r15016 * r15017;
        double r15019 = exp(r15008);
        double r15020 = r15019 * (r15019 * r15019);
        double r15021 = r15020 - r15015;
        double r15022 = r15019 + r15015;
        double r15023 = r15008 + r15008;
        double r15024 = exp(r15023);
        double r15025 = r15022 + r15024;
        double r15026 = r15021 / r15025;
        double r15027 = r15018 / r15026;
        double r15028 = sqrt(r15027);
        double r15029 = 0.5;
        double r15030 = r15008 * r15029;
        double r15031 = sqrt(r15011);
        double r15032 = r15030 / r15031;
        double r15033 = r15032 + r15031;
        double r15034 = 0.25;
        double r15035 = 0.125;
        double r15036 = r15035 / r15011;
        double r15037 = r15034 - r15036;
        double r15038 = r15008 * r15008;
        double r15039 = r15038 / r15031;
        double r15040 = r15037 * r15039;
        double r15041 = r15033 + r15040;
        double r15042 = r15010 ? r15028 : r15041;
        return r15042;
}

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 r15043, r15044, r15045, r15046, r15047, r15048, r15049, r15050, r15051, r15052;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r15043, "2", 10, MPFR_RNDN);
        mpfr_init(r15044);
        mpfr_init(r15045);
        mpfr_init(r15046);
        mpfr_init_set_str(r15047, "1", 10, MPFR_RNDN);
        mpfr_init(r15048);
        mpfr_init(r15049);
        mpfr_init(r15050);
        mpfr_init(r15051);
        mpfr_init(r15052);
}

double f_im(double x) {
        ;
        mpfr_set_d(r15044, x, MPFR_RNDN);
        mpfr_mul(r15045, r15043, r15044, MPFR_RNDN);
        mpfr_exp(r15046, r15045, MPFR_RNDN);
        ;
        mpfr_sub(r15048, r15046, r15047, MPFR_RNDN);
        mpfr_exp(r15049, r15044, MPFR_RNDN);
        mpfr_sub(r15050, r15049, r15047, MPFR_RNDN);
        mpfr_div(r15051, r15048, r15050, MPFR_RNDN);
        mpfr_sqrt(r15052, r15051, MPFR_RNDN);
        return mpfr_get_d(r15052, MPFR_RNDN);
}

static mpfr_t r15053, r15054, r15055, r15056, r15057, r15058, r15059, r15060, r15061, r15062, r15063, r15064, r15065, r15066, r15067, r15068, r15069, r15070, r15071, r15072, r15073, r15074, r15075, r15076, r15077, r15078, r15079, r15080, r15081, r15082, r15083, r15084, r15085, r15086, r15087;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15053);
        mpfr_init_set_str(r15054, "-0.0007312005f0", 10, MPFR_RNDN);
        mpfr_init(r15055);
        mpfr_init_set_str(r15056, "2", 10, MPFR_RNDN);
        mpfr_init(r15057);
        mpfr_init(r15058);
        mpfr_init(r15059);
        mpfr_init_set_str(r15060, "1", 10, MPFR_RNDN);
        mpfr_init(r15061);
        mpfr_init(r15062);
        mpfr_init(r15063);
        mpfr_init(r15064);
        mpfr_init(r15065);
        mpfr_init(r15066);
        mpfr_init(r15067);
        mpfr_init(r15068);
        mpfr_init(r15069);
        mpfr_init(r15070);
        mpfr_init(r15071);
        mpfr_init(r15072);
        mpfr_init(r15073);
        mpfr_init_set_str(r15074, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15075);
        mpfr_init(r15076);
        mpfr_init(r15077);
        mpfr_init(r15078);
        mpfr_init_set_str(r15079, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15080, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15081);
        mpfr_init(r15082);
        mpfr_init(r15083);
        mpfr_init(r15084);
        mpfr_init(r15085);
        mpfr_init(r15086);
        mpfr_init(r15087);
}

double f_fm(double x) {
        mpfr_set_d(r15053, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15055, mpfr_cmp(r15053, r15054) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15057, r15056, r15053, MPFR_RNDN);
        mpfr_exp(r15058, r15057, MPFR_RNDN);
        mpfr_sqrt(r15059, r15058, MPFR_RNDN);
        ;
        mpfr_add(r15061, r15059, r15060, MPFR_RNDN);
        mpfr_sub(r15062, r15059, r15060, MPFR_RNDN);
        mpfr_mul(r15063, r15061, r15062, MPFR_RNDN);
        mpfr_exp(r15064, r15053, MPFR_RNDN);
        mpfr_mul(r15065, r15064, r15064, MPFR_RNDN); mpfr_mul(r15065, r15065, r15064, MPFR_RNDN);
        mpfr_sub(r15066, r15065, r15060, MPFR_RNDN);
        mpfr_add(r15067, r15064, r15060, MPFR_RNDN);
        mpfr_add(r15068, r15053, r15053, MPFR_RNDN);
        mpfr_exp(r15069, r15068, MPFR_RNDN);
        mpfr_add(r15070, r15067, r15069, MPFR_RNDN);
        mpfr_div(r15071, r15066, r15070, MPFR_RNDN);
        mpfr_div(r15072, r15063, r15071, MPFR_RNDN);
        mpfr_sqrt(r15073, r15072, MPFR_RNDN);
        ;
        mpfr_mul(r15075, r15053, r15074, MPFR_RNDN);
        mpfr_sqrt(r15076, r15056, MPFR_RNDN);
        mpfr_div(r15077, r15075, r15076, MPFR_RNDN);
        mpfr_add(r15078, r15077, r15076, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15081, r15080, r15056, MPFR_RNDN);
        mpfr_sub(r15082, r15079, r15081, MPFR_RNDN);
        mpfr_sqr(r15083, r15053, MPFR_RNDN);
        mpfr_div(r15084, r15083, r15076, MPFR_RNDN);
        mpfr_mul(r15085, r15082, r15084, MPFR_RNDN);
        mpfr_add(r15086, r15078, r15085, MPFR_RNDN);
        if (mpfr_get_si(r15055, MPFR_RNDN)) { mpfr_set(r15087, r15073, MPFR_RNDN); } else { mpfr_set(r15087, r15086, MPFR_RNDN); };
        return mpfr_get_d(r15087, MPFR_RNDN);
}

static mpfr_t r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096, r15097, r15098, r15099, r15100, r15101, r15102, r15103, r15104, r15105, r15106, r15107, r15108, r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118, r15119, r15120, r15121, r15122;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15088);
        mpfr_init_set_str(r15089, "-0.0007312005f0", 10, MPFR_RNDN);
        mpfr_init(r15090);
        mpfr_init_set_str(r15091, "2", 10, MPFR_RNDN);
        mpfr_init(r15092);
        mpfr_init(r15093);
        mpfr_init(r15094);
        mpfr_init_set_str(r15095, "1", 10, MPFR_RNDN);
        mpfr_init(r15096);
        mpfr_init(r15097);
        mpfr_init(r15098);
        mpfr_init(r15099);
        mpfr_init(r15100);
        mpfr_init(r15101);
        mpfr_init(r15102);
        mpfr_init(r15103);
        mpfr_init(r15104);
        mpfr_init(r15105);
        mpfr_init(r15106);
        mpfr_init(r15107);
        mpfr_init(r15108);
        mpfr_init_set_str(r15109, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15110);
        mpfr_init(r15111);
        mpfr_init(r15112);
        mpfr_init(r15113);
        mpfr_init_set_str(r15114, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15115, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15116);
        mpfr_init(r15117);
        mpfr_init(r15118);
        mpfr_init(r15119);
        mpfr_init(r15120);
        mpfr_init(r15121);
        mpfr_init(r15122);
}

double f_dm(double x) {
        mpfr_set_d(r15088, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15090, mpfr_cmp(r15088, r15089) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15092, r15091, r15088, MPFR_RNDN);
        mpfr_exp(r15093, r15092, MPFR_RNDN);
        mpfr_sqrt(r15094, r15093, MPFR_RNDN);
        ;
        mpfr_add(r15096, r15094, r15095, MPFR_RNDN);
        mpfr_sub(r15097, r15094, r15095, MPFR_RNDN);
        mpfr_mul(r15098, r15096, r15097, MPFR_RNDN);
        mpfr_exp(r15099, r15088, MPFR_RNDN);
        mpfr_mul(r15100, r15099, r15099, MPFR_RNDN); mpfr_mul(r15100, r15100, r15099, MPFR_RNDN);
        mpfr_sub(r15101, r15100, r15095, MPFR_RNDN);
        mpfr_add(r15102, r15099, r15095, MPFR_RNDN);
        mpfr_add(r15103, r15088, r15088, MPFR_RNDN);
        mpfr_exp(r15104, r15103, MPFR_RNDN);
        mpfr_add(r15105, r15102, r15104, MPFR_RNDN);
        mpfr_div(r15106, r15101, r15105, MPFR_RNDN);
        mpfr_div(r15107, r15098, r15106, MPFR_RNDN);
        mpfr_sqrt(r15108, r15107, MPFR_RNDN);
        ;
        mpfr_mul(r15110, r15088, r15109, MPFR_RNDN);
        mpfr_sqrt(r15111, r15091, MPFR_RNDN);
        mpfr_div(r15112, r15110, r15111, MPFR_RNDN);
        mpfr_add(r15113, r15112, r15111, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15116, r15115, r15091, MPFR_RNDN);
        mpfr_sub(r15117, r15114, r15116, MPFR_RNDN);
        mpfr_sqr(r15118, r15088, MPFR_RNDN);
        mpfr_div(r15119, r15118, r15111, MPFR_RNDN);
        mpfr_mul(r15120, r15117, r15119, MPFR_RNDN);
        mpfr_add(r15121, r15113, r15120, MPFR_RNDN);
        if (mpfr_get_si(r15090, MPFR_RNDN)) { mpfr_set(r15122, r15108, MPFR_RNDN); } else { mpfr_set(r15122, r15121, MPFR_RNDN); };
        return mpfr_get_d(r15122, MPFR_RNDN);
}