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

char *name = "NMSE problem 3.4.1";

double f_if(float x) {
        float r15047 = 1.0f;
        float r15048 = x;
        float r15049 = cos(r15048);
        float r15050 = r15047 - r15049;
        float r15051 = r15048 * r15048;
        float r15052 = r15050 / r15051;
        return r15052;
}

double f_id(double x) {
        double r15053 = 1.0;
        double r15054 = x;
        double r15055 = cos(r15054);
        double r15056 = r15053 - r15055;
        double r15057 = r15054 * r15054;
        double r15058 = r15056 / r15057;
        return r15058;
}


double f_of(float x) {
        float r15059 = x;
        float r15060 = -1.128700823931291e-06f;
        bool r15061 = r15059 <= r15060;
        float r15062 = sin(r15059);
        float r15063 = r15062 * r15062;
        float r15064 = r15063 / r15059;
        float r15065 = 1.0f;
        float r15066 = cos(r15059);
        float r15067 = r15065 + r15066;
        float r15068 = r15065 / r15067;
        float r15069 = r15068 / r15059;
        float r15070 = r15064 * r15069;
        float r15071 = 8727.195470384844f;
        bool r15072 = r15059 <= r15071;
        float r15073 = 0.001388888888888889f;
        float r15074 = 4.0f;
        float r15075 = pow(r15059, r15074);
        float r15076 = r15073 * r15075;
        float r15077 = 0.5f;
        float r15078 = r15076 + r15077;
        float r15079 = 0.041666666666666664f;
        float r15080 = r15059 * r15059;
        float r15081 = r15079 * r15080;
        float r15082 = r15078 - r15081;
        float r15083 = r15065 / r15059;
        float r15084 = r15065 - r15066;
        float r15085 = r15084 / r15059;
        float r15086 = r15083 * r15085;
        float r15087 = r15072 ? r15082 : r15086;
        float r15088 = r15061 ? r15070 : r15087;
        return r15088;
}

double f_od(double x) {
        double r15089 = x;
        double r15090 = -1.128700823931291e-06;
        bool r15091 = r15089 <= r15090;
        double r15092 = sin(r15089);
        double r15093 = r15092 * r15092;
        double r15094 = r15093 / r15089;
        double r15095 = 1.0;
        double r15096 = cos(r15089);
        double r15097 = r15095 + r15096;
        double r15098 = r15095 / r15097;
        double r15099 = r15098 / r15089;
        double r15100 = r15094 * r15099;
        double r15101 = 8727.195470384844;
        bool r15102 = r15089 <= r15101;
        double r15103 = 0.001388888888888889;
        double r15104 = 4.0;
        double r15105 = pow(r15089, r15104);
        double r15106 = r15103 * r15105;
        double r15107 = 0.5;
        double r15108 = r15106 + r15107;
        double r15109 = 0.041666666666666664;
        double r15110 = r15089 * r15089;
        double r15111 = r15109 * r15110;
        double r15112 = r15108 - r15111;
        double r15113 = r15095 / r15089;
        double r15114 = r15095 - r15096;
        double r15115 = r15114 / r15089;
        double r15116 = r15113 * r15115;
        double r15117 = r15102 ? r15112 : r15116;
        double r15118 = r15091 ? r15100 : r15117;
        return r15118;
}

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 r15119, r15120, r15121, r15122, r15123, r15124;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r15119, "1", 10, MPFR_RNDN);
        mpfr_init(r15120);
        mpfr_init(r15121);
        mpfr_init(r15122);
        mpfr_init(r15123);
        mpfr_init(r15124);
}

double f_im(double x) {
        ;
        mpfr_set_d(r15120, x, MPFR_RNDN);
        mpfr_cos(r15121, r15120, MPFR_RNDN);
        mpfr_sub(r15122, r15119, r15121, MPFR_RNDN);
        mpfr_sqr(r15123, r15120, MPFR_RNDN);
        mpfr_div(r15124, r15122, r15123, MPFR_RNDN);
        return mpfr_get_d(r15124, MPFR_RNDN);
}

static mpfr_t 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, r15153, r15154;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15125);
        mpfr_init_set_str(r15126, "-1.128700823931291e-06", 10, MPFR_RNDN);
        mpfr_init(r15127);
        mpfr_init(r15128);
        mpfr_init(r15129);
        mpfr_init(r15130);
        mpfr_init_set_str(r15131, "1", 10, MPFR_RNDN);
        mpfr_init(r15132);
        mpfr_init(r15133);
        mpfr_init(r15134);
        mpfr_init(r15135);
        mpfr_init(r15136);
        mpfr_init_set_str(r15137, "8727.195470384844", 10, MPFR_RNDN);
        mpfr_init(r15138);
        mpfr_init_set_str(r15139, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r15140, "4", 10, MPFR_RNDN);
        mpfr_init(r15141);
        mpfr_init(r15142);
        mpfr_init_set_str(r15143, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15144);
        mpfr_init_set_str(r15145, "1/24", 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(r15154);
}

double f_fm(double x) {
        mpfr_set_d(r15125, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15127, mpfr_cmp(r15125, r15126) <= 0, MPFR_RNDN);
        mpfr_sin(r15128, r15125, MPFR_RNDN);
        mpfr_sqr(r15129, r15128, MPFR_RNDN);
        mpfr_div(r15130, r15129, r15125, MPFR_RNDN);
        ;
        mpfr_cos(r15132, r15125, MPFR_RNDN);
        mpfr_add(r15133, r15131, r15132, MPFR_RNDN);
        mpfr_div(r15134, r15131, r15133, MPFR_RNDN);
        mpfr_div(r15135, r15134, r15125, MPFR_RNDN);
        mpfr_mul(r15136, r15130, r15135, MPFR_RNDN);
        ;
        mpfr_set_si(r15138, mpfr_cmp(r15125, r15137) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r15141, r15125, r15140, MPFR_RNDN);
        mpfr_mul(r15142, r15139, r15141, MPFR_RNDN);
        ;
        mpfr_add(r15144, r15142, r15143, MPFR_RNDN);
        ;
        mpfr_sqr(r15146, r15125, MPFR_RNDN);
        mpfr_mul(r15147, r15145, r15146, MPFR_RNDN);
        mpfr_sub(r15148, r15144, r15147, MPFR_RNDN);
        mpfr_div(r15149, r15131, r15125, MPFR_RNDN);
        mpfr_sub(r15150, r15131, r15132, MPFR_RNDN);
        mpfr_div(r15151, r15150, r15125, MPFR_RNDN);
        mpfr_mul(r15152, r15149, r15151, MPFR_RNDN);
        if (mpfr_get_si(r15138, MPFR_RNDN)) { mpfr_set(r15153, r15148, MPFR_RNDN); } else { mpfr_set(r15153, r15152, MPFR_RNDN); };
        if (mpfr_get_si(r15127, MPFR_RNDN)) { mpfr_set(r15154, r15136, MPFR_RNDN); } else { mpfr_set(r15154, r15153, MPFR_RNDN); };
        return mpfr_get_d(r15154, MPFR_RNDN);
}

static mpfr_t 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;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15155);
        mpfr_init_set_str(r15156, "-1.128700823931291e-06", 10, MPFR_RNDN);
        mpfr_init(r15157);
        mpfr_init(r15158);
        mpfr_init(r15159);
        mpfr_init(r15160);
        mpfr_init_set_str(r15161, "1", 10, MPFR_RNDN);
        mpfr_init(r15162);
        mpfr_init(r15163);
        mpfr_init(r15164);
        mpfr_init(r15165);
        mpfr_init(r15166);
        mpfr_init_set_str(r15167, "8727.195470384844", 10, MPFR_RNDN);
        mpfr_init(r15168);
        mpfr_init_set_str(r15169, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r15170, "4", 10, MPFR_RNDN);
        mpfr_init(r15171);
        mpfr_init(r15172);
        mpfr_init_set_str(r15173, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15174);
        mpfr_init_set_str(r15175, "1/24", 10, MPFR_RNDN);
        mpfr_init(r15176);
        mpfr_init(r15177);
        mpfr_init(r15178);
        mpfr_init(r15179);
        mpfr_init(r15180);
        mpfr_init(r15181);
        mpfr_init(r15182);
        mpfr_init(r15183);
        mpfr_init(r15184);
}

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