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

char *name = "NMSE problem 3.3.5";

double f_if(float x, float eps) {
        float r15059 = x;
        float r15060 = eps;
        float r15061 = r15059 + r15060;
        float r15062 = cos(r15061);
        float r15063 = cos(r15059);
        float r15064 = r15062 - r15063;
        return r15064;
}

double f_id(double x, double eps) {
        double r15065 = x;
        double r15066 = eps;
        double r15067 = r15065 + r15066;
        double r15068 = cos(r15067);
        double r15069 = cos(r15065);
        double r15070 = r15068 - r15069;
        return r15070;
}


double f_of(float x, float eps) {
        float r15071 = eps;
        float r15072 = -5.084423344895139e-11f;
        bool r15073 = r15071 <= r15072;
        float r15074 = sin(r15071);
        float r15075 = -r15074;
        float r15076 = x;
        float r15077 = sin(r15076);
        float r15078 = cos(r15076);
        float r15079 = cos(r15071);
        float r15080 = r15078 * r15079;
        float r15081 = fma(r15075, r15077, r15080);
        float r15082 = r15081 - r15078;
        float r15083 = fma(r15078, r15079, r15078);
        float r15084 = r15077 * r15074;
        float r15085 = -r15084;
        float r15086 = r15083 - r15085;
        float r15087 = r15086 / r15086;
        float r15088 = r15082 / r15087;
        float r15089 = 0.056213882732527594f;
        bool r15090 = r15071 <= r15089;
        float r15091 = r15071 * (r15071 * r15071);
        float r15092 = 0.16666666666666666f;
        float r15093 = r15092 * r15077;
        float r15094 = r15091 * r15093;
        float r15095 = 0.5f;
        float r15096 = fma(r15095, r15071, r15077);
        float r15097 = r15071 * r15096;
        float r15098 = r15094 - r15097;
        float r15099 = r15090 ? r15098 : r15088;
        float r15100 = r15073 ? r15088 : r15099;
        return r15100;
}

double f_od(double x, double eps) {
        double r15101 = eps;
        double r15102 = -5.084423344895139e-11;
        bool r15103 = r15101 <= r15102;
        double r15104 = sin(r15101);
        double r15105 = -r15104;
        double r15106 = x;
        double r15107 = sin(r15106);
        double r15108 = cos(r15106);
        double r15109 = cos(r15101);
        double r15110 = r15108 * r15109;
        double r15111 = fma(r15105, r15107, r15110);
        double r15112 = r15111 - r15108;
        double r15113 = fma(r15108, r15109, r15108);
        double r15114 = r15107 * r15104;
        double r15115 = -r15114;
        double r15116 = r15113 - r15115;
        double r15117 = r15116 / r15116;
        double r15118 = r15112 / r15117;
        double r15119 = 0.056213882732527594;
        bool r15120 = r15101 <= r15119;
        double r15121 = r15101 * (r15101 * r15101);
        double r15122 = 0.16666666666666666;
        double r15123 = r15122 * r15107;
        double r15124 = r15121 * r15123;
        double r15125 = 0.5;
        double r15126 = fma(r15125, r15101, r15107);
        double r15127 = r15101 * r15126;
        double r15128 = r15124 - r15127;
        double r15129 = r15120 ? r15128 : r15118;
        double r15130 = r15103 ? r15118 : r15129;
        return r15130;
}

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 r15131, r15132, r15133, r15134, r15135, r15136;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r15131);
        mpfr_init(r15132);
        mpfr_init(r15133);
        mpfr_init(r15134);
        mpfr_init(r15135);
        mpfr_init(r15136);
}

double f_im(double x, double eps) {
        mpfr_set_d(r15131, x, MPFR_RNDN);
        mpfr_set_d(r15132, eps, MPFR_RNDN);
        mpfr_add(r15133, r15131, r15132, MPFR_RNDN);
        mpfr_cos(r15134, r15133, MPFR_RNDN);
        mpfr_cos(r15135, r15131, MPFR_RNDN);
        mpfr_sub(r15136, r15134, r15135, MPFR_RNDN);
        return mpfr_get_d(r15136, MPFR_RNDN);
}

static mpfr_t 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, r15163, r15164, r15165, r15166;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15137);
        mpfr_init_set_str(r15138, "-5.084423344895139e-11", 10, MPFR_RNDN);
        mpfr_init(r15139);
        mpfr_init(r15140);
        mpfr_init(r15141);
        mpfr_init(r15142);
        mpfr_init(r15143);
        mpfr_init(r15144);
        mpfr_init(r15145);
        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);
        mpfr_init_set_str(r15155, "0.056213882732527594", 10, MPFR_RNDN);
        mpfr_init(r15156);
        mpfr_init(r15157);
        mpfr_init_set_str(r15158, "1/6", 10, MPFR_RNDN);
        mpfr_init(r15159);
        mpfr_init(r15160);
        mpfr_init_set_str(r15161, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15162);
        mpfr_init(r15163);
        mpfr_init(r15164);
        mpfr_init(r15165);
        mpfr_init(r15166);
}

double f_fm(double x, double eps) {
        mpfr_set_d(r15137, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r15139, mpfr_cmp(r15137, r15138) <= 0, MPFR_RNDN);
        mpfr_sin(r15140, r15137, MPFR_RNDN);
        mpfr_neg(r15141, r15140, MPFR_RNDN);
        mpfr_set_d(r15142, x, MPFR_RNDN);
        mpfr_sin(r15143, r15142, MPFR_RNDN);
        mpfr_cos(r15144, r15142, MPFR_RNDN);
        mpfr_cos(r15145, r15137, MPFR_RNDN);
        mpfr_mul(r15146, r15144, r15145, MPFR_RNDN);
        mpfr_fma(r15147, r15141, r15143, r15146, MPFR_RNDN);
        mpfr_sub(r15148, r15147, r15144, MPFR_RNDN);
        mpfr_fma(r15149, r15144, r15145, r15144, MPFR_RNDN);
        mpfr_mul(r15150, r15143, r15140, MPFR_RNDN);
        mpfr_neg(r15151, r15150, MPFR_RNDN);
        mpfr_sub(r15152, r15149, r15151, MPFR_RNDN);
        mpfr_div(r15153, r15152, r15152, MPFR_RNDN);
        mpfr_div(r15154, r15148, r15153, MPFR_RNDN);
        ;
        mpfr_set_si(r15156, mpfr_cmp(r15137, r15155) <= 0, MPFR_RNDN);
        mpfr_mul(r15157, r15137, r15137, MPFR_RNDN); mpfr_mul(r15157, r15157, r15137, MPFR_RNDN);
        ;
        mpfr_mul(r15159, r15158, r15143, MPFR_RNDN);
        mpfr_mul(r15160, r15157, r15159, MPFR_RNDN);
        ;
        mpfr_fma(r15162, r15161, r15137, r15143, MPFR_RNDN);
        mpfr_mul(r15163, r15137, r15162, MPFR_RNDN);
        mpfr_sub(r15164, r15160, r15163, MPFR_RNDN);
        if (mpfr_get_si(r15156, MPFR_RNDN)) { mpfr_set(r15165, r15164, MPFR_RNDN); } else { mpfr_set(r15165, r15154, MPFR_RNDN); };
        if (mpfr_get_si(r15139, MPFR_RNDN)) { mpfr_set(r15166, r15154, MPFR_RNDN); } else { mpfr_set(r15166, r15165, MPFR_RNDN); };
        return mpfr_get_d(r15166, MPFR_RNDN);
}

static mpfr_t 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, r15194, r15195, r15196;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15167);
        mpfr_init_set_str(r15168, "-5.084423344895139e-11", 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(r15178);
        mpfr_init(r15179);
        mpfr_init(r15180);
        mpfr_init(r15181);
        mpfr_init(r15182);
        mpfr_init(r15183);
        mpfr_init(r15184);
        mpfr_init_set_str(r15185, "0.056213882732527594", 10, MPFR_RNDN);
        mpfr_init(r15186);
        mpfr_init(r15187);
        mpfr_init_set_str(r15188, "1/6", 10, MPFR_RNDN);
        mpfr_init(r15189);
        mpfr_init(r15190);
        mpfr_init_set_str(r15191, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15192);
        mpfr_init(r15193);
        mpfr_init(r15194);
        mpfr_init(r15195);
        mpfr_init(r15196);
}

double f_dm(double x, double eps) {
        mpfr_set_d(r15167, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r15169, mpfr_cmp(r15167, r15168) <= 0, MPFR_RNDN);
        mpfr_sin(r15170, r15167, MPFR_RNDN);
        mpfr_neg(r15171, r15170, MPFR_RNDN);
        mpfr_set_d(r15172, x, MPFR_RNDN);
        mpfr_sin(r15173, r15172, MPFR_RNDN);
        mpfr_cos(r15174, r15172, MPFR_RNDN);
        mpfr_cos(r15175, r15167, MPFR_RNDN);
        mpfr_mul(r15176, r15174, r15175, MPFR_RNDN);
        mpfr_fma(r15177, r15171, r15173, r15176, MPFR_RNDN);
        mpfr_sub(r15178, r15177, r15174, MPFR_RNDN);
        mpfr_fma(r15179, r15174, r15175, r15174, MPFR_RNDN);
        mpfr_mul(r15180, r15173, r15170, MPFR_RNDN);
        mpfr_neg(r15181, r15180, MPFR_RNDN);
        mpfr_sub(r15182, r15179, r15181, MPFR_RNDN);
        mpfr_div(r15183, r15182, r15182, MPFR_RNDN);
        mpfr_div(r15184, r15178, r15183, MPFR_RNDN);
        ;
        mpfr_set_si(r15186, mpfr_cmp(r15167, r15185) <= 0, MPFR_RNDN);
        mpfr_mul(r15187, r15167, r15167, MPFR_RNDN); mpfr_mul(r15187, r15187, r15167, MPFR_RNDN);
        ;
        mpfr_mul(r15189, r15188, r15173, MPFR_RNDN);
        mpfr_mul(r15190, r15187, r15189, MPFR_RNDN);
        ;
        mpfr_fma(r15192, r15191, r15167, r15173, MPFR_RNDN);
        mpfr_mul(r15193, r15167, r15192, MPFR_RNDN);
        mpfr_sub(r15194, r15190, r15193, MPFR_RNDN);
        if (mpfr_get_si(r15186, MPFR_RNDN)) { mpfr_set(r15195, r15194, MPFR_RNDN); } else { mpfr_set(r15195, r15184, MPFR_RNDN); };
        if (mpfr_get_si(r15169, MPFR_RNDN)) { mpfr_set(r15196, r15184, MPFR_RNDN); } else { mpfr_set(r15196, r15195, MPFR_RNDN); };
        return mpfr_get_d(r15196, MPFR_RNDN);
}