#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 r21727 = 1;
        float r21728 = x;
        float r21729 = cos(r21728);
        float r21730 = r21727 - r21729;
        float r21731 = r21728 * r21728;
        float r21732 = r21730 / r21731;
        return r21732;
}

double f_id(double x) {
        double r21733 = 1;
        double r21734 = x;
        double r21735 = cos(r21734);
        double r21736 = r21733 - r21735;
        double r21737 = r21734 * r21734;
        double r21738 = r21736 / r21737;
        return r21738;
}


double f_of(float x) {
        float r21739 = x;
        float r21740 = -0.03021091695231464;
        bool r21741 = r21739 <= r21740;
        float r21742 = 1;
        float r21743 = cos(r21739);
        float r21744 = r21742 - r21743;
        float r21745 = r21744 / r21739;
        float r21746 = r21745 / r21739;
        float r21747 = 0.03040127665186386;
        bool r21748 = r21739 <= r21747;
        float r21749 = 1/2;
        float r21750 = 1/720;
        float r21751 = 4;
        float r21752 = pow(r21739, r21751);
        float r21753 = r21750 * r21752;
        float r21754 = r21749 + r21753;
        float r21755 = 1/24;
        float r21756 = 2;
        float r21757 = pow(r21739, r21756);
        float r21758 = r21755 * r21757;
        float r21759 = r21754 - r21758;
        float r21760 = r21748 ? r21759 : r21746;
        float r21761 = r21741 ? r21746 : r21760;
        return r21761;
}

double f_od(double x) {
        double r21762 = x;
        double r21763 = -0.03021091695231464;
        bool r21764 = r21762 <= r21763;
        double r21765 = 1;
        double r21766 = cos(r21762);
        double r21767 = r21765 - r21766;
        double r21768 = r21767 / r21762;
        double r21769 = r21768 / r21762;
        double r21770 = 0.03040127665186386;
        bool r21771 = r21762 <= r21770;
        double r21772 = 1/2;
        double r21773 = 1/720;
        double r21774 = 4;
        double r21775 = pow(r21762, r21774);
        double r21776 = r21773 * r21775;
        double r21777 = r21772 + r21776;
        double r21778 = 1/24;
        double r21779 = 2;
        double r21780 = pow(r21762, r21779);
        double r21781 = r21778 * r21780;
        double r21782 = r21777 - r21781;
        double r21783 = r21771 ? r21782 : r21769;
        double r21784 = r21764 ? r21769 : r21783;
        return r21784;
}

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 r21785, r21786, r21787, r21788, r21789, r21790;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r21785, "1", 10, MPFR_RNDN);
        mpfr_init(r21786);
        mpfr_init(r21787);
        mpfr_init(r21788);
        mpfr_init(r21789);
        mpfr_init(r21790);
}

double f_im(double x) {
        ;
        mpfr_set_d(r21786, x, MPFR_RNDN);
        mpfr_cos(r21787, r21786, MPFR_RNDN);
        mpfr_sub(r21788, r21785, r21787, MPFR_RNDN);
        mpfr_mul(r21789, r21786, r21786, MPFR_RNDN);
        mpfr_div(r21790, r21788, r21789, MPFR_RNDN);
        return mpfr_get_d(r21790, MPFR_RNDN);
}

static mpfr_t r21791, r21792, r21793, r21794, r21795, r21796, r21797, r21798, r21799, r21800, r21801, r21802, r21803, r21804, r21805, r21806, r21807, r21808, r21809, r21810, r21811, r21812, r21813;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21791);
        mpfr_init_set_str(r21792, "-0.03021091695231464", 10, MPFR_RNDN);
        mpfr_init(r21793);
        mpfr_init_set_str(r21794, "1", 10, MPFR_RNDN);
        mpfr_init(r21795);
        mpfr_init(r21796);
        mpfr_init(r21797);
        mpfr_init(r21798);
        mpfr_init_set_str(r21799, "0.03040127665186386", 10, MPFR_RNDN);
        mpfr_init(r21800);
        mpfr_init_set_str(r21801, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r21802, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r21803, "4", 10, MPFR_RNDN);
        mpfr_init(r21804);
        mpfr_init(r21805);
        mpfr_init(r21806);
        mpfr_init_set_str(r21807, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r21808, "2", 10, MPFR_RNDN);
        mpfr_init(r21809);
        mpfr_init(r21810);
        mpfr_init(r21811);
        mpfr_init(r21812);
        mpfr_init(r21813);
}

double f_fm(double x) {
        mpfr_set_d(r21791, x, MPFR_RNDN);
        ;
        mpfr_set_si(r21793, mpfr_cmp(r21791, r21792) <= 0, MPFR_RNDN);
        ;
        mpfr_cos(r21795, r21791, MPFR_RNDN);
        mpfr_sub(r21796, r21794, r21795, MPFR_RNDN);
        mpfr_div(r21797, r21796, r21791, MPFR_RNDN);
        mpfr_div(r21798, r21797, r21791, MPFR_RNDN);
        ;
        mpfr_set_si(r21800, mpfr_cmp(r21791, r21799) <= 0, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r21804, r21791, r21803, MPFR_RNDN);
        mpfr_mul(r21805, r21802, r21804, MPFR_RNDN);
        mpfr_add(r21806, r21801, r21805, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21809, r21791, r21808, MPFR_RNDN);
        mpfr_mul(r21810, r21807, r21809, MPFR_RNDN);
        mpfr_sub(r21811, r21806, r21810, MPFR_RNDN);
        if (mpfr_get_si(r21800, MPFR_RNDN)) { mpfr_set(r21812, r21811, MPFR_RNDN); } else { mpfr_set(r21812, r21798, MPFR_RNDN); };
        if (mpfr_get_si(r21793, MPFR_RNDN)) { mpfr_set(r21813, r21798, MPFR_RNDN); } else { mpfr_set(r21813, r21812, MPFR_RNDN); };
        return mpfr_get_d(r21813, MPFR_RNDN);
}

static mpfr_t r21814, r21815, r21816, r21817, r21818, r21819, r21820, r21821, r21822, r21823, r21824, r21825, r21826, r21827, r21828, r21829, r21830, r21831, r21832, r21833, r21834, r21835, r21836;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21814);
        mpfr_init_set_str(r21815, "-0.03021091695231464", 10, MPFR_RNDN);
        mpfr_init(r21816);
        mpfr_init_set_str(r21817, "1", 10, MPFR_RNDN);
        mpfr_init(r21818);
        mpfr_init(r21819);
        mpfr_init(r21820);
        mpfr_init(r21821);
        mpfr_init_set_str(r21822, "0.03040127665186386", 10, MPFR_RNDN);
        mpfr_init(r21823);
        mpfr_init_set_str(r21824, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r21825, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r21826, "4", 10, MPFR_RNDN);
        mpfr_init(r21827);
        mpfr_init(r21828);
        mpfr_init(r21829);
        mpfr_init_set_str(r21830, "1/24", 10, MPFR_RNDN);
        mpfr_init_set_str(r21831, "2", 10, MPFR_RNDN);
        mpfr_init(r21832);
        mpfr_init(r21833);
        mpfr_init(r21834);
        mpfr_init(r21835);
        mpfr_init(r21836);
}

double f_dm(double x) {
        mpfr_set_d(r21814, x, MPFR_RNDN);
        ;
        mpfr_set_si(r21816, mpfr_cmp(r21814, r21815) <= 0, MPFR_RNDN);
        ;
        mpfr_cos(r21818, r21814, MPFR_RNDN);
        mpfr_sub(r21819, r21817, r21818, MPFR_RNDN);
        mpfr_div(r21820, r21819, r21814, MPFR_RNDN);
        mpfr_div(r21821, r21820, r21814, MPFR_RNDN);
        ;
        mpfr_set_si(r21823, mpfr_cmp(r21814, r21822) <= 0, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_pow(r21827, r21814, r21826, MPFR_RNDN);
        mpfr_mul(r21828, r21825, r21827, MPFR_RNDN);
        mpfr_add(r21829, r21824, r21828, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r21832, r21814, r21831, MPFR_RNDN);
        mpfr_mul(r21833, r21830, r21832, MPFR_RNDN);
        mpfr_sub(r21834, r21829, r21833, MPFR_RNDN);
        if (mpfr_get_si(r21823, MPFR_RNDN)) { mpfr_set(r21835, r21834, MPFR_RNDN); } else { mpfr_set(r21835, r21821, MPFR_RNDN); };
        if (mpfr_get_si(r21816, MPFR_RNDN)) { mpfr_set(r21836, r21821, MPFR_RNDN); } else { mpfr_set(r21836, r21835, MPFR_RNDN); };
        return mpfr_get_d(r21836, MPFR_RNDN);
}