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

char *name = "FastMath repmul";

double f_if(float d1) {
        float r26708 = d1;
        float r26709 = r26708 * r26708;
        float r26710 = r26709 * r26708;
        float r26711 = r26710 * r26708;
        return r26711;
}

double f_id(double d1) {
        double r26712 = d1;
        double r26713 = r26712 * r26712;
        double r26714 = r26713 * r26712;
        double r26715 = r26714 * r26712;
        return r26715;
}


double f_of(float d1) {
        float r26716 = d1;
        float r26717 = 3;
        float r26718 = 1;
        float r26719 = r26717 + r26718;
        float r26720 = pow(r26716, r26719);
        return r26720;
}

double f_od(double d1) {
        double r26721 = d1;
        double r26722 = 3;
        double r26723 = 1;
        double r26724 = r26722 + r26723;
        double r26725 = pow(r26721, r26724);
        return r26725;
}

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 r26726, r26727, r26728, r26729;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r26726);
        mpfr_init(r26727);
        mpfr_init(r26728);
        mpfr_init(r26729);
}

double f_im(double d1) {
        mpfr_set_d(r26726, d1, MPFR_RNDN);
        mpfr_mul(r26727, r26726, r26726, MPFR_RNDN);
        mpfr_mul(r26728, r26727, r26726, MPFR_RNDN);
        mpfr_mul(r26729, r26728, r26726, MPFR_RNDN);
        return mpfr_get_d(r26729, MPFR_RNDN);
}

static mpfr_t r26730, r26731, r26732, r26733, r26734;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26730);
        mpfr_init_set_str(r26731, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r26732, "1", 10, MPFR_RNDN);
        mpfr_init(r26733);
        mpfr_init(r26734);
}

double f_fm(double d1) {
        mpfr_set_d(r26730, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26733, r26731, r26732, MPFR_RNDN);
        mpfr_pow(r26734, r26730, r26733, MPFR_RNDN);
        return mpfr_get_d(r26734, MPFR_RNDN);
}

static mpfr_t r26735, r26736, r26737, r26738, r26739;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26735);
        mpfr_init_set_str(r26736, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r26737, "1", 10, MPFR_RNDN);
        mpfr_init(r26738);
        mpfr_init(r26739);
}

double f_dm(double d1) {
        mpfr_set_d(r26735, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26738, r26736, r26737, MPFR_RNDN);
        mpfr_pow(r26739, r26735, r26738, MPFR_RNDN);
        return mpfr_get_d(r26739, MPFR_RNDN);
}