#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 r15001 = 2.0f;
        float r15002 = x;
        float r15003 = r15001 * r15002;
        float r15004 = exp(r15003);
        float r15005 = 1.0f;
        float r15006 = r15004 - r15005;
        float r15007 = exp(r15002);
        float r15008 = r15007 - r15005;
        float r15009 = r15006 / r15008;
        float r15010 = sqrt(r15009);
        return r15010;
}

double f_id(double x) {
        double r15011 = 2.0;
        double r15012 = x;
        double r15013 = r15011 * r15012;
        double r15014 = exp(r15013);
        double r15015 = 1.0;
        double r15016 = r15014 - r15015;
        double r15017 = exp(r15012);
        double r15018 = r15017 - r15015;
        double r15019 = r15016 / r15018;
        double r15020 = sqrt(r15019);
        return r15020;
}


double f_of(float x) {
        float r15021 = x;
        float r15022 = -0.01639636978507042f;
        bool r15023 = r15021 <= r15022;
        float r15024 = 2.0f;
        float r15025 = r15024 * r15021;
        float r15026 = exp(r15025);
        float r15027 = sqrt(r15026);
        float r15028 = 1.0f;
        float r15029 = r15027 + r15028;
        float r15030 = r15027 - r15028;
        float r15031 = r15029 * r15030;
        float r15032 = exp(r15021);
        float r15033 = r15032 - r15028;
        float r15034 = r15031 / r15033;
        float r15035 = sqrt(r15034);
        float r15036 = 0.5f;
        float r15037 = r15021 * r15036;
        float r15038 = sqrt(r15024);
        float r15039 = r15037 / r15038;
        float r15040 = r15039 + r15038;
        float r15041 = r15021 * r15021;
        float r15042 = log(r15041);
        float r15043 = log(r15038);
        float r15044 = r15042 - r15043;
        float r15045 = 0.25f;
        float r15046 = 0.125f;
        float r15047 = r15046 / r15024;
        float r15048 = r15045 - r15047;
        float r15049 = log(r15048);
        float r15050 = r15044 + r15049;
        float r15051 = exp(r15050);
        float r15052 = r15040 + r15051;
        float r15053 = r15023 ? r15035 : r15052;
        return r15053;
}

double f_od(double x) {
        double r15054 = x;
        double r15055 = -0.01639636978507042;
        bool r15056 = r15054 <= r15055;
        double r15057 = 2.0;
        double r15058 = r15057 * r15054;
        double r15059 = exp(r15058);
        double r15060 = sqrt(r15059);
        double r15061 = 1.0;
        double r15062 = r15060 + r15061;
        double r15063 = r15060 - r15061;
        double r15064 = r15062 * r15063;
        double r15065 = exp(r15054);
        double r15066 = r15065 - r15061;
        double r15067 = r15064 / r15066;
        double r15068 = sqrt(r15067);
        double r15069 = 0.5;
        double r15070 = r15054 * r15069;
        double r15071 = sqrt(r15057);
        double r15072 = r15070 / r15071;
        double r15073 = r15072 + r15071;
        double r15074 = r15054 * r15054;
        double r15075 = log(r15074);
        double r15076 = log(r15071);
        double r15077 = r15075 - r15076;
        double r15078 = 0.25;
        double r15079 = 0.125;
        double r15080 = r15079 / r15057;
        double r15081 = r15078 - r15080;
        double r15082 = log(r15081);
        double r15083 = r15077 + r15082;
        double r15084 = exp(r15083);
        double r15085 = r15073 + r15084;
        double r15086 = r15056 ? r15068 : r15085;
        return r15086;
}

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 r15087, r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r15087, "2", 10, MPFR_RNDN);
        mpfr_init(r15088);
        mpfr_init(r15089);
        mpfr_init(r15090);
        mpfr_init_set_str(r15091, "1", 10, MPFR_RNDN);
        mpfr_init(r15092);
        mpfr_init(r15093);
        mpfr_init(r15094);
        mpfr_init(r15095);
        mpfr_init(r15096);
}

double f_im(double x) {
        ;
        mpfr_set_d(r15088, x, MPFR_RNDN);
        mpfr_mul(r15089, r15087, r15088, MPFR_RNDN);
        mpfr_exp(r15090, r15089, MPFR_RNDN);
        ;
        mpfr_sub(r15092, r15090, r15091, MPFR_RNDN);
        mpfr_exp(r15093, r15088, MPFR_RNDN);
        mpfr_sub(r15094, r15093, r15091, MPFR_RNDN);
        mpfr_div(r15095, r15092, r15094, MPFR_RNDN);
        mpfr_sqrt(r15096, r15095, MPFR_RNDN);
        return mpfr_get_d(r15096, MPFR_RNDN);
}

static mpfr_t 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, r15123, r15124, r15125, r15126, r15127, r15128, r15129;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15097);
        mpfr_init_set_str(r15098, "-0.01639637f0", 10, MPFR_RNDN);
        mpfr_init(r15099);
        mpfr_init_set_str(r15100, "2", 10, MPFR_RNDN);
        mpfr_init(r15101);
        mpfr_init(r15102);
        mpfr_init(r15103);
        mpfr_init_set_str(r15104, "1", 10, MPFR_RNDN);
        mpfr_init(r15105);
        mpfr_init(r15106);
        mpfr_init(r15107);
        mpfr_init(r15108);
        mpfr_init(r15109);
        mpfr_init(r15110);
        mpfr_init(r15111);
        mpfr_init_set_str(r15112, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15113);
        mpfr_init(r15114);
        mpfr_init(r15115);
        mpfr_init(r15116);
        mpfr_init(r15117);
        mpfr_init(r15118);
        mpfr_init(r15119);
        mpfr_init(r15120);
        mpfr_init_set_str(r15121, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15122, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15123);
        mpfr_init(r15124);
        mpfr_init(r15125);
        mpfr_init(r15126);
        mpfr_init(r15127);
        mpfr_init(r15128);
        mpfr_init(r15129);
}

double f_fm(double x) {
        mpfr_set_d(r15097, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15099, mpfr_cmp(r15097, r15098) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15101, r15100, r15097, MPFR_RNDN);
        mpfr_exp(r15102, r15101, MPFR_RNDN);
        mpfr_sqrt(r15103, r15102, MPFR_RNDN);
        ;
        mpfr_add(r15105, r15103, r15104, MPFR_RNDN);
        mpfr_sub(r15106, r15103, r15104, MPFR_RNDN);
        mpfr_mul(r15107, r15105, r15106, MPFR_RNDN);
        mpfr_exp(r15108, r15097, MPFR_RNDN);
        mpfr_sub(r15109, r15108, r15104, MPFR_RNDN);
        mpfr_div(r15110, r15107, r15109, MPFR_RNDN);
        mpfr_sqrt(r15111, r15110, MPFR_RNDN);
        ;
        mpfr_mul(r15113, r15097, r15112, MPFR_RNDN);
        mpfr_sqrt(r15114, r15100, MPFR_RNDN);
        mpfr_div(r15115, r15113, r15114, MPFR_RNDN);
        mpfr_add(r15116, r15115, r15114, MPFR_RNDN);
        mpfr_mul(r15117, r15097, r15097, MPFR_RNDN);
        mpfr_log(r15118, r15117, MPFR_RNDN);
        mpfr_log(r15119, r15114, MPFR_RNDN);
        mpfr_sub(r15120, r15118, r15119, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15123, r15122, r15100, MPFR_RNDN);
        mpfr_sub(r15124, r15121, r15123, MPFR_RNDN);
        mpfr_log(r15125, r15124, MPFR_RNDN);
        mpfr_add(r15126, r15120, r15125, MPFR_RNDN);
        mpfr_exp(r15127, r15126, MPFR_RNDN);
        mpfr_add(r15128, r15116, r15127, MPFR_RNDN);
        if (mpfr_get_si(r15099, MPFR_RNDN)) { mpfr_set(r15129, r15111, MPFR_RNDN); } else { mpfr_set(r15129, r15128, MPFR_RNDN); };
        return mpfr_get_d(r15129, MPFR_RNDN);
}

static mpfr_t r15130, r15131, r15132, r15133, r15134, r15135, r15136, r15137, r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15130);
        mpfr_init_set_str(r15131, "-0.01639637f0", 10, MPFR_RNDN);
        mpfr_init(r15132);
        mpfr_init_set_str(r15133, "2", 10, MPFR_RNDN);
        mpfr_init(r15134);
        mpfr_init(r15135);
        mpfr_init(r15136);
        mpfr_init_set_str(r15137, "1", 10, MPFR_RNDN);
        mpfr_init(r15138);
        mpfr_init(r15139);
        mpfr_init(r15140);
        mpfr_init(r15141);
        mpfr_init(r15142);
        mpfr_init(r15143);
        mpfr_init(r15144);
        mpfr_init_set_str(r15145, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15146);
        mpfr_init(r15147);
        mpfr_init(r15148);
        mpfr_init(r15149);
        mpfr_init(r15150);
        mpfr_init(r15151);
        mpfr_init(r15152);
        mpfr_init(r15153);
        mpfr_init_set_str(r15154, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15155, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15156);
        mpfr_init(r15157);
        mpfr_init(r15158);
        mpfr_init(r15159);
        mpfr_init(r15160);
        mpfr_init(r15161);
        mpfr_init(r15162);
}

double f_dm(double x) {
        mpfr_set_d(r15130, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15132, mpfr_cmp(r15130, r15131) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15134, r15133, r15130, MPFR_RNDN);
        mpfr_exp(r15135, r15134, MPFR_RNDN);
        mpfr_sqrt(r15136, r15135, MPFR_RNDN);
        ;
        mpfr_add(r15138, r15136, r15137, MPFR_RNDN);
        mpfr_sub(r15139, r15136, r15137, MPFR_RNDN);
        mpfr_mul(r15140, r15138, r15139, MPFR_RNDN);
        mpfr_exp(r15141, r15130, MPFR_RNDN);
        mpfr_sub(r15142, r15141, r15137, MPFR_RNDN);
        mpfr_div(r15143, r15140, r15142, MPFR_RNDN);
        mpfr_sqrt(r15144, r15143, MPFR_RNDN);
        ;
        mpfr_mul(r15146, r15130, r15145, MPFR_RNDN);
        mpfr_sqrt(r15147, r15133, MPFR_RNDN);
        mpfr_div(r15148, r15146, r15147, MPFR_RNDN);
        mpfr_add(r15149, r15148, r15147, MPFR_RNDN);
        mpfr_mul(r15150, r15130, r15130, MPFR_RNDN);
        mpfr_log(r15151, r15150, MPFR_RNDN);
        mpfr_log(r15152, r15147, MPFR_RNDN);
        mpfr_sub(r15153, r15151, r15152, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15156, r15155, r15133, MPFR_RNDN);
        mpfr_sub(r15157, r15154, r15156, MPFR_RNDN);
        mpfr_log(r15158, r15157, MPFR_RNDN);
        mpfr_add(r15159, r15153, r15158, MPFR_RNDN);
        mpfr_exp(r15160, r15159, MPFR_RNDN);
        mpfr_add(r15161, r15149, r15160, MPFR_RNDN);
        if (mpfr_get_si(r15132, MPFR_RNDN)) { mpfr_set(r15162, r15144, MPFR_RNDN); } else { mpfr_set(r15162, r15161, MPFR_RNDN); };
        return mpfr_get_d(r15162, MPFR_RNDN);
}