#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 r26663 = x;
        float r26664 = exp(r26663);
        float r26665 = 2;
        float r26666 = r26664 - r26665;
        float r26667 = -r26663;
        float r26668 = exp(r26667);
        float r26669 = r26666 + r26668;
        return r26669;
}

double f_id(double x) {
        double r26670 = x;
        double r26671 = exp(r26670);
        double r26672 = 2;
        double r26673 = r26671 - r26672;
        double r26674 = -r26670;
        double r26675 = exp(r26674);
        double r26676 = r26673 + r26675;
        return r26676;
}


double f_of(float x) {
        float r26677 = 1/12;
        float r26678 = x;
        float r26679 = 4;
        float r26680 = pow(r26678, r26679);
        float r26681 = 6;
        float r26682 = pow(r26678, r26681);
        float r26683 = 1/360;
        float r26684 = r26678 * r26678;
        float r26685 = fma(r26682, r26683, r26684);
        float r26686 = fma(r26677, r26680, r26685);
        float r26687 = sqrt(r26686);
        float r26688 = r26687 * r26687;
        return r26688;
}

double f_od(double x) {
        double r26689 = 1/12;
        double r26690 = x;
        double r26691 = 4;
        double r26692 = pow(r26690, r26691);
        double r26693 = 6;
        double r26694 = pow(r26690, r26693);
        double r26695 = 1/360;
        double r26696 = r26690 * r26690;
        double r26697 = fma(r26694, r26695, r26696);
        double r26698 = fma(r26689, r26692, r26697);
        double r26699 = sqrt(r26698);
        double r26700 = r26699 * r26699;
        return r26700;
}

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 r26701, r26702, r26703, r26704, r26705, r26706, r26707;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26701);
        mpfr_init(r26702);
        mpfr_init_set_str(r26703, "2", 10, MPFR_RNDN);
        mpfr_init(r26704);
        mpfr_init(r26705);
        mpfr_init(r26706);
        mpfr_init(r26707);
}

double f_im(double x) {
        mpfr_set_d(r26701, x, MPFR_RNDN);
        mpfr_exp(r26702, r26701, MPFR_RNDN);
        ;
        mpfr_sub(r26704, r26702, r26703, MPFR_RNDN);
        mpfr_neg(r26705, r26701, MPFR_RNDN);
        mpfr_exp(r26706, r26705, MPFR_RNDN);
        mpfr_add(r26707, r26704, r26706, MPFR_RNDN);
        return mpfr_get_d(r26707, MPFR_RNDN);
}

static mpfr_t r26708, r26709, r26710, r26711, r26712, r26713, r26714, r26715, r26716, r26717, r26718, r26719;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r26708, "1/12", 10, MPFR_RNDN);
        mpfr_init(r26709);
        mpfr_init_set_str(r26710, "4", 10, MPFR_RNDN);
        mpfr_init(r26711);
        mpfr_init_set_str(r26712, "6", 10, MPFR_RNDN);
        mpfr_init(r26713);
        mpfr_init_set_str(r26714, "1/360", 10, MPFR_RNDN);
        mpfr_init(r26715);
        mpfr_init(r26716);
        mpfr_init(r26717);
        mpfr_init(r26718);
        mpfr_init(r26719);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r26709, x, MPFR_RNDN);
        ;
        mpfr_pow(r26711, r26709, r26710, MPFR_RNDN);
        ;
        mpfr_pow(r26713, r26709, r26712, MPFR_RNDN);
        ;
        mpfr_mul(r26715, r26709, r26709, MPFR_RNDN);
        mpfr_fma(r26716, r26713, r26714, r26715, MPFR_RNDN);
        mpfr_fma(r26717, r26708, r26711, r26716, MPFR_RNDN);
        mpfr_sqrt(r26718, r26717, MPFR_RNDN);
        mpfr_mul(r26719, r26718, r26718, MPFR_RNDN);
        return mpfr_get_d(r26719, MPFR_RNDN);
}

static mpfr_t r26720, r26721, r26722, r26723, r26724, r26725, r26726, r26727, r26728, r26729, r26730, r26731;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r26720, "1/12", 10, MPFR_RNDN);
        mpfr_init(r26721);
        mpfr_init_set_str(r26722, "4", 10, MPFR_RNDN);
        mpfr_init(r26723);
        mpfr_init_set_str(r26724, "6", 10, MPFR_RNDN);
        mpfr_init(r26725);
        mpfr_init_set_str(r26726, "1/360", 10, MPFR_RNDN);
        mpfr_init(r26727);
        mpfr_init(r26728);
        mpfr_init(r26729);
        mpfr_init(r26730);
        mpfr_init(r26731);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r26721, x, MPFR_RNDN);
        ;
        mpfr_pow(r26723, r26721, r26722, MPFR_RNDN);
        ;
        mpfr_pow(r26725, r26721, r26724, MPFR_RNDN);
        ;
        mpfr_mul(r26727, r26721, r26721, MPFR_RNDN);
        mpfr_fma(r26728, r26725, r26726, r26727, MPFR_RNDN);
        mpfr_fma(r26729, r26720, r26723, r26728, MPFR_RNDN);
        mpfr_sqrt(r26730, r26729, MPFR_RNDN);
        mpfr_mul(r26731, r26730, r26730, MPFR_RNDN);
        return mpfr_get_d(r26731, MPFR_RNDN);
}