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

char *name = "FastMath test5";

double f_if(float d1) {
        float r19995 = d1;
        float r19996 = r19995 * r19995;
        float r19997 = r19995 * r19996;
        float r19998 = r19997 * r19995;
        float r19999 = r19998 * r19995;
        float r20000 = r19999 * r19996;
        float r20001 = r20000 * r19995;
        float r20002 = r19995 * r20001;
        float r20003 = r20002 * r19995;
        return r20003;
}

double f_id(double d1) {
        double r20004 = d1;
        double r20005 = r20004 * r20004;
        double r20006 = r20004 * r20005;
        double r20007 = r20006 * r20004;
        double r20008 = r20007 * r20004;
        double r20009 = r20008 * r20005;
        double r20010 = r20009 * r20004;
        double r20011 = r20004 * r20010;
        double r20012 = r20011 * r20004;
        return r20012;
}


double f_of(float d1) {
        float r20013 = d1;
        float r20014 = 2.0f;
        float r20015 = 3.0f;
        float r20016 = r20014 + r20015;
        float r20017 = r20016 + r20016;
        float r20018 = pow(r20013, r20017);
        return r20018;
}

double f_od(double d1) {
        double r20019 = d1;
        double r20020 = 2.0;
        double r20021 = 3.0;
        double r20022 = r20020 + r20021;
        double r20023 = r20022 + r20022;
        double r20024 = pow(r20019, r20023);
        return r20024;
}

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 r20025, r20026, r20027, r20028, r20029, r20030, r20031, r20032, r20033;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r20025);
        mpfr_init(r20026);
        mpfr_init(r20027);
        mpfr_init(r20028);
        mpfr_init(r20029);
        mpfr_init(r20030);
        mpfr_init(r20031);
        mpfr_init(r20032);
        mpfr_init(r20033);
}

double f_im(double d1) {
        mpfr_set_d(r20025, d1, MPFR_RNDN);
        mpfr_mul(r20026, r20025, r20025, MPFR_RNDN);
        mpfr_mul(r20027, r20025, r20026, MPFR_RNDN);
        mpfr_mul(r20028, r20027, r20025, MPFR_RNDN);
        mpfr_mul(r20029, r20028, r20025, MPFR_RNDN);
        mpfr_mul(r20030, r20029, r20026, MPFR_RNDN);
        mpfr_mul(r20031, r20030, r20025, MPFR_RNDN);
        mpfr_mul(r20032, r20025, r20031, MPFR_RNDN);
        mpfr_mul(r20033, r20032, r20025, MPFR_RNDN);
        return mpfr_get_d(r20033, MPFR_RNDN);
}

static mpfr_t r20034, r20035, r20036, r20037, r20038, r20039;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r20034);
        mpfr_init_set_str(r20035, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r20036, "3", 10, MPFR_RNDN);
        mpfr_init(r20037);
        mpfr_init(r20038);
        mpfr_init(r20039);
}

double f_fm(double d1) {
        mpfr_set_d(r20034, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r20037, r20035, r20036, MPFR_RNDN);
        mpfr_add(r20038, r20037, r20037, MPFR_RNDN);
        mpfr_pow(r20039, r20034, r20038, MPFR_RNDN);
        return mpfr_get_d(r20039, MPFR_RNDN);
}

static mpfr_t r20040, r20041, r20042, r20043, r20044, r20045;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r20040);
        mpfr_init_set_str(r20041, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r20042, "3", 10, MPFR_RNDN);
        mpfr_init(r20043);
        mpfr_init(r20044);
        mpfr_init(r20045);
}

double f_dm(double d1) {
        mpfr_set_d(r20040, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r20043, r20041, r20042, MPFR_RNDN);
        mpfr_add(r20044, r20043, r20043, MPFR_RNDN);
        mpfr_pow(r20045, r20040, r20044, MPFR_RNDN);
        return mpfr_get_d(r20045, MPFR_RNDN);
}

