#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 r24299 = 1;
        float r24300 = x;
        float r24301 = cos(r24300);
        float r24302 = r24299 - r24301;
        float r24303 = r24300 * r24300;
        float r24304 = r24302 / r24303;
        return r24304;
}

double f_id(double x) {
        double r24305 = 1;
        double r24306 = x;
        double r24307 = cos(r24306);
        double r24308 = r24305 - r24307;
        double r24309 = r24306 * r24306;
        double r24310 = r24308 / r24309;
        return r24310;
}


double f_of(float x) {
        float r24311 = x;
        float r24312 = sin(r24311);
        float r24313 = r24312 / r24311;
        float r24314 = 2;
        float r24315 = r24311 / r24314;
        float r24316 = tan(r24315);
        float r24317 = r24316 / r24311;
        float r24318 = r24313 * r24317;
        return r24318;
}

double f_od(double x) {
        double r24319 = x;
        double r24320 = sin(r24319);
        double r24321 = r24320 / r24319;
        double r24322 = 2;
        double r24323 = r24319 / r24322;
        double r24324 = tan(r24323);
        double r24325 = r24324 / r24319;
        double r24326 = r24321 * r24325;
        return r24326;
}

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 r24327, r24328, r24329, r24330, r24331, r24332;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r24327, "1", 10, MPFR_RNDN);
        mpfr_init(r24328);
        mpfr_init(r24329);
        mpfr_init(r24330);
        mpfr_init(r24331);
        mpfr_init(r24332);
}

double f_im(double x) {
        ;
        mpfr_set_d(r24328, x, MPFR_RNDN);
        mpfr_cos(r24329, r24328, MPFR_RNDN);
        mpfr_sub(r24330, r24327, r24329, MPFR_RNDN);
        mpfr_mul(r24331, r24328, r24328, MPFR_RNDN);
        mpfr_div(r24332, r24330, r24331, MPFR_RNDN);
        return mpfr_get_d(r24332, MPFR_RNDN);
}

static mpfr_t r24333, r24334, r24335, r24336, r24337, r24338, r24339, r24340;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r24333);
        mpfr_init(r24334);
        mpfr_init(r24335);
        mpfr_init_set_str(r24336, "2", 10, MPFR_RNDN);
        mpfr_init(r24337);
        mpfr_init(r24338);
        mpfr_init(r24339);
        mpfr_init(r24340);
}

double f_fm(double x) {
        mpfr_set_d(r24333, x, MPFR_RNDN);
        mpfr_sin(r24334, r24333, MPFR_RNDN);
        mpfr_div(r24335, r24334, r24333, MPFR_RNDN);
        ;
        mpfr_div(r24337, r24333, r24336, MPFR_RNDN);
        mpfr_tan(r24338, r24337, MPFR_RNDN);
        mpfr_div(r24339, r24338, r24333, MPFR_RNDN);
        mpfr_mul(r24340, r24335, r24339, MPFR_RNDN);
        return mpfr_get_d(r24340, MPFR_RNDN);
}

static mpfr_t r24341, r24342, r24343, r24344, r24345, r24346, r24347, r24348;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r24341);
        mpfr_init(r24342);
        mpfr_init(r24343);
        mpfr_init_set_str(r24344, "2", 10, MPFR_RNDN);
        mpfr_init(r24345);
        mpfr_init(r24346);
        mpfr_init(r24347);
        mpfr_init(r24348);
}

double f_dm(double x) {
        mpfr_set_d(r24341, x, MPFR_RNDN);
        mpfr_sin(r24342, r24341, MPFR_RNDN);
        mpfr_div(r24343, r24342, r24341, MPFR_RNDN);
        ;
        mpfr_div(r24345, r24341, r24344, MPFR_RNDN);
        mpfr_tan(r24346, r24345, MPFR_RNDN);
        mpfr_div(r24347, r24346, r24341, MPFR_RNDN);
        mpfr_mul(r24348, r24343, r24347, MPFR_RNDN);
        return mpfr_get_d(r24348, MPFR_RNDN);
}