#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 r26905 = 1;
        float r26906 = x;
        float r26907 = r26905 / r26906;
        float r26908 = tan(r26906);
        float r26909 = r26905 / r26908;
        float r26910 = r26907 - r26909;
        return r26910;
}

double f_id(double x) {
        double r26911 = 1;
        double r26912 = x;
        double r26913 = r26911 / r26912;
        double r26914 = tan(r26912);
        double r26915 = r26911 / r26914;
        double r26916 = r26913 - r26915;
        return r26916;
}


double f_of(float x) {
        float r26917 = 1/45;
        float r26918 = x;
        float r26919 = 3;
        float r26920 = pow(r26918, r26919);
        float r26921 = r26917 * r26920;
        float r26922 = 2/945;
        float r26923 = 5;
        float r26924 = pow(r26918, r26923);
        float r26925 = r26922 * r26924;
        float r26926 = 1/3;
        float r26927 = r26926 * r26918;
        float r26928 = r26925 + r26927;
        float r26929 = r26921 + r26928;
        return r26929;
}

double f_od(double x) {
        double r26930 = 1/45;
        double r26931 = x;
        double r26932 = 3;
        double r26933 = pow(r26931, r26932);
        double r26934 = r26930 * r26933;
        double r26935 = 2/945;
        double r26936 = 5;
        double r26937 = pow(r26931, r26936);
        double r26938 = r26935 * r26937;
        double r26939 = 1/3;
        double r26940 = r26939 * r26931;
        double r26941 = r26938 + r26940;
        double r26942 = r26934 + r26941;
        return r26942;
}

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 r26943, r26944, r26945, r26946, r26947, r26948;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r26943, "1", 10, MPFR_RNDN);
        mpfr_init(r26944);
        mpfr_init(r26945);
        mpfr_init(r26946);
        mpfr_init(r26947);
        mpfr_init(r26948);
}

double f_im(double x) {
        ;
        mpfr_set_d(r26944, x, MPFR_RNDN);
        mpfr_div(r26945, r26943, r26944, MPFR_RNDN);
        mpfr_tan(r26946, r26944, MPFR_RNDN);
        mpfr_div(r26947, r26943, r26946, MPFR_RNDN);
        mpfr_sub(r26948, r26945, r26947, MPFR_RNDN);
        return mpfr_get_d(r26948, MPFR_RNDN);
}

static mpfr_t r26949, r26950, r26951, r26952, r26953, r26954, r26955, r26956, r26957, r26958, r26959, r26960, r26961;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r26949, "1/45", 10, MPFR_RNDN);
        mpfr_init(r26950);
        mpfr_init_set_str(r26951, "3", 10, MPFR_RNDN);
        mpfr_init(r26952);
        mpfr_init(r26953);
        mpfr_init_set_str(r26954, "2/945", 10, MPFR_RNDN);
        mpfr_init_set_str(r26955, "5", 10, MPFR_RNDN);
        mpfr_init(r26956);
        mpfr_init(r26957);
        mpfr_init_set_str(r26958, "1/3", 10, MPFR_RNDN);
        mpfr_init(r26959);
        mpfr_init(r26960);
        mpfr_init(r26961);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r26950, x, MPFR_RNDN);
        ;
        mpfr_pow(r26952, r26950, r26951, MPFR_RNDN);
        mpfr_mul(r26953, r26949, r26952, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26956, r26950, r26955, MPFR_RNDN);
        mpfr_mul(r26957, r26954, r26956, MPFR_RNDN);
        ;
        mpfr_mul(r26959, r26958, r26950, MPFR_RNDN);
        mpfr_add(r26960, r26957, r26959, MPFR_RNDN);
        mpfr_add(r26961, r26953, r26960, MPFR_RNDN);
        return mpfr_get_d(r26961, MPFR_RNDN);
}

static mpfr_t r26962, r26963, r26964, r26965, r26966, r26967, r26968, r26969, r26970, r26971, r26972, r26973, r26974;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r26962, "1/45", 10, MPFR_RNDN);
        mpfr_init(r26963);
        mpfr_init_set_str(r26964, "3", 10, MPFR_RNDN);
        mpfr_init(r26965);
        mpfr_init(r26966);
        mpfr_init_set_str(r26967, "2/945", 10, MPFR_RNDN);
        mpfr_init_set_str(r26968, "5", 10, MPFR_RNDN);
        mpfr_init(r26969);
        mpfr_init(r26970);
        mpfr_init_set_str(r26971, "1/3", 10, MPFR_RNDN);
        mpfr_init(r26972);
        mpfr_init(r26973);
        mpfr_init(r26974);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r26963, x, MPFR_RNDN);
        ;
        mpfr_pow(r26965, r26963, r26964, MPFR_RNDN);
        mpfr_mul(r26966, r26962, r26965, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26969, r26963, r26968, MPFR_RNDN);
        mpfr_mul(r26970, r26967, r26969, MPFR_RNDN);
        ;
        mpfr_mul(r26972, r26971, r26963, MPFR_RNDN);
        mpfr_add(r26973, r26970, r26972, MPFR_RNDN);
        mpfr_add(r26974, r26966, r26973, MPFR_RNDN);
        return mpfr_get_d(r26974, MPFR_RNDN);
}