#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 r18758 = d1;
        float r18759 = r18758 * r18758;
        float r18760 = r18759 * r18758;
        float r18761 = r18760 * r18758;
        return r18761;
}

double f_id(double d1) {
        double r18762 = d1;
        double r18763 = r18762 * r18762;
        double r18764 = r18763 * r18762;
        double r18765 = r18764 * r18762;
        return r18765;
}


double f_of(float d1) {
        float r18766 = d1;
        float r18767 = 4.0f;
        float r18768 = pow(r18766, r18767);
        return r18768;
}

double f_od(double d1) {
        double r18769 = d1;
        double r18770 = 4.0;
        double r18771 = pow(r18769, r18770);
        return r18771;
}

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 r18772, r18773, r18774, r18775;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r18772);
        mpfr_init(r18773);
        mpfr_init(r18774);
        mpfr_init(r18775);
}

double f_im(double d1) {
        mpfr_set_d(r18772, d1, MPFR_RNDN);
        mpfr_mul(r18773, r18772, r18772, MPFR_RNDN);
        mpfr_mul(r18774, r18773, r18772, MPFR_RNDN);
        mpfr_mul(r18775, r18774, r18772, MPFR_RNDN);
        return mpfr_get_d(r18775, MPFR_RNDN);
}

static mpfr_t r18776, r18777, r18778;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18776);
        mpfr_init_set_str(r18777, "4", 10, MPFR_RNDN);
        mpfr_init(r18778);
}

double f_fm(double d1) {
        mpfr_set_d(r18776, d1, MPFR_RNDN);
        ;
        mpfr_pow(r18778, r18776, r18777, MPFR_RNDN);
        return mpfr_get_d(r18778, MPFR_RNDN);
}

static mpfr_t r18779, r18780, r18781;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18779);
        mpfr_init_set_str(r18780, "4", 10, MPFR_RNDN);
        mpfr_init(r18781);
}

double f_dm(double d1) {
        mpfr_set_d(r18779, d1, MPFR_RNDN);
        ;
        mpfr_pow(r18781, r18779, r18780, MPFR_RNDN);
        return mpfr_get_d(r18781, MPFR_RNDN);
}