#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 r20128 = 1.0f;
        float r20129 = x;
        float r20130 = r20128 / r20129;
        float r20131 = tan(r20129);
        float r20132 = r20128 / r20131;
        float r20133 = r20130 - r20132;
        return r20133;
}

double f_id(double x) {
        double r20134 = 1.0;
        double r20135 = x;
        double r20136 = r20134 / r20135;
        double r20137 = tan(r20135);
        double r20138 = r20134 / r20137;
        double r20139 = r20136 - r20138;
        return r20139;
}


double f_of(float x) {
        float r20140 = x;
        float r20141 = 0.3333333333333333f;
        float r20142 = r20140 * r20141;
        float r20143 = r20140 * r20140;
        float r20144 = 0.022222222222222223f;
        float r20145 = r20140 * r20144;
        float r20146 = r20143 * r20145;
        float r20147 = 0.0021164021164021165f;
        float r20148 = 5.0f;
        float r20149 = pow(r20140, r20148);
        float r20150 = r20147 * r20149;
        float r20151 = r20146 + r20150;
        float r20152 = r20142 + r20151;
        return r20152;
}

double f_od(double x) {
        double r20153 = x;
        double r20154 = 0.3333333333333333;
        double r20155 = r20153 * r20154;
        double r20156 = r20153 * r20153;
        double r20157 = 0.022222222222222223;
        double r20158 = r20153 * r20157;
        double r20159 = r20156 * r20158;
        double r20160 = 0.0021164021164021165;
        double r20161 = 5.0;
        double r20162 = pow(r20153, r20161);
        double r20163 = r20160 * r20162;
        double r20164 = r20159 + r20163;
        double r20165 = r20155 + r20164;
        return r20165;
}

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 r20166, r20167, r20168, r20169, r20170, r20171;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r20166, "1", 10, MPFR_RNDN);
        mpfr_init(r20167);
        mpfr_init(r20168);
        mpfr_init(r20169);
        mpfr_init(r20170);
        mpfr_init(r20171);
}

double f_im(double x) {
        ;
        mpfr_set_d(r20167, x, MPFR_RNDN);
        mpfr_div(r20168, r20166, r20167, MPFR_RNDN);
        mpfr_tan(r20169, r20167, MPFR_RNDN);
        mpfr_div(r20170, r20166, r20169, MPFR_RNDN);
        mpfr_sub(r20171, r20168, r20170, MPFR_RNDN);
        return mpfr_get_d(r20171, MPFR_RNDN);
}

static mpfr_t r20172, r20173, r20174, r20175, r20176, r20177, r20178, r20179, r20180, r20181, r20182, r20183, r20184;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r20172);
        mpfr_init_set_str(r20173, "1/3", 10, MPFR_RNDN);
        mpfr_init(r20174);
        mpfr_init(r20175);
        mpfr_init_set_str(r20176, "1/45", 10, MPFR_RNDN);
        mpfr_init(r20177);
        mpfr_init(r20178);
        mpfr_init_set_str(r20179, "2/945", 10, MPFR_RNDN);
        mpfr_init_set_str(r20180, "5", 10, MPFR_RNDN);
        mpfr_init(r20181);
        mpfr_init(r20182);
        mpfr_init(r20183);
        mpfr_init(r20184);
}

double f_fm(double x) {
        mpfr_set_d(r20172, x, MPFR_RNDN);
        ;
        mpfr_mul(r20174, r20172, r20173, MPFR_RNDN);
        mpfr_mul(r20175, r20172, r20172, MPFR_RNDN);
        ;
        mpfr_mul(r20177, r20172, r20176, MPFR_RNDN);
        mpfr_mul(r20178, r20175, r20177, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20181, r20172, r20180, MPFR_RNDN);
        mpfr_mul(r20182, r20179, r20181, MPFR_RNDN);
        mpfr_add(r20183, r20178, r20182, MPFR_RNDN);
        mpfr_add(r20184, r20174, r20183, MPFR_RNDN);
        return mpfr_get_d(r20184, MPFR_RNDN);
}

static mpfr_t r20185, r20186, r20187, r20188, r20189, r20190, r20191, r20192, r20193, r20194, r20195, r20196, r20197;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r20185);
        mpfr_init_set_str(r20186, "1/3", 10, MPFR_RNDN);
        mpfr_init(r20187);
        mpfr_init(r20188);
        mpfr_init_set_str(r20189, "1/45", 10, MPFR_RNDN);
        mpfr_init(r20190);
        mpfr_init(r20191);
        mpfr_init_set_str(r20192, "2/945", 10, MPFR_RNDN);
        mpfr_init_set_str(r20193, "5", 10, MPFR_RNDN);
        mpfr_init(r20194);
        mpfr_init(r20195);
        mpfr_init(r20196);
        mpfr_init(r20197);
}

double f_dm(double x) {
        mpfr_set_d(r20185, x, MPFR_RNDN);
        ;
        mpfr_mul(r20187, r20185, r20186, MPFR_RNDN);
        mpfr_mul(r20188, r20185, r20185, MPFR_RNDN);
        ;
        mpfr_mul(r20190, r20185, r20189, MPFR_RNDN);
        mpfr_mul(r20191, r20188, r20190, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r20194, r20185, r20193, MPFR_RNDN);
        mpfr_mul(r20195, r20192, r20194, MPFR_RNDN);
        mpfr_add(r20196, r20191, r20195, MPFR_RNDN);
        mpfr_add(r20197, r20187, r20196, MPFR_RNDN);
        return mpfr_get_d(r20197, MPFR_RNDN);
}