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

char *name = "cos2 (problem 3.4.1)";

double f_if(float x) {
        float r20063 = 1;
        float r20064 = x;
        float r20065 = cos(r20064);
        float r20066 = r20063 - r20065;
        float r20067 = r20064 * r20064;
        float r20068 = r20066 / r20067;
        return r20068;
}

double f_id(double x) {
        double r20069 = 1;
        double r20070 = x;
        double r20071 = cos(r20070);
        double r20072 = r20069 - r20071;
        double r20073 = r20070 * r20070;
        double r20074 = r20072 / r20073;
        return r20074;
}


double f_of(float x) {
        float r20075 = x;
        float r20076 = -0.0024305039006771983;
        bool r20077 = r20075 <= r20076;
        float r20078 = sin(r20075);
        float r20079 = r20078 * r20078;
        float r20080 = r20079 / r20075;
        float r20081 = 1;
        float r20082 = cos(r20075);
        float r20083 = 3;
        float r20084 = pow(r20082, r20083);
        float r20085 = r20081 + r20084;
        float r20086 = r20080 / r20085;
        float r20087 = r20081 - r20082;
        float r20088 = r20082 * r20082;
        float r20089 = r20087 + r20088;
        float r20090 = r20089 / r20075;
        float r20091 = r20086 * r20090;
        float r20092 = 2859.9798077968026;
        bool r20093 = r20075 <= r20092;
        float r20094 = 1/2;
        float r20095 = 1/720;
        float r20096 = 4;
        float r20097 = pow(r20075, r20096);
        float r20098 = r20095 * r20097;
        float r20099 = r20094 + r20098;
        float r20100 = 1/24;
        float r20101 = 2;
        float r20102 = pow(r20075, r20101);
        float r20103 = r20100 * r20102;
        float r20104 = r20099 - r20103;
        float r20105 = log(r20087);
        float r20106 = exp(r20105);
        float r20107 = r20075 * r20075;
        float r20108 = r20106 / r20107;
        float r20109 = r20093 ? r20104 : r20108;
        float r20110 = r20077 ? r20091 : r20109;
        return r20110;
}

double f_od(double x) {
        double r20111 = x;
        double r20112 = -0.0024305039006771983;
        bool r20113 = r20111 <= r20112;
        double r20114 = sin(r20111);
        double r20115 = r20114 * r20114;
        double r20116 = r20115 / r20111;
        double r20117 = 1;
        double r20118 = cos(r20111);
        double r20119 = 3;
        double r20120 = pow(r20118, r20119);
        double r20121 = r20117 + r20120;
        double r20122 = r20116 / r20121;
        double r20123 = r20117 - r20118;
        double r20124 = r20118 * r20118;
        double r20125 = r20123 + r20124;
        double r20126 = r20125 / r20111;
        double r20127 = r20122 * r20126;
        double r20128 = 2859.9798077968026;
        bool r20129 = r20111 <= r20128;
        double r20130 = 1/2;
        double r20131 = 1/720;
        double r20132 = 4;
        double r20133 = pow(r20111, r20132);
        double r20134 = r20131 * r20133;
        double r20135 = r20130 + r20134;
        double r20136 = 1/24;
        double r20137 = 2;
        double r20138 = pow(r20111, r20137);
        double r20139 = r20136 * r20138;
        double r20140 = r20135 - r20139;
        double r20141 = log(r20123);
        double r20142 = exp(r20141);
        double r20143 = r20111 * r20111;
        double r20144 = r20142 / r20143;
        double r20145 = r20129 ? r20140 : r20144;
        double r20146 = r20113 ? r20127 : r20145;
        return r20146;
}

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 r20147, r20148, r20149, r20150, r20151, r20152;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r20147, "1", 10, MPFR_RNDN);
        mpfr_init(r20148);
        mpfr_init(r20149);
        mpfr_init(r20150);
        mpfr_init(r20151);
        mpfr_init(r20152);
}

double f_im(double x) {
        ;
        mpfr_set_d(r20148, x, MPFR_RNDN);
        mpfr_cos(r20149, r20148, MPFR_RNDN);
        mpfr_sub(r20150, r20147, r20149, MPFR_RNDN);
        mpfr_mul(r20151, r20148, r20148, MPFR_RNDN);
        mpfr_div(r20152, r20150, r20151, MPFR_RNDN);
        return mpfr_get_d(r20152, MPFR_RNDN);
}

static mpfr_t r20153, r20154, r20155, r20156, r20157, r20158, r20159, r20160, r20161, r20162, r20163, r20164, r20165, r20166, r20167, r20168, r20169, r20170, r20171, r20172, r20173, r20174, r20175, r20176, r20177, r20178, r20179, r20180, r20181, r20182, r20183, r20184, r20185, r20186, r20187, r20188;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r20153);
        mpfr_init_set_str(r20154, "-0.0024305039006771983", 10, MPFR_RNDN);
        mpfr_init(r20155);
        mpfr_init(r20156);
        mpfr_init(r20157);
        mpfr_init(r20158);
        mpfr_init_set_str(r20159, "1", 10, MPFR_RNDN);
        mpfr_init(r20160);
        mpfr_init_set_str(r20161, "3", 10, MPFR_RNDN);
        mpfr_init(r20162);
        mpfr_init(r20163);
        mpfr_init(r20164);
        mpfr_init(r20165);
        mpfr_init(r20166);
        mpfr_init(r20167);
        mpfr_init(r20168);
        mpfr_init(r20169);
        mpfr_init_set_str(r20170, "2859.9798077968026", 10, MPFR_RNDN);
        mpfr_init(r20171);
        mpfr_init_set_str(r20172, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r20173, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r20174, "4", 10, MPFR_RNDN);
        mpfr_init(r20175);
        mpfr_init(r20176);
        mpfr_init(r20177);
        mpfr_init_set_str(r20178, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r20179, "2", 10, MPFR_RNDN);
        mpfr_init(r20180);
        mpfr_init(r20181);
        mpfr_init(r20182);
        mpfr_init(r20183);
        mpfr_init(r20184);
        mpfr_init(r20185);
        mpfr_init(r20186);
        mpfr_init(r20187);
        mpfr_init(r20188);
}

double f_fm(double x) {
        mpfr_set_d(r20153, x, MPFR_RNDN);
        ;
        mpfr_set_si(r20155, mpfr_cmp(r20153, r20154) <= 0, MPFR_RNDN);
        mpfr_sin(r20156, r20153, MPFR_RNDN);
        mpfr_mul(r20157, r20156, r20156, MPFR_RNDN);
        mpfr_div(r20158, r20157, r20153, MPFR_RNDN);
        ;
        mpfr_cos(r20160, r20153, MPFR_RNDN);
        ;
        mpfr_pow(r20162, r20160, r20161, MPFR_RNDN);
        mpfr_add(r20163, r20159, r20162, MPFR_RNDN);
        mpfr_div(r20164, r20158, r20163, MPFR_RNDN);
        mpfr_sub(r20165, r20159, r20160, MPFR_RNDN);
        mpfr_mul(r20166, r20160, r20160, MPFR_RNDN);
        mpfr_add(r20167, r20165, r20166, MPFR_RNDN);
        mpfr_div(r20168, r20167, r20153, MPFR_RNDN);
        mpfr_mul(r20169, r20164, r20168, MPFR_RNDN);
        ;
        mpfr_set_si(r20171, mpfr_cmp(r20153, r20170) <= 0, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r20175, r20153, r20174, MPFR_RNDN);
        mpfr_mul(r20176, r20173, r20175, MPFR_RNDN);
        mpfr_add(r20177, r20172, r20176, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20180, r20153, r20179, MPFR_RNDN);
        mpfr_mul(r20181, r20178, r20180, MPFR_RNDN);
        mpfr_sub(r20182, r20177, r20181, MPFR_RNDN);
        mpfr_log(r20183, r20165, MPFR_RNDN);
        mpfr_exp(r20184, r20183, MPFR_RNDN);
        mpfr_mul(r20185, r20153, r20153, MPFR_RNDN);
        mpfr_div(r20186, r20184, r20185, MPFR_RNDN);
        if (mpfr_get_si(r20171, MPFR_RNDN)) { mpfr_set(r20187, r20182, MPFR_RNDN); } else { mpfr_set(r20187, r20186, MPFR_RNDN); };
        if (mpfr_get_si(r20155, MPFR_RNDN)) { mpfr_set(r20188, r20169, MPFR_RNDN); } else { mpfr_set(r20188, r20187, MPFR_RNDN); };
        return mpfr_get_d(r20188, MPFR_RNDN);
}

static mpfr_t r20189, r20190, r20191, r20192, r20193, r20194, r20195, r20196, r20197, r20198, r20199, r20200, r20201, r20202, r20203, r20204, r20205, r20206, r20207, r20208, r20209, r20210, r20211, r20212, r20213, r20214, r20215, r20216, r20217, r20218, r20219, r20220, r20221, r20222, r20223, r20224;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r20189);
        mpfr_init_set_str(r20190, "-0.0024305039006771983", 10, MPFR_RNDN);
        mpfr_init(r20191);
        mpfr_init(r20192);
        mpfr_init(r20193);
        mpfr_init(r20194);
        mpfr_init_set_str(r20195, "1", 10, MPFR_RNDN);
        mpfr_init(r20196);
        mpfr_init_set_str(r20197, "3", 10, MPFR_RNDN);
        mpfr_init(r20198);
        mpfr_init(r20199);
        mpfr_init(r20200);
        mpfr_init(r20201);
        mpfr_init(r20202);
        mpfr_init(r20203);
        mpfr_init(r20204);
        mpfr_init(r20205);
        mpfr_init_set_str(r20206, "2859.9798077968026", 10, MPFR_RNDN);
        mpfr_init(r20207);
        mpfr_init_set_str(r20208, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r20209, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r20210, "4", 10, MPFR_RNDN);
        mpfr_init(r20211);
        mpfr_init(r20212);
        mpfr_init(r20213);
        mpfr_init_set_str(r20214, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r20215, "2", 10, MPFR_RNDN);
        mpfr_init(r20216);
        mpfr_init(r20217);
        mpfr_init(r20218);
        mpfr_init(r20219);
        mpfr_init(r20220);
        mpfr_init(r20221);
        mpfr_init(r20222);
        mpfr_init(r20223);
        mpfr_init(r20224);
}

double f_dm(double x) {
        mpfr_set_d(r20189, x, MPFR_RNDN);
        ;
        mpfr_set_si(r20191, mpfr_cmp(r20189, r20190) <= 0, MPFR_RNDN);
        mpfr_sin(r20192, r20189, MPFR_RNDN);
        mpfr_mul(r20193, r20192, r20192, MPFR_RNDN);
        mpfr_div(r20194, r20193, r20189, MPFR_RNDN);
        ;
        mpfr_cos(r20196, r20189, MPFR_RNDN);
        ;
        mpfr_pow(r20198, r20196, r20197, MPFR_RNDN);
        mpfr_add(r20199, r20195, r20198, MPFR_RNDN);
        mpfr_div(r20200, r20194, r20199, MPFR_RNDN);
        mpfr_sub(r20201, r20195, r20196, MPFR_RNDN);
        mpfr_mul(r20202, r20196, r20196, MPFR_RNDN);
        mpfr_add(r20203, r20201, r20202, MPFR_RNDN);
        mpfr_div(r20204, r20203, r20189, MPFR_RNDN);
        mpfr_mul(r20205, r20200, r20204, MPFR_RNDN);
        ;
        mpfr_set_si(r20207, mpfr_cmp(r20189, r20206) <= 0, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r20211, r20189, r20210, MPFR_RNDN);
        mpfr_mul(r20212, r20209, r20211, MPFR_RNDN);
        mpfr_add(r20213, r20208, r20212, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20216, r20189, r20215, MPFR_RNDN);
        mpfr_mul(r20217, r20214, r20216, MPFR_RNDN);
        mpfr_sub(r20218, r20213, r20217, MPFR_RNDN);
        mpfr_log(r20219, r20201, MPFR_RNDN);
        mpfr_exp(r20220, r20219, MPFR_RNDN);
        mpfr_mul(r20221, r20189, r20189, MPFR_RNDN);
        mpfr_div(r20222, r20220, r20221, MPFR_RNDN);
        if (mpfr_get_si(r20207, MPFR_RNDN)) { mpfr_set(r20223, r20218, MPFR_RNDN); } else { mpfr_set(r20223, r20222, MPFR_RNDN); };
        if (mpfr_get_si(r20191, MPFR_RNDN)) { mpfr_set(r20224, r20205, MPFR_RNDN); } else { mpfr_set(r20224, r20223, MPFR_RNDN); };
        return mpfr_get_d(r20224, MPFR_RNDN);
}