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

char *name = "expm1 (example 3.7)";

double f_if(float x) {
        float r26916 = x;
        float r26917 = exp(r26916);
        float r26918 = 1;
        float r26919 = r26917 - r26918;
        return r26919;
}

double f_id(double x) {
        double r26920 = x;
        double r26921 = exp(r26920);
        double r26922 = 1;
        double r26923 = r26921 - r26922;
        return r26923;
}


double f_of(float x) {
        float r26924 = x;
        float r26925 = 1/2;
        float r26926 = 1/6;
        float r26927 = r26926 * r26924;
        float r26928 = r26925 + r26927;
        float r26929 = r26924 * r26924;
        float r26930 = r26928 * r26929;
        float r26931 = r26924 + r26930;
        return r26931;
}

double f_od(double x) {
        double r26932 = x;
        double r26933 = 1/2;
        double r26934 = 1/6;
        double r26935 = r26934 * r26932;
        double r26936 = r26933 + r26935;
        double r26937 = r26932 * r26932;
        double r26938 = r26936 * r26937;
        double r26939 = r26932 + r26938;
        return r26939;
}

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 r26940, r26941, r26942, r26943;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26940);
        mpfr_init(r26941);
        mpfr_init_set_str(r26942, "1", 10, MPFR_RNDN);
        mpfr_init(r26943);
}

double f_im(double x) {
        mpfr_set_d(r26940, x, MPFR_RNDN);
        mpfr_exp(r26941, r26940, MPFR_RNDN);
        ;
        mpfr_sub(r26943, r26941, r26942, MPFR_RNDN);
        return mpfr_get_d(r26943, MPFR_RNDN);
}

static mpfr_t r26944, r26945, r26946, r26947, r26948, r26949, r26950, r26951;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26944);
        mpfr_init_set_str(r26945, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r26946, "1/6", 10, MPFR_RNDN);
        mpfr_init(r26947);
        mpfr_init(r26948);
        mpfr_init(r26949);
        mpfr_init(r26950);
        mpfr_init(r26951);
}

double f_fm(double x) {
        mpfr_set_d(r26944, x, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r26947, r26946, r26944, MPFR_RNDN);
        mpfr_add(r26948, r26945, r26947, MPFR_RNDN);
        mpfr_mul(r26949, r26944, r26944, MPFR_RNDN);
        mpfr_mul(r26950, r26948, r26949, MPFR_RNDN);
        mpfr_add(r26951, r26944, r26950, MPFR_RNDN);
        return mpfr_get_d(r26951, MPFR_RNDN);
}

static mpfr_t r26952, r26953, r26954, r26955, r26956, r26957, r26958, r26959;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26952);
        mpfr_init_set_str(r26953, "1/2", 10, MPFR_RNDN);
        mpfr_init_set_str(r26954, "1/6", 10, MPFR_RNDN);
        mpfr_init(r26955);
        mpfr_init(r26956);
        mpfr_init(r26957);
        mpfr_init(r26958);
        mpfr_init(r26959);
}

double f_dm(double x) {
        mpfr_set_d(r26952, x, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r26955, r26954, r26952, MPFR_RNDN);
        mpfr_add(r26956, r26953, r26955, MPFR_RNDN);
        mpfr_mul(r26957, r26952, r26952, MPFR_RNDN);
        mpfr_mul(r26958, r26956, r26957, MPFR_RNDN);
        mpfr_add(r26959, r26952, r26958, MPFR_RNDN);
        return mpfr_get_d(r26959, MPFR_RNDN);
}