#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 r15079 = x;
        float r15080 = eps;
        float r15081 = r15079 + r15080;
        float r15082 = cos(r15081);
        float r15083 = cos(r15079);
        float r15084 = r15082 - r15083;
        return r15084;
}

double f_id(double x, double eps) {
        double r15085 = x;
        double r15086 = eps;
        double r15087 = r15085 + r15086;
        double r15088 = cos(r15087);
        double r15089 = cos(r15085);
        double r15090 = r15088 - r15089;
        return r15090;
}


double f_of(float x, float eps) {
        float r15091 = eps;
        float r15092 = -0.004120711702853441f;
        bool r15093 = r15091 <= r15092;
        float r15094 = x;
        float r15095 = cos(r15094);
        float r15096 = cos(r15091);
        float r15097 = r15095 * r15096;
        float r15098 = r15097 * r15097;
        float r15099 = sin(r15094);
        float r15100 = sin(r15091);
        float r15101 = r15099 * r15100;
        float r15102 = r15101 * r15101;
        float r15103 = r15098 - r15102;
        float r15104 = r15096 * r15095;
        float r15105 = fma(r15099, r15100, r15104);
        float r15106 = r15103 / r15105;
        float r15107 = r15106 - r15095;
        float r15108 = 0.03778577223420143f;
        bool r15109 = r15091 <= r15108;
        float r15110 = 0.1666666716337204f;
        float r15111 = r15091 * (r15091 * r15091);
        float r15112 = r15111 * r15099;
        float r15113 = r15110 * r15112;
        float r15114 = 0.5f;
        float r15115 = r15091 * r15091;
        float r15116 = r15114 * r15115;
        float r15117 = r15099 * r15091;
        float r15118 = fma(r15116, r15095, r15117);
        float r15119 = r15113 - r15118;
        float r15120 = expm1(r15097);
        float r15121 = log1p(r15120);
        float r15122 = r15121 - r15101;
        float r15123 = r15122 - r15095;
        float r15124 = r15109 ? r15119 : r15123;
        float r15125 = r15093 ? r15107 : r15124;
        return r15125;
}

double f_od(double x, double eps) {
        double r15126 = eps;
        double r15127 = -0.004120711702853441;
        bool r15128 = r15126 <= r15127;
        double r15129 = x;
        double r15130 = cos(r15129);
        double r15131 = cos(r15126);
        double r15132 = r15130 * r15131;
        double r15133 = r15132 * r15132;
        double r15134 = sin(r15129);
        double r15135 = sin(r15126);
        double r15136 = r15134 * r15135;
        double r15137 = r15136 * r15136;
        double r15138 = r15133 - r15137;
        double r15139 = r15131 * r15130;
        double r15140 = fma(r15134, r15135, r15139);
        double r15141 = r15138 / r15140;
        double r15142 = r15141 - r15130;
        double r15143 = 0.03778577223420143;
        bool r15144 = r15126 <= r15143;
        double r15145 = 0.1666666716337204;
        double r15146 = r15126 * (r15126 * r15126);
        double r15147 = r15146 * r15134;
        double r15148 = r15145 * r15147;
        double r15149 = 0.5;
        double r15150 = r15126 * r15126;
        double r15151 = r15149 * r15150;
        double r15152 = r15134 * r15126;
        double r15153 = fma(r15151, r15130, r15152);
        double r15154 = r15148 - r15153;
        double r15155 = expm1(r15132);
        double r15156 = log1p(r15155);
        double r15157 = r15156 - r15136;
        double r15158 = r15157 - r15130;
        double r15159 = r15144 ? r15154 : r15158;
        double r15160 = r15128 ? r15142 : r15159;
        return r15160;
}

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 r15161, r15162, r15163, r15164, r15165, r15166;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r15161);
        mpfr_init(r15162);
        mpfr_init(r15163);
        mpfr_init(r15164);
        mpfr_init(r15165);
        mpfr_init(r15166);
}

double f_im(double x, double eps) {
        mpfr_set_d(r15161, x, MPFR_RNDN);
        mpfr_set_d(r15162, eps, MPFR_RNDN);
        mpfr_add(r15163, r15161, r15162, MPFR_RNDN);
        mpfr_cos(r15164, r15163, MPFR_RNDN);
        mpfr_cos(r15165, r15161, MPFR_RNDN);
        mpfr_sub(r15166, r15164, 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, r15197, r15198, r15199, r15200, r15201;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15167);
        mpfr_init_set_str(r15168, "-0.0041207117f0", 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_set_str(r15184, "0.037785772f0", 10, MPFR_RNDN);
        mpfr_init(r15185);
        mpfr_init_set_str(r15186, "1/6", 10, MPFR_RNDN);
        mpfr_init(r15187);
        mpfr_init(r15188);
        mpfr_init(r15189);
        mpfr_init_set_str(r15190, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15191);
        mpfr_init(r15192);
        mpfr_init(r15193);
        mpfr_init(r15194);
        mpfr_init(r15195);
        mpfr_init(r15196);
        mpfr_init(r15197);
        mpfr_init(r15198);
        mpfr_init(r15199);
        mpfr_init(r15200);
        mpfr_init(r15201);
}

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

static mpfr_t 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, r15227, r15228, r15229, r15230, r15231, r15232, r15233, r15234, r15235, r15236;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15202);
        mpfr_init_set_str(r15203, "-0.0041207117f0", 10, MPFR_RNDN);
        mpfr_init(r15204);
        mpfr_init(r15205);
        mpfr_init(r15206);
        mpfr_init(r15207);
        mpfr_init(r15208);
        mpfr_init(r15209);
        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(r15218);
        mpfr_init_set_str(r15219, "0.037785772f0", 10, MPFR_RNDN);
        mpfr_init(r15220);
        mpfr_init_set_str(r15221, "1/6", 10, MPFR_RNDN);
        mpfr_init(r15222);
        mpfr_init(r15223);
        mpfr_init(r15224);
        mpfr_init_set_str(r15225, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15226);
        mpfr_init(r15227);
        mpfr_init(r15228);
        mpfr_init(r15229);
        mpfr_init(r15230);
        mpfr_init(r15231);
        mpfr_init(r15232);
        mpfr_init(r15233);
        mpfr_init(r15234);
        mpfr_init(r15235);
        mpfr_init(r15236);
}

double f_dm(double x, double eps) {
        mpfr_set_d(r15202, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r15204, mpfr_cmp(r15202, r15203) <= 0, MPFR_RNDN);
        mpfr_set_d(r15205, x, MPFR_RNDN);
        mpfr_cos(r15206, r15205, MPFR_RNDN);
        mpfr_cos(r15207, r15202, MPFR_RNDN);
        mpfr_mul(r15208, r15206, r15207, MPFR_RNDN);
        mpfr_sqr(r15209, r15208, MPFR_RNDN);
        mpfr_sin(r15210, r15205, MPFR_RNDN);
        mpfr_sin(r15211, r15202, MPFR_RNDN);
        mpfr_mul(r15212, r15210, r15211, MPFR_RNDN);
        mpfr_sqr(r15213, r15212, MPFR_RNDN);
        mpfr_sub(r15214, r15209, r15213, MPFR_RNDN);
        mpfr_mul(r15215, r15207, r15206, MPFR_RNDN);
        mpfr_fma(r15216, r15210, r15211, r15215, MPFR_RNDN);
        mpfr_div(r15217, r15214, r15216, MPFR_RNDN);
        mpfr_sub(r15218, r15217, r15206, MPFR_RNDN);
        ;
        mpfr_set_si(r15220, mpfr_cmp(r15202, r15219) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r15222, r15202, r15202, MPFR_RNDN); mpfr_mul(r15222, r15222, r15202, MPFR_RNDN);
        mpfr_mul(r15223, r15222, r15210, MPFR_RNDN);
        mpfr_mul(r15224, r15221, r15223, MPFR_RNDN);
        ;
        mpfr_mul(r15226, r15202, r15202, MPFR_RNDN);
        mpfr_mul(r15227, r15225, r15226, MPFR_RNDN);
        mpfr_mul(r15228, r15210, r15202, MPFR_RNDN);
        mpfr_fma(r15229, r15227, r15206, r15228, MPFR_RNDN);
        mpfr_sub(r15230, r15224, r15229, MPFR_RNDN);
        mpfr_expm1(r15231, r15208, MPFR_RNDN);
        mpfr_log1p(r15232, r15231, MPFR_RNDN);
        mpfr_sub(r15233, r15232, r15212, MPFR_RNDN);
        mpfr_sub(r15234, r15233, r15206, MPFR_RNDN);
        if (mpfr_get_si(r15220, MPFR_RNDN)) { mpfr_set(r15235, r15230, MPFR_RNDN); } else { mpfr_set(r15235, r15234, MPFR_RNDN); };
        if (mpfr_get_si(r15204, MPFR_RNDN)) { mpfr_set(r15236, r15218, MPFR_RNDN); } else { mpfr_set(r15236, r15235, MPFR_RNDN); };
        return mpfr_get_d(r15236, MPFR_RNDN);
}