#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 r15065 = 2.0f;
        float r15066 = x;
        float r15067 = r15065 * r15066;
        float r15068 = exp(r15067);
        float r15069 = 1.0f;
        float r15070 = r15068 - r15069;
        float r15071 = exp(r15066);
        float r15072 = r15071 - r15069;
        float r15073 = r15070 / r15072;
        float r15074 = sqrt(r15073);
        return r15074;
}

double f_id(double x) {
        double r15075 = 2.0;
        double r15076 = x;
        double r15077 = r15075 * r15076;
        double r15078 = exp(r15077);
        double r15079 = 1.0;
        double r15080 = r15078 - r15079;
        double r15081 = exp(r15076);
        double r15082 = r15081 - r15079;
        double r15083 = r15080 / r15082;
        double r15084 = sqrt(r15083);
        return r15084;
}


double f_of(float x) {
        float r15085 = x;
        float r15086 = -2.72121519628854e-06f;
        bool r15087 = r15085 <= r15086;
        float r15088 = 2.0f;
        float r15089 = r15088 * r15085;
        float r15090 = exp(r15089);
        float r15091 = sqrt(r15090);
        float r15092 = 1.0f;
        float r15093 = r15091 + r15092;
        float r15094 = r15091 - r15092;
        float r15095 = r15093 * r15094;
        float r15096 = exp(r15085);
        float r15097 = r15096 - r15092;
        float r15098 = r15095 / r15097;
        float r15099 = sqrt(r15098);
        float r15100 = 0.5f;
        float r15101 = r15085 * r15100;
        float r15102 = sqrt(r15088);
        float r15103 = r15101 / r15102;
        float r15104 = r15103 + r15102;
        float r15105 = r15085 * r15085;
        float r15106 = log(r15105);
        float r15107 = log(r15102);
        float r15108 = r15106 - r15107;
        float r15109 = 0.25f;
        float r15110 = 0.125f;
        float r15111 = r15110 / r15088;
        float r15112 = r15109 - r15111;
        float r15113 = log(r15112);
        float r15114 = r15108 + r15113;
        float r15115 = exp(r15114);
        float r15116 = r15104 + r15115;
        float r15117 = r15087 ? r15099 : r15116;
        return r15117;
}

double f_od(double x) {
        double r15118 = x;
        double r15119 = -2.72121519628854e-06;
        bool r15120 = r15118 <= r15119;
        double r15121 = 2.0;
        double r15122 = r15121 * r15118;
        double r15123 = exp(r15122);
        double r15124 = sqrt(r15123);
        double r15125 = 1.0;
        double r15126 = r15124 + r15125;
        double r15127 = r15124 - r15125;
        double r15128 = r15126 * r15127;
        double r15129 = exp(r15118);
        double r15130 = r15129 - r15125;
        double r15131 = r15128 / r15130;
        double r15132 = sqrt(r15131);
        double r15133 = 0.5;
        double r15134 = r15118 * r15133;
        double r15135 = sqrt(r15121);
        double r15136 = r15134 / r15135;
        double r15137 = r15136 + r15135;
        double r15138 = r15118 * r15118;
        double r15139 = log(r15138);
        double r15140 = log(r15135);
        double r15141 = r15139 - r15140;
        double r15142 = 0.25;
        double r15143 = 0.125;
        double r15144 = r15143 / r15121;
        double r15145 = r15142 - r15144;
        double r15146 = log(r15145);
        double r15147 = r15141 + r15146;
        double r15148 = exp(r15147);
        double r15149 = r15137 + r15148;
        double r15150 = r15120 ? r15132 : r15149;
        return r15150;
}

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 r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r15151, "2", 10, MPFR_RNDN);
        mpfr_init(r15152);
        mpfr_init(r15153);
        mpfr_init(r15154);
        mpfr_init_set_str(r15155, "1", 10, MPFR_RNDN);
        mpfr_init(r15156);
        mpfr_init(r15157);
        mpfr_init(r15158);
        mpfr_init(r15159);
        mpfr_init(r15160);
}

double f_im(double x) {
        ;
        mpfr_set_d(r15152, x, MPFR_RNDN);
        mpfr_mul(r15153, r15151, r15152, MPFR_RNDN);
        mpfr_exp(r15154, r15153, MPFR_RNDN);
        ;
        mpfr_sub(r15156, r15154, r15155, MPFR_RNDN);
        mpfr_exp(r15157, r15152, MPFR_RNDN);
        mpfr_sub(r15158, r15157, r15155, MPFR_RNDN);
        mpfr_div(r15159, r15156, r15158, MPFR_RNDN);
        mpfr_sqrt(r15160, r15159, MPFR_RNDN);
        return mpfr_get_d(r15160, MPFR_RNDN);
}

static mpfr_t 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, r15187, r15188, r15189, r15190, r15191, r15192, r15193;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15161);
        mpfr_init_set_str(r15162, "-2.7212152f-06", 10, MPFR_RNDN);
        mpfr_init(r15163);
        mpfr_init_set_str(r15164, "2", 10, MPFR_RNDN);
        mpfr_init(r15165);
        mpfr_init(r15166);
        mpfr_init(r15167);
        mpfr_init_set_str(r15168, "1", 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_set_str(r15176, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15177);
        mpfr_init(r15178);
        mpfr_init(r15179);
        mpfr_init(r15180);
        mpfr_init(r15181);
        mpfr_init(r15182);
        mpfr_init(r15183);
        mpfr_init(r15184);
        mpfr_init_set_str(r15185, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15186, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15187);
        mpfr_init(r15188);
        mpfr_init(r15189);
        mpfr_init(r15190);
        mpfr_init(r15191);
        mpfr_init(r15192);
        mpfr_init(r15193);
}

double f_fm(double x) {
        mpfr_set_d(r15161, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15163, mpfr_cmp(r15161, r15162) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15165, r15164, r15161, MPFR_RNDN);
        mpfr_exp(r15166, r15165, MPFR_RNDN);
        mpfr_sqrt(r15167, r15166, MPFR_RNDN);
        ;
        mpfr_add(r15169, r15167, r15168, MPFR_RNDN);
        mpfr_sub(r15170, r15167, r15168, MPFR_RNDN);
        mpfr_mul(r15171, r15169, r15170, MPFR_RNDN);
        mpfr_exp(r15172, r15161, MPFR_RNDN);
        mpfr_sub(r15173, r15172, r15168, MPFR_RNDN);
        mpfr_div(r15174, r15171, r15173, MPFR_RNDN);
        mpfr_sqrt(r15175, r15174, MPFR_RNDN);
        ;
        mpfr_mul(r15177, r15161, r15176, MPFR_RNDN);
        mpfr_sqrt(r15178, r15164, MPFR_RNDN);
        mpfr_div(r15179, r15177, r15178, MPFR_RNDN);
        mpfr_add(r15180, r15179, r15178, MPFR_RNDN);
        mpfr_mul(r15181, r15161, r15161, MPFR_RNDN);
        mpfr_log(r15182, r15181, MPFR_RNDN);
        mpfr_log(r15183, r15178, MPFR_RNDN);
        mpfr_sub(r15184, r15182, r15183, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15187, r15186, r15164, MPFR_RNDN);
        mpfr_sub(r15188, r15185, r15187, MPFR_RNDN);
        mpfr_log(r15189, r15188, MPFR_RNDN);
        mpfr_add(r15190, r15184, r15189, MPFR_RNDN);
        mpfr_exp(r15191, r15190, MPFR_RNDN);
        mpfr_add(r15192, r15180, r15191, MPFR_RNDN);
        if (mpfr_get_si(r15163, MPFR_RNDN)) { mpfr_set(r15193, r15175, MPFR_RNDN); } else { mpfr_set(r15193, r15192, MPFR_RNDN); };
        return mpfr_get_d(r15193, MPFR_RNDN);
}

static mpfr_t r15194, r15195, r15196, r15197, r15198, r15199, r15200, r15201, r15202, r15203, r15204, r15205, r15206, r15207, r15208, r15209, r15210, r15211, r15212, r15213, r15214, r15215, r15216, r15217, r15218, r15219, r15220, r15221, r15222, r15223, r15224, r15225, r15226;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15194);
        mpfr_init_set_str(r15195, "-2.7212152f-06", 10, MPFR_RNDN);
        mpfr_init(r15196);
        mpfr_init_set_str(r15197, "2", 10, MPFR_RNDN);
        mpfr_init(r15198);
        mpfr_init(r15199);
        mpfr_init(r15200);
        mpfr_init_set_str(r15201, "1", 10, MPFR_RNDN);
        mpfr_init(r15202);
        mpfr_init(r15203);
        mpfr_init(r15204);
        mpfr_init(r15205);
        mpfr_init(r15206);
        mpfr_init(r15207);
        mpfr_init(r15208);
        mpfr_init_set_str(r15209, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15210);
        mpfr_init(r15211);
        mpfr_init(r15212);
        mpfr_init(r15213);
        mpfr_init(r15214);
        mpfr_init(r15215);
        mpfr_init(r15216);
        mpfr_init(r15217);
        mpfr_init_set_str(r15218, "1/4", 10, MPFR_RNDN);
        mpfr_init_set_str(r15219, "1/8", 10, MPFR_RNDN);
        mpfr_init(r15220);
        mpfr_init(r15221);
        mpfr_init(r15222);
        mpfr_init(r15223);
        mpfr_init(r15224);
        mpfr_init(r15225);
        mpfr_init(r15226);
}

double f_dm(double x) {
        mpfr_set_d(r15194, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15196, mpfr_cmp(r15194, r15195) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15198, r15197, r15194, MPFR_RNDN);
        mpfr_exp(r15199, r15198, MPFR_RNDN);
        mpfr_sqrt(r15200, r15199, MPFR_RNDN);
        ;
        mpfr_add(r15202, r15200, r15201, MPFR_RNDN);
        mpfr_sub(r15203, r15200, r15201, MPFR_RNDN);
        mpfr_mul(r15204, r15202, r15203, MPFR_RNDN);
        mpfr_exp(r15205, r15194, MPFR_RNDN);
        mpfr_sub(r15206, r15205, r15201, MPFR_RNDN);
        mpfr_div(r15207, r15204, r15206, MPFR_RNDN);
        mpfr_sqrt(r15208, r15207, MPFR_RNDN);
        ;
        mpfr_mul(r15210, r15194, r15209, MPFR_RNDN);
        mpfr_sqrt(r15211, r15197, MPFR_RNDN);
        mpfr_div(r15212, r15210, r15211, MPFR_RNDN);
        mpfr_add(r15213, r15212, r15211, MPFR_RNDN);
        mpfr_mul(r15214, r15194, r15194, MPFR_RNDN);
        mpfr_log(r15215, r15214, MPFR_RNDN);
        mpfr_log(r15216, r15211, MPFR_RNDN);
        mpfr_sub(r15217, r15215, r15216, MPFR_RNDN);
        ;
        ;
        mpfr_div(r15220, r15219, r15197, MPFR_RNDN);
        mpfr_sub(r15221, r15218, r15220, MPFR_RNDN);
        mpfr_log(r15222, r15221, MPFR_RNDN);
        mpfr_add(r15223, r15217, r15222, MPFR_RNDN);
        mpfr_exp(r15224, r15223, MPFR_RNDN);
        mpfr_add(r15225, r15213, r15224, MPFR_RNDN);
        if (mpfr_get_si(r15196, MPFR_RNDN)) { mpfr_set(r15226, r15208, MPFR_RNDN); } else { mpfr_set(r15226, r15225, MPFR_RNDN); };
        return mpfr_get_d(r15226, MPFR_RNDN);
}