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

char *name = "3.9.1 real part (p56)";

double f_if() {
        float r9050 = -1;
        float r9051 = 1;
        float r9052 = /* ERROR: no complex support in C */;
        float r9053 = r9052 * r9052;
        float r9054 = r9053 * r9052;
        float r9055 = r9054 * r9052;
        float r9056 = r9055 * r9052;
        float r9057 = r9056 * r9052;
        float r9058 = 6;
        float r9059 = 0;
        float r9060 = /* ERROR: no complex support in C */;
        float r9061 = r9060 * r9052;
        float r9062 = r9061 * r9052;
        float r9063 = r9062 * r9052;
        float r9064 = r9063 * r9052;
        float r9065 = r9064 * r9052;
        float r9066 = r9057 + r9065;
        float r9067 = 15;
        float r9068 = /* ERROR: no complex support in C */;
        float r9069 = r9068 * r9052;
        float r9070 = r9069 * r9052;
        float r9071 = r9070 * r9052;
        float r9072 = r9071 * r9052;
        float r9073 = r9066 + r9072;
        float r9074 = 20;
        float r9075 = /* ERROR: no complex support in C */;
        float r9076 = r9075 * r9052;
        float r9077 = r9076 * r9052;
        float r9078 = r9077 * r9052;
        float r9079 = r9073 + r9078;
        float r9080 = r9079 + r9070;
        float r9081 = r9080 + r9061;
        float r9082 = /* ERROR: no complex support in C */;
        float r9083 = r9081 + r9082;
        float r9084 = /* ERROR: no complex support in C */;
        return r9084;
}

double f_id() {
        double r9085 = -1;
        double r9086 = 1;
        double r9087 = /* ERROR: no complex support in C */;
        double r9088 = r9087 * r9087;
        double r9089 = r9088 * r9087;
        double r9090 = r9089 * r9087;
        double r9091 = r9090 * r9087;
        double r9092 = r9091 * r9087;
        double r9093 = 6;
        double r9094 = 0;
        double r9095 = /* ERROR: no complex support in C */;
        double r9096 = r9095 * r9087;
        double r9097 = r9096 * r9087;
        double r9098 = r9097 * r9087;
        double r9099 = r9098 * r9087;
        double r9100 = r9099 * r9087;
        double r9101 = r9092 + r9100;
        double r9102 = 15;
        double r9103 = /* ERROR: no complex support in C */;
        double r9104 = r9103 * r9087;
        double r9105 = r9104 * r9087;
        double r9106 = r9105 * r9087;
        double r9107 = r9106 * r9087;
        double r9108 = r9101 + r9107;
        double r9109 = 20;
        double r9110 = /* ERROR: no complex support in C */;
        double r9111 = r9110 * r9087;
        double r9112 = r9111 * r9087;
        double r9113 = r9112 * r9087;
        double r9114 = r9108 + r9113;
        double r9115 = r9114 + r9105;
        double r9116 = r9115 + r9096;
        double r9117 = /* ERROR: no complex support in C */;
        double r9118 = r9116 + r9117;
        double r9119 = /* ERROR: no complex support in C */;
        return r9119;
}


double f_of() {
        float r9120 = -1;
        float r9121 = 1;
        float r9122 = /* ERROR: no complex support in C */;
        float r9123 = r9122 * r9122;
        float r9124 = r9123 * r9122;
        float r9125 = r9124 * r9122;
        float r9126 = r9125 * r9122;
        float r9127 = r9126 * r9122;
        float r9128 = 6;
        float r9129 = 0;
        float r9130 = /* ERROR: no complex support in C */;
        float r9131 = r9130 * r9122;
        float r9132 = r9131 * r9122;
        float r9133 = r9132 * r9122;
        float r9134 = r9133 * r9122;
        float r9135 = r9134 * r9122;
        float r9136 = r9127 + r9135;
        float r9137 = 15;
        float r9138 = /* ERROR: no complex support in C */;
        float r9139 = r9138 * r9122;
        float r9140 = r9139 * r9122;
        float r9141 = r9140 * r9122;
        float r9142 = r9141 * r9122;
        float r9143 = r9136 + r9142;
        float r9144 = 20;
        float r9145 = /* ERROR: no complex support in C */;
        float r9146 = r9145 * r9122;
        float r9147 = r9146 * r9122;
        float r9148 = r9147 * r9122;
        float r9149 = r9143 + r9148;
        float r9150 = r9149 + r9140;
        float r9151 = r9150 + r9131;
        float r9152 = /* ERROR: no complex support in C */;
        float r9153 = r9151 + r9152;
        float r9154 = /* ERROR: no complex support in C */;
        return r9154;
}

double f_od() {
        double r9155 = -1;
        double r9156 = 1;
        double r9157 = /* ERROR: no complex support in C */;
        double r9158 = r9157 * r9157;
        double r9159 = r9158 * r9157;
        double r9160 = r9159 * r9157;
        double r9161 = r9160 * r9157;
        double r9162 = r9161 * r9157;
        double r9163 = 6;
        double r9164 = 0;
        double r9165 = /* ERROR: no complex support in C */;
        double r9166 = r9165 * r9157;
        double r9167 = r9166 * r9157;
        double r9168 = r9167 * r9157;
        double r9169 = r9168 * r9157;
        double r9170 = r9169 * r9157;
        double r9171 = r9162 + r9170;
        double r9172 = 15;
        double r9173 = /* ERROR: no complex support in C */;
        double r9174 = r9173 * r9157;
        double r9175 = r9174 * r9157;
        double r9176 = r9175 * r9157;
        double r9177 = r9176 * r9157;
        double r9178 = r9171 + r9177;
        double r9179 = 20;
        double r9180 = /* ERROR: no complex support in C */;
        double r9181 = r9180 * r9157;
        double r9182 = r9181 * r9157;
        double r9183 = r9182 * r9157;
        double r9184 = r9178 + r9183;
        double r9185 = r9184 + r9175;
        double r9186 = r9185 + r9166;
        double r9187 = /* ERROR: no complex support in C */;
        double r9188 = r9186 + r9187;
        double r9189 = /* ERROR: no complex support in C */;
        return r9189;
}

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 r9190, r9191, r9192, r9193, r9194, r9195, r9196, r9197, r9198, r9199, r9200, r9201, r9202, r9203, r9204, r9205, r9206, r9207, r9208, r9209, r9210, r9211, r9212, r9213, r9214, r9215, r9216, r9217, r9218, r9219, r9220, r9221, r9222, r9223, r9224;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9190, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9191, "1", 10, MPFR_RNDN);
        mpfr_init(r9192);
        mpfr_init(r9193);
        mpfr_init(r9194);
        mpfr_init(r9195);
        mpfr_init(r9196);
        mpfr_init(r9197);
        mpfr_init_set_str(r9198, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9199, "0", 10, MPFR_RNDN);
        mpfr_init(r9200);
        mpfr_init(r9201);
        mpfr_init(r9202);
        mpfr_init(r9203);
        mpfr_init(r9204);
        mpfr_init(r9205);
        mpfr_init(r9206);
        mpfr_init_set_str(r9207, "15", 10, MPFR_RNDN);
        mpfr_init(r9208);
        mpfr_init(r9209);
        mpfr_init(r9210);
        mpfr_init(r9211);
        mpfr_init(r9212);
        mpfr_init(r9213);
        mpfr_init_set_str(r9214, "20", 10, MPFR_RNDN);
        mpfr_init(r9215);
        mpfr_init(r9216);
        mpfr_init(r9217);
        mpfr_init(r9218);
        mpfr_init(r9219);
        mpfr_init(r9220);
        mpfr_init(r9221);
        mpfr_init(r9222);
        mpfr_init(r9223);
        mpfr_init(r9224);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9193, r9192, r9192, MPFR_RNDN);
        mpfr_mul(r9194, r9193, r9192, MPFR_RNDN);
        mpfr_mul(r9195, r9194, r9192, MPFR_RNDN);
        mpfr_mul(r9196, r9195, r9192, MPFR_RNDN);
        mpfr_mul(r9197, r9196, r9192, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9201, r9200, r9192, MPFR_RNDN);
        mpfr_mul(r9202, r9201, r9192, MPFR_RNDN);
        mpfr_mul(r9203, r9202, r9192, MPFR_RNDN);
        mpfr_mul(r9204, r9203, r9192, MPFR_RNDN);
        mpfr_mul(r9205, r9204, r9192, MPFR_RNDN);
        mpfr_add(r9206, r9197, r9205, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9209, r9208, r9192, MPFR_RNDN);
        mpfr_mul(r9210, r9209, r9192, MPFR_RNDN);
        mpfr_mul(r9211, r9210, r9192, MPFR_RNDN);
        mpfr_mul(r9212, r9211, r9192, MPFR_RNDN);
        mpfr_add(r9213, r9206, r9212, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9216, r9215, r9192, MPFR_RNDN);
        mpfr_mul(r9217, r9216, r9192, MPFR_RNDN);
        mpfr_mul(r9218, r9217, r9192, MPFR_RNDN);
        mpfr_add(r9219, r9213, r9218, MPFR_RNDN);
        mpfr_add(r9220, r9219, r9210, MPFR_RNDN);
        mpfr_add(r9221, r9220, r9201, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9223, r9221, r9222, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9224, MPFR_RNDN);
}

static mpfr_t r9225, r9226, r9227, r9228, r9229, r9230, r9231, r9232, r9233, r9234, r9235, r9236, r9237, r9238, r9239, r9240, r9241, r9242, r9243, r9244, r9245, r9246, r9247, r9248, r9249, r9250, r9251, r9252, r9253, r9254, r9255, r9256, r9257, r9258, r9259;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9225, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9226, "1", 10, MPFR_RNDN);
        mpfr_init(r9227);
        mpfr_init(r9228);
        mpfr_init(r9229);
        mpfr_init(r9230);
        mpfr_init(r9231);
        mpfr_init(r9232);
        mpfr_init_set_str(r9233, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9234, "0", 10, MPFR_RNDN);
        mpfr_init(r9235);
        mpfr_init(r9236);
        mpfr_init(r9237);
        mpfr_init(r9238);
        mpfr_init(r9239);
        mpfr_init(r9240);
        mpfr_init(r9241);
        mpfr_init_set_str(r9242, "15", 10, MPFR_RNDN);
        mpfr_init(r9243);
        mpfr_init(r9244);
        mpfr_init(r9245);
        mpfr_init(r9246);
        mpfr_init(r9247);
        mpfr_init(r9248);
        mpfr_init_set_str(r9249, "20", 10, MPFR_RNDN);
        mpfr_init(r9250);
        mpfr_init(r9251);
        mpfr_init(r9252);
        mpfr_init(r9253);
        mpfr_init(r9254);
        mpfr_init(r9255);
        mpfr_init(r9256);
        mpfr_init(r9257);
        mpfr_init(r9258);
        mpfr_init(r9259);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9228, r9227, r9227, MPFR_RNDN);
        mpfr_mul(r9229, r9228, r9227, MPFR_RNDN);
        mpfr_mul(r9230, r9229, r9227, MPFR_RNDN);
        mpfr_mul(r9231, r9230, r9227, MPFR_RNDN);
        mpfr_mul(r9232, r9231, r9227, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9236, r9235, r9227, MPFR_RNDN);
        mpfr_mul(r9237, r9236, r9227, MPFR_RNDN);
        mpfr_mul(r9238, r9237, r9227, MPFR_RNDN);
        mpfr_mul(r9239, r9238, r9227, MPFR_RNDN);
        mpfr_mul(r9240, r9239, r9227, MPFR_RNDN);
        mpfr_add(r9241, r9232, r9240, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9244, r9243, r9227, MPFR_RNDN);
        mpfr_mul(r9245, r9244, r9227, MPFR_RNDN);
        mpfr_mul(r9246, r9245, r9227, MPFR_RNDN);
        mpfr_mul(r9247, r9246, r9227, MPFR_RNDN);
        mpfr_add(r9248, r9241, r9247, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9251, r9250, r9227, MPFR_RNDN);
        mpfr_mul(r9252, r9251, r9227, MPFR_RNDN);
        mpfr_mul(r9253, r9252, r9227, MPFR_RNDN);
        mpfr_add(r9254, r9248, r9253, MPFR_RNDN);
        mpfr_add(r9255, r9254, r9245, MPFR_RNDN);
        mpfr_add(r9256, r9255, r9236, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9258, r9256, r9257, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9259, MPFR_RNDN);
}

static mpfr_t r9260, r9261, r9262, r9263, r9264, r9265, r9266, r9267, r9268, r9269, r9270, r9271, r9272, r9273, r9274, r9275, r9276, r9277, r9278, r9279, r9280, r9281, r9282, r9283, r9284, r9285, r9286, r9287, r9288, r9289, r9290, r9291, r9292, r9293, r9294;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9260, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9261, "1", 10, MPFR_RNDN);
        mpfr_init(r9262);
        mpfr_init(r9263);
        mpfr_init(r9264);
        mpfr_init(r9265);
        mpfr_init(r9266);
        mpfr_init(r9267);
        mpfr_init_set_str(r9268, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9269, "0", 10, MPFR_RNDN);
        mpfr_init(r9270);
        mpfr_init(r9271);
        mpfr_init(r9272);
        mpfr_init(r9273);
        mpfr_init(r9274);
        mpfr_init(r9275);
        mpfr_init(r9276);
        mpfr_init_set_str(r9277, "15", 10, MPFR_RNDN);
        mpfr_init(r9278);
        mpfr_init(r9279);
        mpfr_init(r9280);
        mpfr_init(r9281);
        mpfr_init(r9282);
        mpfr_init(r9283);
        mpfr_init_set_str(r9284, "20", 10, MPFR_RNDN);
        mpfr_init(r9285);
        mpfr_init(r9286);
        mpfr_init(r9287);
        mpfr_init(r9288);
        mpfr_init(r9289);
        mpfr_init(r9290);
        mpfr_init(r9291);
        mpfr_init(r9292);
        mpfr_init(r9293);
        mpfr_init(r9294);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9263, r9262, r9262, MPFR_RNDN);
        mpfr_mul(r9264, r9263, r9262, MPFR_RNDN);
        mpfr_mul(r9265, r9264, r9262, MPFR_RNDN);
        mpfr_mul(r9266, r9265, r9262, MPFR_RNDN);
        mpfr_mul(r9267, r9266, r9262, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9271, r9270, r9262, MPFR_RNDN);
        mpfr_mul(r9272, r9271, r9262, MPFR_RNDN);
        mpfr_mul(r9273, r9272, r9262, MPFR_RNDN);
        mpfr_mul(r9274, r9273, r9262, MPFR_RNDN);
        mpfr_mul(r9275, r9274, r9262, MPFR_RNDN);
        mpfr_add(r9276, r9267, r9275, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9279, r9278, r9262, MPFR_RNDN);
        mpfr_mul(r9280, r9279, r9262, MPFR_RNDN);
        mpfr_mul(r9281, r9280, r9262, MPFR_RNDN);
        mpfr_mul(r9282, r9281, r9262, MPFR_RNDN);
        mpfr_add(r9283, r9276, r9282, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9286, r9285, r9262, MPFR_RNDN);
        mpfr_mul(r9287, r9286, r9262, MPFR_RNDN);
        mpfr_mul(r9288, r9287, r9262, MPFR_RNDN);
        mpfr_add(r9289, r9283, r9288, MPFR_RNDN);
        mpfr_add(r9290, r9289, r9280, MPFR_RNDN);
        mpfr_add(r9291, r9290, r9271, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9293, r9291, r9292, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9294, MPFR_RNDN);
}