#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 r14937 = 2.0f;
        float r14938 = x;
        float r14939 = r14937 * r14938;
        float r14940 = exp(r14939);
        float r14941 = 1.0f;
        float r14942 = r14940 - r14941;
        float r14943 = exp(r14938);
        float r14944 = r14943 - r14941;
        float r14945 = r14942 / r14944;
        float r14946 = sqrt(r14945);
        return r14946;
}

double f_id(double x) {
        double r14947 = 2.0;
        double r14948 = x;
        double r14949 = r14947 * r14948;
        double r14950 = exp(r14949);
        double r14951 = 1.0;
        double r14952 = r14950 - r14951;
        double r14953 = exp(r14948);
        double r14954 = r14953 - r14951;
        double r14955 = r14952 / r14954;
        double r14956 = sqrt(r14955);
        return r14956;
}


double f_of(float x) {
        float r14957 = x;
        float r14958 = -0.01639636978507042f;
        bool r14959 = r14957 <= r14958;
        float r14960 = 2.0f;
        float r14961 = r14960 * r14957;
        float r14962 = exp(r14961);
        float r14963 = sqrt(r14962);
        float r14964 = 1.0f;
        float r14965 = r14963 + r14964;
        float r14966 = r14963 - r14964;
        float r14967 = r14965 * r14966;
        float r14968 = exp(r14957);
        float r14969 = r14968 - r14964;
        float r14970 = r14967 / r14969;
        float r14971 = sqrt(r14970);
        float r14972 = 0.5f;
        float r14973 = r14957 * r14972;
        float r14974 = sqrt(r14960);
        float r14975 = r14973 / r14974;
        float r14976 = r14975 + r14974;
        float r14977 = r14957 * r14957;
        float r14978 = log(r14977);
        float r14979 = log(r14974);
        float r14980 = r14978 - r14979;
        float r14981 = 0.25f;
        float r14982 = 0.125f;
        float r14983 = r14982 / r14960;
        float r14984 = r14981 - r14983;
        float r14985 = log(r14984);
        float r14986 = r14980 + r14985;
        float r14987 = exp(r14986);
        float r14988 = r14976 + r14987;
        float r14989 = r14959 ? r14971 : r14988;
        return r14989;
}

double f_od(double x) {
        double r14990 = x;
        double r14991 = -0.01639636978507042;
        bool r14992 = r14990 <= r14991;
        double r14993 = 2.0;
        double r14994 = r14993 * r14990;
        double r14995 = exp(r14994);
        double r14996 = sqrt(r14995);
        double r14997 = 1.0;
        double r14998 = r14996 + r14997;
        double r14999 = r14996 - r14997;
        double r15000 = r14998 * r14999;
        double r15001 = exp(r14990);
        double r15002 = r15001 - r14997;
        double r15003 = r15000 / r15002;
        double r15004 = sqrt(r15003);
        double r15005 = 0.5;
        double r15006 = r14990 * r15005;
        double r15007 = sqrt(r14993);
        double r15008 = r15006 / r15007;
        double r15009 = r15008 + r15007;
        double r15010 = r14990 * r14990;
        double r15011 = log(r15010);
        double r15012 = log(r15007);
        double r15013 = r15011 - r15012;
        double r15014 = 0.25;
        double r15015 = 0.125;
        double r15016 = r15015 / r14993;
        double r15017 = r15014 - r15016;
        double r15018 = log(r15017);
        double r15019 = r15013 + r15018;
        double r15020 = exp(r15019);
        double r15021 = r15009 + r15020;
        double r15022 = r14992 ? r15004 : r15021;
        return r15022;
}

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 r15023, r15024, r15025, r15026, r15027, r15028, r15029, r15030, r15031, r15032;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r15023, "2", 10, MPFR_RNDN);
        mpfr_init(r15024);
        mpfr_init(r15025);
        mpfr_init(r15026);
        mpfr_init_set_str(r15027, "1", 10, MPFR_RNDN);
        mpfr_init(r15028);
        mpfr_init(r15029);
        mpfr_init(r15030);
        mpfr_init(r15031);
        mpfr_init(r15032);
}

double f_im(double x) {
        ;
        mpfr_set_d(r15024, x, MPFR_RNDN);
        mpfr_mul(r15025, r15023, r15024, MPFR_RNDN);
        mpfr_exp(r15026, r15025, MPFR_RNDN);
        ;
        mpfr_sub(r15028, r15026, r15027, MPFR_RNDN);
        mpfr_exp(r15029, r15024, MPFR_RNDN);
        mpfr_sub(r15030, r15029, r15027, MPFR_RNDN);
        mpfr_div(r15031, r15028, r15030, MPFR_RNDN);
        mpfr_sqrt(r15032, r15031, MPFR_RNDN);
        return mpfr_get_d(r15032, MPFR_RNDN);
}

static mpfr_t r15033, r15034, r15035, r15036, r15037, r15038, r15039, r15040, r15041, r15042, r15043, r15044, r15045, r15046, r15047, r15048, r15049, r15050, r15051, r15052, r15053, r15054, r15055, r15056, r15057, r15058, r15059, r15060, r15061, r15062, r15063, r15064, r15065;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15033);
        mpfr_init_set_str(r15034, "-0.01639637f0", 10, MPFR_RNDN);
        mpfr_init(r15035);
        mpfr_init_set_str(r15036, "2", 10, MPFR_RNDN);
        mpfr_init(r15037);
        mpfr_init(r15038);
        mpfr_init(r15039);
        mpfr_init_set_str(r15040, "1", 10, MPFR_RNDN);
        mpfr_init(r15041);
        mpfr_init(r15042);
        mpfr_init(r15043);
        mpfr_init(r15044);
        mpfr_init(r15045);
        mpfr_init(r15046);
        mpfr_init(r15047);
        mpfr_init_set_str(r15048, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15049);
        mpfr_init(r15050);
        mpfr_init(r15051);
        mpfr_init(r15052);
        mpfr_init(r15053);
        mpfr_init(r15054);
        mpfr_init(r15055);
        mpfr_init(r15056);
        mpfr_init_set_str(r15057, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15058, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15059);
        mpfr_init(r15060);
        mpfr_init(r15061);
        mpfr_init(r15062);
        mpfr_init(r15063);
        mpfr_init(r15064);
        mpfr_init(r15065);
}

double f_fm(double x) {
        mpfr_set_d(r15033, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15035, mpfr_cmp(r15033, r15034) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15037, r15036, r15033, MPFR_RNDN);
        mpfr_exp(r15038, r15037, MPFR_RNDN);
        mpfr_sqrt(r15039, r15038, MPFR_RNDN);
        ;
        mpfr_add(r15041, r15039, r15040, MPFR_RNDN);
        mpfr_sub(r15042, r15039, r15040, MPFR_RNDN);
        mpfr_mul(r15043, r15041, r15042, MPFR_RNDN);
        mpfr_exp(r15044, r15033, MPFR_RNDN);
        mpfr_sub(r15045, r15044, r15040, MPFR_RNDN);
        mpfr_div(r15046, r15043, r15045, MPFR_RNDN);
        mpfr_sqrt(r15047, r15046, MPFR_RNDN);
        ;
        mpfr_mul(r15049, r15033, r15048, MPFR_RNDN);
        mpfr_sqrt(r15050, r15036, MPFR_RNDN);
        mpfr_div(r15051, r15049, r15050, MPFR_RNDN);
        mpfr_add(r15052, r15051, r15050, MPFR_RNDN);
        mpfr_mul(r15053, r15033, r15033, MPFR_RNDN);
        mpfr_log(r15054, r15053, MPFR_RNDN);
        mpfr_log(r15055, r15050, MPFR_RNDN);
        mpfr_sub(r15056, r15054, r15055, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15059, r15058, r15036, MPFR_RNDN);
        mpfr_sub(r15060, r15057, r15059, MPFR_RNDN);
        mpfr_log(r15061, r15060, MPFR_RNDN);
        mpfr_add(r15062, r15056, r15061, MPFR_RNDN);
        mpfr_exp(r15063, r15062, MPFR_RNDN);
        mpfr_add(r15064, r15052, r15063, MPFR_RNDN);
        if (mpfr_get_si(r15035, MPFR_RNDN)) { mpfr_set(r15065, r15047, MPFR_RNDN); } else { mpfr_set(r15065, r15064, MPFR_RNDN); };
        return mpfr_get_d(r15065, MPFR_RNDN);
}

static mpfr_t r15066, r15067, r15068, r15069, r15070, r15071, r15072, r15073, r15074, r15075, r15076, r15077, r15078, r15079, r15080, r15081, r15082, r15083, r15084, r15085, r15086, r15087, r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096, r15097, r15098;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15066);
        mpfr_init_set_str(r15067, "-0.01639637f0", 10, MPFR_RNDN);
        mpfr_init(r15068);
        mpfr_init_set_str(r15069, "2", 10, MPFR_RNDN);
        mpfr_init(r15070);
        mpfr_init(r15071);
        mpfr_init(r15072);
        mpfr_init_set_str(r15073, "1", 10, MPFR_RNDN);
        mpfr_init(r15074);
        mpfr_init(r15075);
        mpfr_init(r15076);
        mpfr_init(r15077);
        mpfr_init(r15078);
        mpfr_init(r15079);
        mpfr_init(r15080);
        mpfr_init_set_str(r15081, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15082);
        mpfr_init(r15083);
        mpfr_init(r15084);
        mpfr_init(r15085);
        mpfr_init(r15086);
        mpfr_init(r15087);
        mpfr_init(r15088);
        mpfr_init(r15089);
        mpfr_init_set_str(r15090, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15091, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15092);
        mpfr_init(r15093);
        mpfr_init(r15094);
        mpfr_init(r15095);
        mpfr_init(r15096);
        mpfr_init(r15097);
        mpfr_init(r15098);
}

double f_dm(double x) {
        mpfr_set_d(r15066, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15068, mpfr_cmp(r15066, r15067) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15070, r15069, r15066, MPFR_RNDN);
        mpfr_exp(r15071, r15070, MPFR_RNDN);
        mpfr_sqrt(r15072, r15071, MPFR_RNDN);
        ;
        mpfr_add(r15074, r15072, r15073, MPFR_RNDN);
        mpfr_sub(r15075, r15072, r15073, MPFR_RNDN);
        mpfr_mul(r15076, r15074, r15075, MPFR_RNDN);
        mpfr_exp(r15077, r15066, MPFR_RNDN);
        mpfr_sub(r15078, r15077, r15073, MPFR_RNDN);
        mpfr_div(r15079, r15076, r15078, MPFR_RNDN);
        mpfr_sqrt(r15080, r15079, MPFR_RNDN);
        ;
        mpfr_mul(r15082, r15066, r15081, MPFR_RNDN);
        mpfr_sqrt(r15083, r15069, MPFR_RNDN);
        mpfr_div(r15084, r15082, r15083, MPFR_RNDN);
        mpfr_add(r15085, r15084, r15083, MPFR_RNDN);
        mpfr_mul(r15086, r15066, r15066, MPFR_RNDN);
        mpfr_log(r15087, r15086, MPFR_RNDN);
        mpfr_log(r15088, r15083, MPFR_RNDN);
        mpfr_sub(r15089, r15087, r15088, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15092, r15091, r15069, MPFR_RNDN);
        mpfr_sub(r15093, r15090, r15092, MPFR_RNDN);
        mpfr_log(r15094, r15093, MPFR_RNDN);
        mpfr_add(r15095, r15089, r15094, MPFR_RNDN);
        mpfr_exp(r15096, r15095, MPFR_RNDN);
        mpfr_add(r15097, r15085, r15096, MPFR_RNDN);
        if (mpfr_get_si(r15068, MPFR_RNDN)) { mpfr_set(r15098, r15080, MPFR_RNDN); } else { mpfr_set(r15098, r15097, MPFR_RNDN); };
        return mpfr_get_d(r15098, MPFR_RNDN);
}