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

char *name = "invcot (example 3.9)";

double f_if(float x) {
        float r10448 = 1;
        float r10449 = x;
        float r10450 = r10448 / r10449;
        float r10451 = tan(r10449);
        float r10452 = r10448 / r10451;
        float r10453 = r10450 - r10452;
        return r10453;
}

double f_id(double x) {
        double r10454 = 1;
        double r10455 = x;
        double r10456 = r10454 / r10455;
        double r10457 = tan(r10455);
        double r10458 = r10454 / r10457;
        double r10459 = r10456 - r10458;
        return r10459;
}


double f_of(float x) {
        float r10460 = 1/45;
        float r10461 = x;
        float r10462 = r10461 * r10461;
        float r10463 = 1/3;
        float r10464 = fma(r10460, r10462, r10463);
        float r10465 = sqrt(r10464);
        float r10466 = r10465 * r10465;
        float r10467 = 5;
        float r10468 = pow(r10461, r10467);
        float r10469 = 2/945;
        float r10470 = r10468 * r10469;
        float r10471 = fma(r10466, r10461, r10470);
        return r10471;
}

double f_od(double x) {
        double r10472 = 1/45;
        double r10473 = x;
        double r10474 = r10473 * r10473;
        double r10475 = 1/3;
        double r10476 = fma(r10472, r10474, r10475);
        double r10477 = sqrt(r10476);
        double r10478 = r10477 * r10477;
        double r10479 = 5;
        double r10480 = pow(r10473, r10479);
        double r10481 = 2/945;
        double r10482 = r10480 * r10481;
        double r10483 = fma(r10478, r10473, r10482);
        return r10483;
}

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 r10484, r10485, r10486, r10487, r10488, r10489;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r10484, "1", 10, MPFR_RNDN);
        mpfr_init(r10485);
        mpfr_init(r10486);
        mpfr_init(r10487);
        mpfr_init(r10488);
        mpfr_init(r10489);
}

double f_im(double x) {
        ;
        mpfr_set_d(r10485, x, MPFR_RNDN);
        mpfr_div(r10486, r10484, r10485, MPFR_RNDN);
        mpfr_tan(r10487, r10485, MPFR_RNDN);
        mpfr_div(r10488, r10484, r10487, MPFR_RNDN);
        mpfr_sub(r10489, r10486, r10488, MPFR_RNDN);
        return mpfr_get_d(r10489, MPFR_RNDN);
}

static mpfr_t r10490, r10491, r10492, r10493, r10494, r10495, r10496, r10497, r10498, r10499, r10500, r10501;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r10490, "1/45", 10, MPFR_RNDN);
        mpfr_init(r10491);
        mpfr_init(r10492);
        mpfr_init_set_str(r10493, "1/3", 10, MPFR_RNDN);
        mpfr_init(r10494);
        mpfr_init(r10495);
        mpfr_init(r10496);
        mpfr_init_set_str(r10497, "5", 10, MPFR_RNDN);
        mpfr_init(r10498);
        mpfr_init_set_str(r10499, "2/945", 10, MPFR_RNDN);
        mpfr_init(r10500);
        mpfr_init(r10501);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r10491, x, MPFR_RNDN);
        mpfr_mul(r10492, r10491, r10491, MPFR_RNDN);
        ;
        mpfr_fma(r10494, r10490, r10492, r10493, MPFR_RNDN);
        mpfr_sqrt(r10495, r10494, MPFR_RNDN);
        mpfr_mul(r10496, r10495, r10495, MPFR_RNDN);
        ;
        mpfr_pow(r10498, r10491, r10497, MPFR_RNDN);
        ;
        mpfr_mul(r10500, r10498, r10499, MPFR_RNDN);
        mpfr_fma(r10501, r10496, r10491, r10500, MPFR_RNDN);
        return mpfr_get_d(r10501, MPFR_RNDN);
}

static mpfr_t r10502, r10503, r10504, r10505, r10506, r10507, r10508, r10509, r10510, r10511, r10512, r10513;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r10502, "1/45", 10, MPFR_RNDN);
        mpfr_init(r10503);
        mpfr_init(r10504);
        mpfr_init_set_str(r10505, "1/3", 10, MPFR_RNDN);
        mpfr_init(r10506);
        mpfr_init(r10507);
        mpfr_init(r10508);
        mpfr_init_set_str(r10509, "5", 10, MPFR_RNDN);
        mpfr_init(r10510);
        mpfr_init_set_str(r10511, "2/945", 10, MPFR_RNDN);
        mpfr_init(r10512);
        mpfr_init(r10513);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r10503, x, MPFR_RNDN);
        mpfr_mul(r10504, r10503, r10503, MPFR_RNDN);
        ;
        mpfr_fma(r10506, r10502, r10504, r10505, MPFR_RNDN);
        mpfr_sqrt(r10507, r10506, MPFR_RNDN);
        mpfr_mul(r10508, r10507, r10507, MPFR_RNDN);
        ;
        mpfr_pow(r10510, r10503, r10509, MPFR_RNDN);
        ;
        mpfr_mul(r10512, r10510, r10511, MPFR_RNDN);
        mpfr_fma(r10513, r10508, r10503, r10512, MPFR_RNDN);
        return mpfr_get_d(r10513, MPFR_RNDN);
}