#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 r26717 = d1;
        float r26718 = r26717 * r26717;
        float r26719 = r26718 * r26717;
        float r26720 = r26719 * r26717;
        return r26720;
}

double f_id(double d1) {
        double r26721 = d1;
        double r26722 = r26721 * r26721;
        double r26723 = r26722 * r26721;
        double r26724 = r26723 * r26721;
        return r26724;
}


double f_of(float d1) {
        float r26725 = d1;
        float r26726 = 3;
        float r26727 = 1;
        float r26728 = r26726 + r26727;
        float r26729 = pow(r26725, r26728);
        return r26729;
}

double f_od(double d1) {
        double r26730 = d1;
        double r26731 = 3;
        double r26732 = 1;
        double r26733 = r26731 + r26732;
        double r26734 = pow(r26730, r26733);
        return r26734;
}

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 r26735, r26736, r26737, r26738;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r26735);
        mpfr_init(r26736);
        mpfr_init(r26737);
        mpfr_init(r26738);
}

double f_im(double d1) {
        mpfr_set_d(r26735, d1, MPFR_RNDN);
        mpfr_mul(r26736, r26735, r26735, MPFR_RNDN);
        mpfr_mul(r26737, r26736, r26735, MPFR_RNDN);
        mpfr_mul(r26738, r26737, r26735, MPFR_RNDN);
        return mpfr_get_d(r26738, MPFR_RNDN);
}

static mpfr_t r26739, r26740, r26741, r26742, r26743;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26739);
        mpfr_init_set_str(r26740, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r26741, "1", 10, MPFR_RNDN);
        mpfr_init(r26742);
        mpfr_init(r26743);
}

double f_fm(double d1) {
        mpfr_set_d(r26739, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26742, r26740, r26741, MPFR_RNDN);
        mpfr_pow(r26743, r26739, r26742, MPFR_RNDN);
        return mpfr_get_d(r26743, MPFR_RNDN);
}

static mpfr_t r26744, r26745, r26746, r26747, r26748;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26744);
        mpfr_init_set_str(r26745, "3", 10, MPFR_RNDN);
        mpfr_init_set_str(r26746, "1", 10, MPFR_RNDN);
        mpfr_init(r26747);
        mpfr_init(r26748);
}

double f_dm(double d1) {
        mpfr_set_d(r26744, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26747, r26745, r26746, MPFR_RNDN);
        mpfr_pow(r26748, r26744, r26747, MPFR_RNDN);
        return mpfr_get_d(r26748, MPFR_RNDN);
}