#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 r15021 = 2.0f;
        float r15022 = x;
        float r15023 = r15021 * r15022;
        float r15024 = exp(r15023);
        float r15025 = 1.0f;
        float r15026 = r15024 - r15025;
        float r15027 = exp(r15022);
        float r15028 = r15027 - r15025;
        float r15029 = r15026 / r15028;
        float r15030 = sqrt(r15029);
        return r15030;
}

double f_id(double x) {
        double r15031 = 2.0;
        double r15032 = x;
        double r15033 = r15031 * r15032;
        double r15034 = exp(r15033);
        double r15035 = 1.0;
        double r15036 = r15034 - r15035;
        double r15037 = exp(r15032);
        double r15038 = r15037 - r15035;
        double r15039 = r15036 / r15038;
        double r15040 = sqrt(r15039);
        return r15040;
}


double f_of(float x) {
        float r15041 = x;
        float r15042 = -0.0011422608513385057f;
        bool r15043 = r15041 <= r15042;
        float r15044 = 2.0f;
        float r15045 = r15044 * r15041;
        float r15046 = exp(r15045);
        float r15047 = sqrt(r15046);
        float r15048 = 1.0f;
        float r15049 = r15047 + r15048;
        float r15050 = r15047 - r15048;
        float r15051 = r15049 * r15050;
        float r15052 = exp(r15041);
        float r15053 = r15052 - r15048;
        float r15054 = r15051 / r15053;
        float r15055 = sqrt(r15054);
        float r15056 = 0.5f;
        float r15057 = r15041 * r15056;
        float r15058 = sqrt(r15044);
        float r15059 = r15057 / r15058;
        float r15060 = r15059 + r15058;
        float r15061 = r15041 * r15041;
        float r15062 = r15061 / r15058;
        float r15063 = log(r15062);
        float r15064 = cbrt(r15063);
        float r15065 = r15064 * (r15064 * r15064);
        float r15066 = 0.25f;
        float r15067 = 0.125f;
        float r15068 = r15067 / r15044;
        float r15069 = r15066 - r15068;
        float r15070 = log(r15069);
        float r15071 = r15065 + r15070;
        float r15072 = exp(r15071);
        float r15073 = r15060 + r15072;
        float r15074 = r15043 ? r15055 : r15073;
        return r15074;
}

double f_od(double x) {
        double r15075 = x;
        double r15076 = -0.0011422608513385057;
        bool r15077 = r15075 <= r15076;
        double r15078 = 2.0;
        double r15079 = r15078 * r15075;
        double r15080 = exp(r15079);
        double r15081 = sqrt(r15080);
        double r15082 = 1.0;
        double r15083 = r15081 + r15082;
        double r15084 = r15081 - r15082;
        double r15085 = r15083 * r15084;
        double r15086 = exp(r15075);
        double r15087 = r15086 - r15082;
        double r15088 = r15085 / r15087;
        double r15089 = sqrt(r15088);
        double r15090 = 0.5;
        double r15091 = r15075 * r15090;
        double r15092 = sqrt(r15078);
        double r15093 = r15091 / r15092;
        double r15094 = r15093 + r15092;
        double r15095 = r15075 * r15075;
        double r15096 = r15095 / r15092;
        double r15097 = log(r15096);
        double r15098 = cbrt(r15097);
        double r15099 = r15098 * (r15098 * r15098);
        double r15100 = 0.25;
        double r15101 = 0.125;
        double r15102 = r15101 / r15078;
        double r15103 = r15100 - r15102;
        double r15104 = log(r15103);
        double r15105 = r15099 + r15104;
        double r15106 = exp(r15105);
        double r15107 = r15094 + r15106;
        double r15108 = r15077 ? r15089 : r15107;
        return r15108;
}

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 r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r15109, "2", 10, MPFR_RNDN);
        mpfr_init(r15110);
        mpfr_init(r15111);
        mpfr_init(r15112);
        mpfr_init_set_str(r15113, "1", 10, MPFR_RNDN);
        mpfr_init(r15114);
        mpfr_init(r15115);
        mpfr_init(r15116);
        mpfr_init(r15117);
        mpfr_init(r15118);
}

double f_im(double x) {
        ;
        mpfr_set_d(r15110, x, MPFR_RNDN);
        mpfr_mul(r15111, r15109, r15110, MPFR_RNDN);
        mpfr_exp(r15112, r15111, MPFR_RNDN);
        ;
        mpfr_sub(r15114, r15112, r15113, MPFR_RNDN);
        mpfr_exp(r15115, r15110, MPFR_RNDN);
        mpfr_sub(r15116, r15115, r15113, MPFR_RNDN);
        mpfr_div(r15117, r15114, r15116, MPFR_RNDN);
        mpfr_sqrt(r15118, r15117, MPFR_RNDN);
        return mpfr_get_d(r15118, MPFR_RNDN);
}

static mpfr_t r15119, r15120, r15121, r15122, r15123, r15124, r15125, r15126, r15127, r15128, r15129, r15130, r15131, r15132, r15133, r15134, r15135, r15136, r15137, r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15119);
        mpfr_init_set_str(r15120, "-0.0011422609f0", 10, MPFR_RNDN);
        mpfr_init(r15121);
        mpfr_init_set_str(r15122, "2", 10, MPFR_RNDN);
        mpfr_init(r15123);
        mpfr_init(r15124);
        mpfr_init(r15125);
        mpfr_init_set_str(r15126, "1", 10, MPFR_RNDN);
        mpfr_init(r15127);
        mpfr_init(r15128);
        mpfr_init(r15129);
        mpfr_init(r15130);
        mpfr_init(r15131);
        mpfr_init(r15132);
        mpfr_init(r15133);
        mpfr_init_set_str(r15134, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15135);
        mpfr_init(r15136);
        mpfr_init(r15137);
        mpfr_init(r15138);
        mpfr_init(r15139);
        mpfr_init(r15140);
        mpfr_init(r15141);
        mpfr_init(r15142);
        mpfr_init(r15143);
        mpfr_init_set_str(r15144, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15145, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15146);
        mpfr_init(r15147);
        mpfr_init(r15148);
        mpfr_init(r15149);
        mpfr_init(r15150);
        mpfr_init(r15151);
        mpfr_init(r15152);
}

double f_fm(double x) {
        mpfr_set_d(r15119, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15121, mpfr_cmp(r15119, r15120) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15123, r15122, r15119, MPFR_RNDN);
        mpfr_exp(r15124, r15123, MPFR_RNDN);
        mpfr_sqrt(r15125, r15124, MPFR_RNDN);
        ;
        mpfr_add(r15127, r15125, r15126, MPFR_RNDN);
        mpfr_sub(r15128, r15125, r15126, MPFR_RNDN);
        mpfr_mul(r15129, r15127, r15128, MPFR_RNDN);
        mpfr_exp(r15130, r15119, MPFR_RNDN);
        mpfr_sub(r15131, r15130, r15126, MPFR_RNDN);
        mpfr_div(r15132, r15129, r15131, MPFR_RNDN);
        mpfr_sqrt(r15133, r15132, MPFR_RNDN);
        ;
        mpfr_mul(r15135, r15119, r15134, MPFR_RNDN);
        mpfr_sqrt(r15136, r15122, MPFR_RNDN);
        mpfr_div(r15137, r15135, r15136, MPFR_RNDN);
        mpfr_add(r15138, r15137, r15136, MPFR_RNDN);
        mpfr_sqr(r15139, r15119, MPFR_RNDN);
        mpfr_div(r15140, r15139, r15136, MPFR_RNDN);
        mpfr_log(r15141, r15140, MPFR_RNDN);
        mpfr_cbrt(r15142, r15141, MPFR_RNDN);
        mpfr_mul(r15143, r15142, r15142, MPFR_RNDN); mpfr_mul(r15143, r15143, r15142, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15146, r15145, r15122, MPFR_RNDN);
        mpfr_sub(r15147, r15144, r15146, MPFR_RNDN);
        mpfr_log(r15148, r15147, MPFR_RNDN);
        mpfr_add(r15149, r15143, r15148, MPFR_RNDN);
        mpfr_exp(r15150, r15149, MPFR_RNDN);
        mpfr_add(r15151, r15138, r15150, MPFR_RNDN);
        if (mpfr_get_si(r15121, MPFR_RNDN)) { mpfr_set(r15152, r15133, MPFR_RNDN); } else { mpfr_set(r15152, r15151, MPFR_RNDN); };
        return mpfr_get_d(r15152, MPFR_RNDN);
}

static mpfr_t r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164, r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172, r15173, r15174, r15175, r15176, r15177, r15178, r15179, r15180, r15181, r15182, r15183, r15184, r15185, r15186;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15153);
        mpfr_init_set_str(r15154, "-0.0011422609f0", 10, MPFR_RNDN);
        mpfr_init(r15155);
        mpfr_init_set_str(r15156, "2", 10, MPFR_RNDN);
        mpfr_init(r15157);
        mpfr_init(r15158);
        mpfr_init(r15159);
        mpfr_init_set_str(r15160, "1", 10, MPFR_RNDN);
        mpfr_init(r15161);
        mpfr_init(r15162);
        mpfr_init(r15163);
        mpfr_init(r15164);
        mpfr_init(r15165);
        mpfr_init(r15166);
        mpfr_init(r15167);
        mpfr_init_set_str(r15168, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15169);
        mpfr_init(r15170);
        mpfr_init(r15171);
        mpfr_init(r15172);
        mpfr_init(r15173);
        mpfr_init(r15174);
        mpfr_init(r15175);
        mpfr_init(r15176);
        mpfr_init(r15177);
        mpfr_init_set_str(r15178, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15179, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15180);
        mpfr_init(r15181);
        mpfr_init(r15182);
        mpfr_init(r15183);
        mpfr_init(r15184);
        mpfr_init(r15185);
        mpfr_init(r15186);
}

double f_dm(double x) {
        mpfr_set_d(r15153, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15155, mpfr_cmp(r15153, r15154) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15157, r15156, r15153, MPFR_RNDN);
        mpfr_exp(r15158, r15157, MPFR_RNDN);
        mpfr_sqrt(r15159, r15158, MPFR_RNDN);
        ;
        mpfr_add(r15161, r15159, r15160, MPFR_RNDN);
        mpfr_sub(r15162, r15159, r15160, MPFR_RNDN);
        mpfr_mul(r15163, r15161, r15162, MPFR_RNDN);
        mpfr_exp(r15164, r15153, MPFR_RNDN);
        mpfr_sub(r15165, r15164, r15160, MPFR_RNDN);
        mpfr_div(r15166, r15163, r15165, MPFR_RNDN);
        mpfr_sqrt(r15167, r15166, MPFR_RNDN);
        ;
        mpfr_mul(r15169, r15153, r15168, MPFR_RNDN);
        mpfr_sqrt(r15170, r15156, MPFR_RNDN);
        mpfr_div(r15171, r15169, r15170, MPFR_RNDN);
        mpfr_add(r15172, r15171, r15170, MPFR_RNDN);
        mpfr_sqr(r15173, r15153, MPFR_RNDN);
        mpfr_div(r15174, r15173, r15170, MPFR_RNDN);
        mpfr_log(r15175, r15174, MPFR_RNDN);
        mpfr_cbrt(r15176, r15175, MPFR_RNDN);
        mpfr_mul(r15177, r15176, r15176, MPFR_RNDN); mpfr_mul(r15177, r15177, r15176, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15180, r15179, r15156, MPFR_RNDN);
        mpfr_sub(r15181, r15178, r15180, MPFR_RNDN);
        mpfr_log(r15182, r15181, MPFR_RNDN);
        mpfr_add(r15183, r15177, r15182, MPFR_RNDN);
        mpfr_exp(r15184, r15183, MPFR_RNDN);
        mpfr_add(r15185, r15172, r15184, MPFR_RNDN);
        if (mpfr_get_si(r15155, MPFR_RNDN)) { mpfr_set(r15186, r15167, MPFR_RNDN); } else { mpfr_set(r15186, r15185, MPFR_RNDN); };
        return mpfr_get_d(r15186, MPFR_RNDN);
}