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

char *name = "math.cube on real";

double f_if(float x) {
        float r26728 = x;
        float r26729 = r26728 * r26728;
        float r26730 = r26729 * r26728;
        return r26730;
}

double f_id(double x) {
        double r26731 = x;
        double r26732 = r26731 * r26731;
        double r26733 = r26732 * r26731;
        return r26733;
}


double f_of(float x) {
        float r26734 = x;
        float r26735 = 3;
        float r26736 = pow(r26734, r26735);
        return r26736;
}

double f_od(double x) {
        double r26737 = x;
        double r26738 = 3;
        double r26739 = pow(r26737, r26738);
        return r26739;
}

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 r26740, r26741, r26742;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26740);
        mpfr_init(r26741);
        mpfr_init(r26742);
}

double f_im(double x) {
        mpfr_set_d(r26740, x, MPFR_RNDN);
        mpfr_mul(r26741, r26740, r26740, MPFR_RNDN);
        mpfr_mul(r26742, r26741, r26740, MPFR_RNDN);
        return mpfr_get_d(r26742, MPFR_RNDN);
}

static mpfr_t r26743, r26744, r26745;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26743);
        mpfr_init_set_str(r26744, "3", 10, MPFR_RNDN);
        mpfr_init(r26745);
}

double f_fm(double x) {
        mpfr_set_d(r26743, x, MPFR_RNDN);
        ;
        mpfr_pow(r26745, r26743, r26744, MPFR_RNDN);
        return mpfr_get_d(r26745, MPFR_RNDN);
}

static mpfr_t r26746, r26747, r26748;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26746);
        mpfr_init_set_str(r26747, "3", 10, MPFR_RNDN);
        mpfr_init(r26748);
}

double f_dm(double x) {
        mpfr_set_d(r26746, x, MPFR_RNDN);
        ;
        mpfr_pow(r26748, r26746, r26747, MPFR_RNDN);
        return mpfr_get_d(r26748, MPFR_RNDN);
}