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

char *name = "2cos (problem 3.3.5)";

double f_if(float x, float eps) {
        float r21063 = x;
        float r21064 = eps;
        float r21065 = r21063 + r21064;
        float r21066 = cos(r21065);
        float r21067 = cos(r21063);
        float r21068 = r21066 - r21067;
        return r21068;
}

double f_id(double x, double eps) {
        double r21069 = x;
        double r21070 = eps;
        double r21071 = r21069 + r21070;
        double r21072 = cos(r21071);
        double r21073 = cos(r21069);
        double r21074 = r21072 - r21073;
        return r21074;
}


double f_of(float x, float eps) {
        float r21075 = eps;
        float r21076 = -0.18418832849929617;
        bool r21077 = r21075 <= r21076;
        float r21078 = x;
        float r21079 = cos(r21078);
        float r21080 = cos(r21075);
        float r21081 = r21079 * r21080;
        float r21082 = sin(r21078);
        float r21083 = sin(r21075);
        float r21084 = r21082 * r21083;
        float r21085 = r21081 - r21084;
        float r21086 = r21085 - r21079;
        float r21087 = 1.3414967448909493e-08;
        bool r21088 = r21075 <= r21087;
        float r21089 = -2;
        float r21090 = 2;
        float r21091 = r21075 / r21090;
        float r21092 = sin(r21091);
        float r21093 = r21078 + r21078;
        float r21094 = r21075 + r21093;
        float r21095 = r21094 / r21090;
        float r21096 = sin(r21095);
        float r21097 = r21092 * r21096;
        float r21098 = r21089 * r21097;
        float r21099 = r21088 ? r21098 : r21086;
        float r21100 = r21077 ? r21086 : r21099;
        return r21100;
}

double f_od(double x, double eps) {
        double r21101 = eps;
        double r21102 = -0.18418832849929617;
        bool r21103 = r21101 <= r21102;
        double r21104 = x;
        double r21105 = cos(r21104);
        double r21106 = cos(r21101);
        double r21107 = r21105 * r21106;
        double r21108 = sin(r21104);
        double r21109 = sin(r21101);
        double r21110 = r21108 * r21109;
        double r21111 = r21107 - r21110;
        double r21112 = r21111 - r21105;
        double r21113 = 1.3414967448909493e-08;
        bool r21114 = r21101 <= r21113;
        double r21115 = -2;
        double r21116 = 2;
        double r21117 = r21101 / r21116;
        double r21118 = sin(r21117);
        double r21119 = r21104 + r21104;
        double r21120 = r21101 + r21119;
        double r21121 = r21120 / r21116;
        double r21122 = sin(r21121);
        double r21123 = r21118 * r21122;
        double r21124 = r21115 * r21123;
        double r21125 = r21114 ? r21124 : r21112;
        double r21126 = r21103 ? r21112 : r21125;
        return r21126;
}

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 r21127, r21128, r21129, r21130, r21131, r21132;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21127);
        mpfr_init(r21128);
        mpfr_init(r21129);
        mpfr_init(r21130);
        mpfr_init(r21131);
        mpfr_init(r21132);
}

double f_im(double x, double eps) {
        mpfr_set_d(r21127, x, MPFR_RNDN);
        mpfr_set_d(r21128, eps, MPFR_RNDN);
        mpfr_add(r21129, r21127, r21128, MPFR_RNDN);
        mpfr_cos(r21130, r21129, MPFR_RNDN);
        mpfr_cos(r21131, r21127, MPFR_RNDN);
        mpfr_sub(r21132, r21130, r21131, MPFR_RNDN);
        return mpfr_get_d(r21132, MPFR_RNDN);
}

static mpfr_t r21133, r21134, r21135, r21136, r21137, r21138, r21139, r21140, r21141, r21142, r21143, r21144, r21145, r21146, r21147, r21148, r21149, r21150, r21151, r21152, r21153, r21154, r21155, r21156, r21157, r21158;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21133);
        mpfr_init_set_str(r21134, "-0.18418832849929617", 10, MPFR_RNDN);
        mpfr_init(r21135);
        mpfr_init(r21136);
        mpfr_init(r21137);
        mpfr_init(r21138);
        mpfr_init(r21139);
        mpfr_init(r21140);
        mpfr_init(r21141);
        mpfr_init(r21142);
        mpfr_init(r21143);
        mpfr_init(r21144);
        mpfr_init_set_str(r21145, "1.3414967448909493e-08", 10, MPFR_RNDN);
        mpfr_init(r21146);
        mpfr_init_set_str(r21147, "-2", 10, MPFR_RNDN);
        mpfr_init_set_str(r21148, "2", 10, MPFR_RNDN);
        mpfr_init(r21149);
        mpfr_init(r21150);
        mpfr_init(r21151);
        mpfr_init(r21152);
        mpfr_init(r21153);
        mpfr_init(r21154);
        mpfr_init(r21155);
        mpfr_init(r21156);
        mpfr_init(r21157);
        mpfr_init(r21158);
}

double f_fm(double x, double eps) {
        mpfr_set_d(r21133, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r21135, mpfr_cmp(r21133, r21134) <= 0, MPFR_RNDN);
        mpfr_set_d(r21136, x, MPFR_RNDN);
        mpfr_cos(r21137, r21136, MPFR_RNDN);
        mpfr_cos(r21138, r21133, MPFR_RNDN);
        mpfr_mul(r21139, r21137, r21138, MPFR_RNDN);
        mpfr_sin(r21140, r21136, MPFR_RNDN);
        mpfr_sin(r21141, r21133, MPFR_RNDN);
        mpfr_mul(r21142, r21140, r21141, MPFR_RNDN);
        mpfr_sub(r21143, r21139, r21142, MPFR_RNDN);
        mpfr_sub(r21144, r21143, r21137, MPFR_RNDN);
        ;
        mpfr_set_si(r21146, mpfr_cmp(r21133, r21145) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_div(r21149, r21133, r21148, MPFR_RNDN);
        mpfr_sin(r21150, r21149, MPFR_RNDN);
        mpfr_add(r21151, r21136, r21136, MPFR_RNDN);
        mpfr_add(r21152, r21133, r21151, MPFR_RNDN);
        mpfr_div(r21153, r21152, r21148, MPFR_RNDN);
        mpfr_sin(r21154, r21153, MPFR_RNDN);
        mpfr_mul(r21155, r21150, r21154, MPFR_RNDN);
        mpfr_mul(r21156, r21147, r21155, MPFR_RNDN);
        if (mpfr_get_si(r21146, MPFR_RNDN)) { mpfr_set(r21157, r21156, MPFR_RNDN); } else { mpfr_set(r21157, r21144, MPFR_RNDN); };
        if (mpfr_get_si(r21135, MPFR_RNDN)) { mpfr_set(r21158, r21144, MPFR_RNDN); } else { mpfr_set(r21158, r21157, MPFR_RNDN); };
        return mpfr_get_d(r21158, MPFR_RNDN);
}

static mpfr_t r21159, r21160, r21161, r21162, r21163, r21164, r21165, r21166, r21167, r21168, r21169, r21170, r21171, r21172, r21173, r21174, r21175, r21176, r21177, r21178, r21179, r21180, r21181, r21182, r21183, r21184;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21159);
        mpfr_init_set_str(r21160, "-0.18418832849929617", 10, MPFR_RNDN);
        mpfr_init(r21161);
        mpfr_init(r21162);
        mpfr_init(r21163);
        mpfr_init(r21164);
        mpfr_init(r21165);
        mpfr_init(r21166);
        mpfr_init(r21167);
        mpfr_init(r21168);
        mpfr_init(r21169);
        mpfr_init(r21170);
        mpfr_init_set_str(r21171, "1.3414967448909493e-08", 10, MPFR_RNDN);
        mpfr_init(r21172);
        mpfr_init_set_str(r21173, "-2", 10, MPFR_RNDN);
        mpfr_init_set_str(r21174, "2", 10, MPFR_RNDN);
        mpfr_init(r21175);
        mpfr_init(r21176);
        mpfr_init(r21177);
        mpfr_init(r21178);
        mpfr_init(r21179);
        mpfr_init(r21180);
        mpfr_init(r21181);
        mpfr_init(r21182);
        mpfr_init(r21183);
        mpfr_init(r21184);
}

double f_dm(double x, double eps) {
        mpfr_set_d(r21159, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r21161, mpfr_cmp(r21159, r21160) <= 0, MPFR_RNDN);
        mpfr_set_d(r21162, x, MPFR_RNDN);
        mpfr_cos(r21163, r21162, MPFR_RNDN);
        mpfr_cos(r21164, r21159, MPFR_RNDN);
        mpfr_mul(r21165, r21163, r21164, MPFR_RNDN);
        mpfr_sin(r21166, r21162, MPFR_RNDN);
        mpfr_sin(r21167, r21159, MPFR_RNDN);
        mpfr_mul(r21168, r21166, r21167, MPFR_RNDN);
        mpfr_sub(r21169, r21165, r21168, MPFR_RNDN);
        mpfr_sub(r21170, r21169, r21163, MPFR_RNDN);
        ;
        mpfr_set_si(r21172, mpfr_cmp(r21159, r21171) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_div(r21175, r21159, r21174, MPFR_RNDN);
        mpfr_sin(r21176, r21175, MPFR_RNDN);
        mpfr_add(r21177, r21162, r21162, MPFR_RNDN);
        mpfr_add(r21178, r21159, r21177, MPFR_RNDN);
        mpfr_div(r21179, r21178, r21174, MPFR_RNDN);
        mpfr_sin(r21180, r21179, MPFR_RNDN);
        mpfr_mul(r21181, r21176, r21180, MPFR_RNDN);
        mpfr_mul(r21182, r21173, r21181, MPFR_RNDN);
        if (mpfr_get_si(r21172, MPFR_RNDN)) { mpfr_set(r21183, r21182, MPFR_RNDN); } else { mpfr_set(r21183, r21170, MPFR_RNDN); };
        if (mpfr_get_si(r21161, MPFR_RNDN)) { mpfr_set(r21184, r21170, MPFR_RNDN); } else { mpfr_set(r21184, r21183, MPFR_RNDN); };
        return mpfr_get_d(r21184, MPFR_RNDN);
}