#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 r26707 = d1;
        float r26708 = r26707 * r26707;
        float r26709 = r26708 * r26707;
        float r26710 = r26709 * r26707;
        return r26710;
}

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


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

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

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

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26725);
        mpfr_init(r26726);
        mpfr_init(r26727);
        mpfr_init(r26728);
}

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

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

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

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

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

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

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