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

char *name = "expq2 (section 3.11)";

double f_if(float x) {
        float r26765 = x;
        float r26766 = exp(r26765);
        float r26767 = 1;
        float r26768 = r26766 - r26767;
        float r26769 = r26766 / r26768;
        return r26769;
}

double f_id(double x) {
        double r26770 = x;
        double r26771 = exp(r26770);
        double r26772 = 1;
        double r26773 = r26771 - r26772;
        double r26774 = r26771 / r26773;
        return r26774;
}


double f_of(float x) {
        float r26775 = 1;
        float r26776 = x;
        float r26777 = -r26776;
        float r26778 = exp(r26777);
        float r26779 = r26775 - r26778;
        float r26780 = r26775 / r26779;
        float r26781 = 1.0218980332364112;
        bool r26782 = r26780 <= r26781;
        float r26783 = 1/2;
        float r26784 = r26775 / r26776;
        float r26785 = 1/12;
        float r26786 = r26785 * r26776;
        float r26787 = r26784 + r26786;
        float r26788 = r26783 + r26787;
        float r26789 = r26782 ? r26780 : r26788;
        return r26789;
}

double f_od(double x) {
        double r26790 = 1;
        double r26791 = x;
        double r26792 = -r26791;
        double r26793 = exp(r26792);
        double r26794 = r26790 - r26793;
        double r26795 = r26790 / r26794;
        double r26796 = 1.0218980332364112;
        bool r26797 = r26795 <= r26796;
        double r26798 = 1/2;
        double r26799 = r26790 / r26791;
        double r26800 = 1/12;
        double r26801 = r26800 * r26791;
        double r26802 = r26799 + r26801;
        double r26803 = r26798 + r26802;
        double r26804 = r26797 ? r26795 : r26803;
        return r26804;
}

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 r26805, r26806, r26807, r26808, r26809;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26805);
        mpfr_init(r26806);
        mpfr_init_set_str(r26807, "1", 10, MPFR_RNDN);
        mpfr_init(r26808);
        mpfr_init(r26809);
}

double f_im(double x) {
        mpfr_set_d(r26805, x, MPFR_RNDN);
        mpfr_exp(r26806, r26805, MPFR_RNDN);
        ;
        mpfr_sub(r26808, r26806, r26807, MPFR_RNDN);
        mpfr_div(r26809, r26806, r26808, MPFR_RNDN);
        return mpfr_get_d(r26809, MPFR_RNDN);
}

static mpfr_t r26810, r26811, r26812, r26813, r26814, r26815, r26816, r26817, r26818, r26819, r26820, r26821, r26822, r26823, r26824;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r26810, "1", 10, MPFR_RNDN);
        mpfr_init(r26811);
        mpfr_init(r26812);
        mpfr_init(r26813);
        mpfr_init(r26814);
        mpfr_init(r26815);
        mpfr_init_set_str(r26816, "1.0218980332364112", 10, MPFR_RNDN);
        mpfr_init(r26817);
        mpfr_init_set_str(r26818, "1/2", 10, MPFR_RNDN);
        mpfr_init(r26819);
        mpfr_init_set_str(r26820, "1/12", 10, MPFR_RNDN);
        mpfr_init(r26821);
        mpfr_init(r26822);
        mpfr_init(r26823);
        mpfr_init(r26824);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r26811, x, MPFR_RNDN);
        mpfr_neg(r26812, r26811, MPFR_RNDN);
        mpfr_exp(r26813, r26812, MPFR_RNDN);
        mpfr_sub(r26814, r26810, r26813, MPFR_RNDN);
        mpfr_div(r26815, r26810, r26814, MPFR_RNDN);
        ;
        mpfr_set_si(r26817, mpfr_cmp(r26815, r26816) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r26819, r26810, r26811, MPFR_RNDN);
        ;
        mpfr_mul(r26821, r26820, r26811, MPFR_RNDN);
        mpfr_add(r26822, r26819, r26821, MPFR_RNDN);
        mpfr_add(r26823, r26818, r26822, MPFR_RNDN);
        if (mpfr_get_si(r26817, MPFR_RNDN)) { mpfr_set(r26824, r26815, MPFR_RNDN); } else { mpfr_set(r26824, r26823, MPFR_RNDN); };
        return mpfr_get_d(r26824, MPFR_RNDN);
}

static mpfr_t r26825, r26826, r26827, r26828, r26829, r26830, r26831, r26832, r26833, r26834, r26835, r26836, r26837, r26838, r26839;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r26825, "1", 10, MPFR_RNDN);
        mpfr_init(r26826);
        mpfr_init(r26827);
        mpfr_init(r26828);
        mpfr_init(r26829);
        mpfr_init(r26830);
        mpfr_init_set_str(r26831, "1.0218980332364112", 10, MPFR_RNDN);
        mpfr_init(r26832);
        mpfr_init_set_str(r26833, "1/2", 10, MPFR_RNDN);
        mpfr_init(r26834);
        mpfr_init_set_str(r26835, "1/12", 10, MPFR_RNDN);
        mpfr_init(r26836);
        mpfr_init(r26837);
        mpfr_init(r26838);
        mpfr_init(r26839);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r26826, x, MPFR_RNDN);
        mpfr_neg(r26827, r26826, MPFR_RNDN);
        mpfr_exp(r26828, r26827, MPFR_RNDN);
        mpfr_sub(r26829, r26825, r26828, MPFR_RNDN);
        mpfr_div(r26830, r26825, r26829, MPFR_RNDN);
        ;
        mpfr_set_si(r26832, mpfr_cmp(r26830, r26831) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r26834, r26825, r26826, MPFR_RNDN);
        ;
        mpfr_mul(r26836, r26835, r26826, MPFR_RNDN);
        mpfr_add(r26837, r26834, r26836, MPFR_RNDN);
        mpfr_add(r26838, r26833, r26837, MPFR_RNDN);
        if (mpfr_get_si(r26832, MPFR_RNDN)) { mpfr_set(r26839, r26830, MPFR_RNDN); } else { mpfr_set(r26839, r26838, MPFR_RNDN); };
        return mpfr_get_d(r26839, MPFR_RNDN);
}