#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 r9086 = -1;
        float r9087 = 1;
        float r9088 = /* ERROR: no complex support in C */;
        float r9089 = r9088 * r9088;
        float r9090 = r9089 * r9088;
        float r9091 = r9090 * r9088;
        float r9092 = r9091 * r9088;
        float r9093 = r9092 * r9088;
        float r9094 = 6;
        float r9095 = 0;
        float r9096 = /* ERROR: no complex support in C */;
        float r9097 = r9096 * r9088;
        float r9098 = r9097 * r9088;
        float r9099 = r9098 * r9088;
        float r9100 = r9099 * r9088;
        float r9101 = r9100 * r9088;
        float r9102 = r9093 + r9101;
        float r9103 = 15;
        float r9104 = /* ERROR: no complex support in C */;
        float r9105 = r9104 * r9088;
        float r9106 = r9105 * r9088;
        float r9107 = r9106 * r9088;
        float r9108 = r9107 * r9088;
        float r9109 = r9102 + r9108;
        float r9110 = 20;
        float r9111 = /* ERROR: no complex support in C */;
        float r9112 = r9111 * r9088;
        float r9113 = r9112 * r9088;
        float r9114 = r9113 * r9088;
        float r9115 = r9109 + r9114;
        float r9116 = r9115 + r9106;
        float r9117 = r9116 + r9097;
        float r9118 = /* ERROR: no complex support in C */;
        float r9119 = r9117 + r9118;
        float r9120 = /* ERROR: no complex support in C */;
        return r9120;
}

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


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

double f_od() {
        double r9191 = -1;
        double r9192 = 1;
        double r9193 = /* ERROR: no complex support in C */;
        double r9194 = r9193 * r9193;
        double r9195 = r9194 * r9193;
        double r9196 = r9195 * r9193;
        double r9197 = r9196 * r9193;
        double r9198 = r9197 * r9193;
        double r9199 = 6;
        double r9200 = 0;
        double r9201 = /* ERROR: no complex support in C */;
        double r9202 = r9201 * r9193;
        double r9203 = r9202 * r9193;
        double r9204 = r9203 * r9193;
        double r9205 = r9204 * r9193;
        double r9206 = r9205 * r9193;
        double r9207 = r9198 + r9206;
        double r9208 = 15;
        double r9209 = /* ERROR: no complex support in C */;
        double r9210 = r9209 * r9193;
        double r9211 = r9210 * r9193;
        double r9212 = r9211 * r9193;
        double r9213 = r9212 * r9193;
        double r9214 = r9207 + r9213;
        double r9215 = 20;
        double r9216 = /* ERROR: no complex support in C */;
        double r9217 = r9216 * r9193;
        double r9218 = r9217 * r9193;
        double r9219 = r9218 * r9193;
        double r9220 = r9214 + r9219;
        double r9221 = r9220 + r9211;
        double r9222 = r9221 + r9202;
        double r9223 = /* ERROR: no complex support in C */;
        double r9224 = r9222 + r9223;
        double r9225 = /* ERROR: no complex support in C */;
        return r9225;
}

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 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, r9260;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9226, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9227, "1", 10, MPFR_RNDN);
        mpfr_init(r9228);
        mpfr_init(r9229);
        mpfr_init(r9230);
        mpfr_init(r9231);
        mpfr_init(r9232);
        mpfr_init(r9233);
        mpfr_init_set_str(r9234, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9235, "0", 10, MPFR_RNDN);
        mpfr_init(r9236);
        mpfr_init(r9237);
        mpfr_init(r9238);
        mpfr_init(r9239);
        mpfr_init(r9240);
        mpfr_init(r9241);
        mpfr_init(r9242);
        mpfr_init_set_str(r9243, "15", 10, MPFR_RNDN);
        mpfr_init(r9244);
        mpfr_init(r9245);
        mpfr_init(r9246);
        mpfr_init(r9247);
        mpfr_init(r9248);
        mpfr_init(r9249);
        mpfr_init_set_str(r9250, "20", 10, MPFR_RNDN);
        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);
        mpfr_init(r9260);
}

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

static mpfr_t 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, r9295;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9261, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9262, "1", 10, MPFR_RNDN);
        mpfr_init(r9263);
        mpfr_init(r9264);
        mpfr_init(r9265);
        mpfr_init(r9266);
        mpfr_init(r9267);
        mpfr_init(r9268);
        mpfr_init_set_str(r9269, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9270, "0", 10, MPFR_RNDN);
        mpfr_init(r9271);
        mpfr_init(r9272);
        mpfr_init(r9273);
        mpfr_init(r9274);
        mpfr_init(r9275);
        mpfr_init(r9276);
        mpfr_init(r9277);
        mpfr_init_set_str(r9278, "15", 10, MPFR_RNDN);
        mpfr_init(r9279);
        mpfr_init(r9280);
        mpfr_init(r9281);
        mpfr_init(r9282);
        mpfr_init(r9283);
        mpfr_init(r9284);
        mpfr_init_set_str(r9285, "20", 10, MPFR_RNDN);
        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);
        mpfr_init(r9295);
}

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

static mpfr_t r9296, r9297, r9298, r9299, r9300, r9301, r9302, r9303, r9304, r9305, r9306, r9307, r9308, r9309, r9310, r9311, r9312, r9313, r9314, r9315, r9316, r9317, r9318, r9319, r9320, r9321, r9322, r9323, r9324, r9325, r9326, r9327, r9328, r9329, r9330;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9296, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9297, "1", 10, MPFR_RNDN);
        mpfr_init(r9298);
        mpfr_init(r9299);
        mpfr_init(r9300);
        mpfr_init(r9301);
        mpfr_init(r9302);
        mpfr_init(r9303);
        mpfr_init_set_str(r9304, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9305, "0", 10, MPFR_RNDN);
        mpfr_init(r9306);
        mpfr_init(r9307);
        mpfr_init(r9308);
        mpfr_init(r9309);
        mpfr_init(r9310);
        mpfr_init(r9311);
        mpfr_init(r9312);
        mpfr_init_set_str(r9313, "15", 10, MPFR_RNDN);
        mpfr_init(r9314);
        mpfr_init(r9315);
        mpfr_init(r9316);
        mpfr_init(r9317);
        mpfr_init(r9318);
        mpfr_init(r9319);
        mpfr_init_set_str(r9320, "20", 10, MPFR_RNDN);
        mpfr_init(r9321);
        mpfr_init(r9322);
        mpfr_init(r9323);
        mpfr_init(r9324);
        mpfr_init(r9325);
        mpfr_init(r9326);
        mpfr_init(r9327);
        mpfr_init(r9328);
        mpfr_init(r9329);
        mpfr_init(r9330);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9299, r9298, r9298, MPFR_RNDN);
        mpfr_mul(r9300, r9299, r9298, MPFR_RNDN);
        mpfr_mul(r9301, r9300, r9298, MPFR_RNDN);
        mpfr_mul(r9302, r9301, r9298, MPFR_RNDN);
        mpfr_mul(r9303, r9302, r9298, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9307, r9306, r9298, MPFR_RNDN);
        mpfr_mul(r9308, r9307, r9298, MPFR_RNDN);
        mpfr_mul(r9309, r9308, r9298, MPFR_RNDN);
        mpfr_mul(r9310, r9309, r9298, MPFR_RNDN);
        mpfr_mul(r9311, r9310, r9298, MPFR_RNDN);
        mpfr_add(r9312, r9303, r9311, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9315, r9314, r9298, MPFR_RNDN);
        mpfr_mul(r9316, r9315, r9298, MPFR_RNDN);
        mpfr_mul(r9317, r9316, r9298, MPFR_RNDN);
        mpfr_mul(r9318, r9317, r9298, MPFR_RNDN);
        mpfr_add(r9319, r9312, r9318, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9322, r9321, r9298, MPFR_RNDN);
        mpfr_mul(r9323, r9322, r9298, MPFR_RNDN);
        mpfr_mul(r9324, r9323, r9298, MPFR_RNDN);
        mpfr_add(r9325, r9319, r9324, MPFR_RNDN);
        mpfr_add(r9326, r9325, r9316, MPFR_RNDN);
        mpfr_add(r9327, r9326, r9307, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9329, r9327, r9328, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9330, MPFR_RNDN);
}