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

char *name = "exp2 (problem 3.3.7)";

double f_if(float x) {
        float r24588 = x;
        float r24589 = exp(r24588);
        float r24590 = 2;
        float r24591 = r24589 - r24590;
        float r24592 = -r24588;
        float r24593 = exp(r24592);
        float r24594 = r24591 + r24593;
        return r24594;
}

double f_id(double x) {
        double r24595 = x;
        double r24596 = exp(r24595);
        double r24597 = 2;
        double r24598 = r24596 - r24597;
        double r24599 = -r24595;
        double r24600 = exp(r24599);
        double r24601 = r24598 + r24600;
        return r24601;
}


double f_of(float x) {
        float r24602 = x;
        float r24603 = 2;
        float r24604 = pow(r24602, r24603);
        float r24605 = 1/12;
        float r24606 = 4;
        float r24607 = pow(r24602, r24606);
        float r24608 = r24605 * r24607;
        float r24609 = 1/360;
        float r24610 = 6;
        float r24611 = pow(r24602, r24610);
        float r24612 = r24609 * r24611;
        float r24613 = r24608 + r24612;
        float r24614 = r24604 + r24613;
        return r24614;
}

double f_od(double x) {
        double r24615 = x;
        double r24616 = 2;
        double r24617 = pow(r24615, r24616);
        double r24618 = 1/12;
        double r24619 = 4;
        double r24620 = pow(r24615, r24619);
        double r24621 = r24618 * r24620;
        double r24622 = 1/360;
        double r24623 = 6;
        double r24624 = pow(r24615, r24623);
        double r24625 = r24622 * r24624;
        double r24626 = r24621 + r24625;
        double r24627 = r24617 + r24626;
        return r24627;
}

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 r24628, r24629, r24630, r24631, r24632, r24633, r24634;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r24628);
        mpfr_init(r24629);
        mpfr_init_set_str(r24630, "2", 10, MPFR_RNDN);
        mpfr_init(r24631);
        mpfr_init(r24632);
        mpfr_init(r24633);
        mpfr_init(r24634);
}

double f_im(double x) {
        mpfr_set_d(r24628, x, MPFR_RNDN);
        mpfr_exp(r24629, r24628, MPFR_RNDN);
        ;
        mpfr_sub(r24631, r24629, r24630, MPFR_RNDN);
        mpfr_neg(r24632, r24628, MPFR_RNDN);
        mpfr_exp(r24633, r24632, MPFR_RNDN);
        mpfr_add(r24634, r24631, r24633, MPFR_RNDN);
        return mpfr_get_d(r24634, MPFR_RNDN);
}

static mpfr_t r24635, r24636, r24637, r24638, r24639, r24640, r24641, r24642, r24643, r24644, r24645, r24646, r24647;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r24635);
        mpfr_init_set_str(r24636, "2", 10, MPFR_RNDN);
        mpfr_init(r24637);
        mpfr_init_set_str(r24638, "1/12", 10, MPFR_RNDN);
        mpfr_init_set_str(r24639, "4", 10, MPFR_RNDN);
        mpfr_init(r24640);
        mpfr_init(r24641);
        mpfr_init_set_str(r24642, "1/360", 10, MPFR_RNDN);
        mpfr_init_set_str(r24643, "6", 10, MPFR_RNDN);
        mpfr_init(r24644);
        mpfr_init(r24645);
        mpfr_init(r24646);
        mpfr_init(r24647);
}

double f_fm(double x) {
        mpfr_set_d(r24635, x, MPFR_RNDN);
        ;
        mpfr_pow(r24637, r24635, r24636, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r24640, r24635, r24639, MPFR_RNDN);
        mpfr_mul(r24641, r24638, r24640, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r24644, r24635, r24643, MPFR_RNDN);
        mpfr_mul(r24645, r24642, r24644, MPFR_RNDN);
        mpfr_add(r24646, r24641, r24645, MPFR_RNDN);
        mpfr_add(r24647, r24637, r24646, MPFR_RNDN);
        return mpfr_get_d(r24647, MPFR_RNDN);
}

static mpfr_t r24648, r24649, r24650, r24651, r24652, r24653, r24654, r24655, r24656, r24657, r24658, r24659, r24660;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r24648);
        mpfr_init_set_str(r24649, "2", 10, MPFR_RNDN);
        mpfr_init(r24650);
        mpfr_init_set_str(r24651, "1/12", 10, MPFR_RNDN);
        mpfr_init_set_str(r24652, "4", 10, MPFR_RNDN);
        mpfr_init(r24653);
        mpfr_init(r24654);
        mpfr_init_set_str(r24655, "1/360", 10, MPFR_RNDN);
        mpfr_init_set_str(r24656, "6", 10, MPFR_RNDN);
        mpfr_init(r24657);
        mpfr_init(r24658);
        mpfr_init(r24659);
        mpfr_init(r24660);
}

double f_dm(double x) {
        mpfr_set_d(r24648, x, MPFR_RNDN);
        ;
        mpfr_pow(r24650, r24648, r24649, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r24653, r24648, r24652, MPFR_RNDN);
        mpfr_mul(r24654, r24651, r24653, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r24657, r24648, r24656, MPFR_RNDN);
        mpfr_mul(r24658, r24655, r24657, MPFR_RNDN);
        mpfr_add(r24659, r24654, r24658, MPFR_RNDN);
        mpfr_add(r24660, r24650, r24659, MPFR_RNDN);
        return mpfr_get_d(r24660, MPFR_RNDN);
}