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

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

double f_if() {
        float r25183 = -1;
        float r25184 = 1;
        float r25185 = /* ERROR: no complex support in C */;
        float r25186 = r25185 * r25185;
        float r25187 = r25186 * r25185;
        float r25188 = r25187 * r25185;
        float r25189 = r25188 * r25185;
        float r25190 = r25189 * r25185;
        float r25191 = 6;
        float r25192 = 0;
        float r25193 = /* ERROR: no complex support in C */;
        float r25194 = r25193 * r25185;
        float r25195 = r25194 * r25185;
        float r25196 = r25195 * r25185;
        float r25197 = r25196 * r25185;
        float r25198 = r25197 * r25185;
        float r25199 = r25190 + r25198;
        float r25200 = 15;
        float r25201 = /* ERROR: no complex support in C */;
        float r25202 = r25201 * r25185;
        float r25203 = r25202 * r25185;
        float r25204 = r25203 * r25185;
        float r25205 = r25204 * r25185;
        float r25206 = r25199 + r25205;
        float r25207 = 20;
        float r25208 = /* ERROR: no complex support in C */;
        float r25209 = r25208 * r25185;
        float r25210 = r25209 * r25185;
        float r25211 = r25210 * r25185;
        float r25212 = r25206 + r25211;
        float r25213 = r25212 + r25203;
        float r25214 = r25213 + r25194;
        float r25215 = /* ERROR: no complex support in C */;
        float r25216 = r25214 + r25215;
        float r25217 = /* ERROR: no complex support in C */;
        return r25217;
}

double f_id() {
        double r25218 = -1;
        double r25219 = 1;
        double r25220 = /* ERROR: no complex support in C */;
        double r25221 = r25220 * r25220;
        double r25222 = r25221 * r25220;
        double r25223 = r25222 * r25220;
        double r25224 = r25223 * r25220;
        double r25225 = r25224 * r25220;
        double r25226 = 6;
        double r25227 = 0;
        double r25228 = /* ERROR: no complex support in C */;
        double r25229 = r25228 * r25220;
        double r25230 = r25229 * r25220;
        double r25231 = r25230 * r25220;
        double r25232 = r25231 * r25220;
        double r25233 = r25232 * r25220;
        double r25234 = r25225 + r25233;
        double r25235 = 15;
        double r25236 = /* ERROR: no complex support in C */;
        double r25237 = r25236 * r25220;
        double r25238 = r25237 * r25220;
        double r25239 = r25238 * r25220;
        double r25240 = r25239 * r25220;
        double r25241 = r25234 + r25240;
        double r25242 = 20;
        double r25243 = /* ERROR: no complex support in C */;
        double r25244 = r25243 * r25220;
        double r25245 = r25244 * r25220;
        double r25246 = r25245 * r25220;
        double r25247 = r25241 + r25246;
        double r25248 = r25247 + r25238;
        double r25249 = r25248 + r25229;
        double r25250 = /* ERROR: no complex support in C */;
        double r25251 = r25249 + r25250;
        double r25252 = /* ERROR: no complex support in C */;
        return r25252;
}


double f_of() {
        float r25253 = -1;
        float r25254 = 1;
        float r25255 = /* ERROR: no complex support in C */;
        float r25256 = r25255 * r25255;
        float r25257 = r25256 * r25255;
        float r25258 = r25257 * r25255;
        float r25259 = r25258 * r25255;
        float r25260 = r25259 * r25255;
        float r25261 = 6;
        float r25262 = 0;
        float r25263 = /* ERROR: no complex support in C */;
        float r25264 = r25263 * r25255;
        float r25265 = r25264 * r25255;
        float r25266 = r25265 * r25255;
        float r25267 = r25266 * r25255;
        float r25268 = r25267 * r25255;
        float r25269 = r25260 + r25268;
        float r25270 = 15;
        float r25271 = /* ERROR: no complex support in C */;
        float r25272 = r25271 * r25255;
        float r25273 = r25272 * r25255;
        float r25274 = r25273 * r25255;
        float r25275 = r25274 * r25255;
        float r25276 = r25269 + r25275;
        float r25277 = 20;
        float r25278 = /* ERROR: no complex support in C */;
        float r25279 = r25278 * r25255;
        float r25280 = r25279 * r25255;
        float r25281 = r25280 * r25255;
        float r25282 = r25276 + r25281;
        float r25283 = r25282 + r25273;
        float r25284 = r25283 + r25264;
        float r25285 = /* ERROR: no complex support in C */;
        float r25286 = r25284 + r25285;
        float r25287 = /* ERROR: no complex support in C */;
        return r25287;
}

double f_od() {
        double r25288 = -1;
        double r25289 = 1;
        double r25290 = /* ERROR: no complex support in C */;
        double r25291 = r25290 * r25290;
        double r25292 = r25291 * r25290;
        double r25293 = r25292 * r25290;
        double r25294 = r25293 * r25290;
        double r25295 = r25294 * r25290;
        double r25296 = 6;
        double r25297 = 0;
        double r25298 = /* ERROR: no complex support in C */;
        double r25299 = r25298 * r25290;
        double r25300 = r25299 * r25290;
        double r25301 = r25300 * r25290;
        double r25302 = r25301 * r25290;
        double r25303 = r25302 * r25290;
        double r25304 = r25295 + r25303;
        double r25305 = 15;
        double r25306 = /* ERROR: no complex support in C */;
        double r25307 = r25306 * r25290;
        double r25308 = r25307 * r25290;
        double r25309 = r25308 * r25290;
        double r25310 = r25309 * r25290;
        double r25311 = r25304 + r25310;
        double r25312 = 20;
        double r25313 = /* ERROR: no complex support in C */;
        double r25314 = r25313 * r25290;
        double r25315 = r25314 * r25290;
        double r25316 = r25315 * r25290;
        double r25317 = r25311 + r25316;
        double r25318 = r25317 + r25308;
        double r25319 = r25318 + r25299;
        double r25320 = /* ERROR: no complex support in C */;
        double r25321 = r25319 + r25320;
        double r25322 = /* ERROR: no complex support in C */;
        return r25322;
}

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 r25323, r25324, r25325, r25326, r25327, r25328, r25329, r25330, r25331, r25332, r25333, r25334, r25335, r25336, r25337, r25338, r25339, r25340, r25341, r25342, r25343, r25344, r25345, r25346, r25347, r25348, r25349, r25350, r25351, r25352, r25353, r25354, r25355, r25356, r25357;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25323, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25324, "1", 10, MPFR_RNDN);
        mpfr_init(r25325);
        mpfr_init(r25326);
        mpfr_init(r25327);
        mpfr_init(r25328);
        mpfr_init(r25329);
        mpfr_init(r25330);
        mpfr_init_set_str(r25331, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25332, "0", 10, MPFR_RNDN);
        mpfr_init(r25333);
        mpfr_init(r25334);
        mpfr_init(r25335);
        mpfr_init(r25336);
        mpfr_init(r25337);
        mpfr_init(r25338);
        mpfr_init(r25339);
        mpfr_init_set_str(r25340, "15", 10, MPFR_RNDN);
        mpfr_init(r25341);
        mpfr_init(r25342);
        mpfr_init(r25343);
        mpfr_init(r25344);
        mpfr_init(r25345);
        mpfr_init(r25346);
        mpfr_init_set_str(r25347, "20", 10, MPFR_RNDN);
        mpfr_init(r25348);
        mpfr_init(r25349);
        mpfr_init(r25350);
        mpfr_init(r25351);
        mpfr_init(r25352);
        mpfr_init(r25353);
        mpfr_init(r25354);
        mpfr_init(r25355);
        mpfr_init(r25356);
        mpfr_init(r25357);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25326, r25325, r25325, MPFR_RNDN);
        mpfr_mul(r25327, r25326, r25325, MPFR_RNDN);
        mpfr_mul(r25328, r25327, r25325, MPFR_RNDN);
        mpfr_mul(r25329, r25328, r25325, MPFR_RNDN);
        mpfr_mul(r25330, r25329, r25325, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25334, r25333, r25325, MPFR_RNDN);
        mpfr_mul(r25335, r25334, r25325, MPFR_RNDN);
        mpfr_mul(r25336, r25335, r25325, MPFR_RNDN);
        mpfr_mul(r25337, r25336, r25325, MPFR_RNDN);
        mpfr_mul(r25338, r25337, r25325, MPFR_RNDN);
        mpfr_add(r25339, r25330, r25338, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25342, r25341, r25325, MPFR_RNDN);
        mpfr_mul(r25343, r25342, r25325, MPFR_RNDN);
        mpfr_mul(r25344, r25343, r25325, MPFR_RNDN);
        mpfr_mul(r25345, r25344, r25325, MPFR_RNDN);
        mpfr_add(r25346, r25339, r25345, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25349, r25348, r25325, MPFR_RNDN);
        mpfr_mul(r25350, r25349, r25325, MPFR_RNDN);
        mpfr_mul(r25351, r25350, r25325, MPFR_RNDN);
        mpfr_add(r25352, r25346, r25351, MPFR_RNDN);
        mpfr_add(r25353, r25352, r25343, MPFR_RNDN);
        mpfr_add(r25354, r25353, r25334, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25356, r25354, r25355, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25357, MPFR_RNDN);
}

static mpfr_t r25358, r25359, r25360, r25361, r25362, r25363, r25364, r25365, r25366, r25367, r25368, r25369, r25370, r25371, r25372, r25373, r25374, r25375, r25376, r25377, r25378, r25379, r25380, r25381, r25382, r25383, r25384, r25385, r25386, r25387, r25388, r25389, r25390, r25391, r25392;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25358, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25359, "1", 10, MPFR_RNDN);
        mpfr_init(r25360);
        mpfr_init(r25361);
        mpfr_init(r25362);
        mpfr_init(r25363);
        mpfr_init(r25364);
        mpfr_init(r25365);
        mpfr_init_set_str(r25366, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25367, "0", 10, MPFR_RNDN);
        mpfr_init(r25368);
        mpfr_init(r25369);
        mpfr_init(r25370);
        mpfr_init(r25371);
        mpfr_init(r25372);
        mpfr_init(r25373);
        mpfr_init(r25374);
        mpfr_init_set_str(r25375, "15", 10, MPFR_RNDN);
        mpfr_init(r25376);
        mpfr_init(r25377);
        mpfr_init(r25378);
        mpfr_init(r25379);
        mpfr_init(r25380);
        mpfr_init(r25381);
        mpfr_init_set_str(r25382, "20", 10, MPFR_RNDN);
        mpfr_init(r25383);
        mpfr_init(r25384);
        mpfr_init(r25385);
        mpfr_init(r25386);
        mpfr_init(r25387);
        mpfr_init(r25388);
        mpfr_init(r25389);
        mpfr_init(r25390);
        mpfr_init(r25391);
        mpfr_init(r25392);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25361, r25360, r25360, MPFR_RNDN);
        mpfr_mul(r25362, r25361, r25360, MPFR_RNDN);
        mpfr_mul(r25363, r25362, r25360, MPFR_RNDN);
        mpfr_mul(r25364, r25363, r25360, MPFR_RNDN);
        mpfr_mul(r25365, r25364, r25360, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25369, r25368, r25360, MPFR_RNDN);
        mpfr_mul(r25370, r25369, r25360, MPFR_RNDN);
        mpfr_mul(r25371, r25370, r25360, MPFR_RNDN);
        mpfr_mul(r25372, r25371, r25360, MPFR_RNDN);
        mpfr_mul(r25373, r25372, r25360, MPFR_RNDN);
        mpfr_add(r25374, r25365, r25373, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25377, r25376, r25360, MPFR_RNDN);
        mpfr_mul(r25378, r25377, r25360, MPFR_RNDN);
        mpfr_mul(r25379, r25378, r25360, MPFR_RNDN);
        mpfr_mul(r25380, r25379, r25360, MPFR_RNDN);
        mpfr_add(r25381, r25374, r25380, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25384, r25383, r25360, MPFR_RNDN);
        mpfr_mul(r25385, r25384, r25360, MPFR_RNDN);
        mpfr_mul(r25386, r25385, r25360, MPFR_RNDN);
        mpfr_add(r25387, r25381, r25386, MPFR_RNDN);
        mpfr_add(r25388, r25387, r25378, MPFR_RNDN);
        mpfr_add(r25389, r25388, r25369, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25391, r25389, r25390, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25392, MPFR_RNDN);
}

static mpfr_t r25393, r25394, r25395, r25396, r25397, r25398, r25399, r25400, r25401, r25402, r25403, r25404, r25405, r25406, r25407, r25408, r25409, r25410, r25411, r25412, r25413, r25414, r25415, r25416, r25417, r25418, r25419, r25420, r25421, r25422, r25423, r25424, r25425, r25426, r25427;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25393, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25394, "1", 10, MPFR_RNDN);
        mpfr_init(r25395);
        mpfr_init(r25396);
        mpfr_init(r25397);
        mpfr_init(r25398);
        mpfr_init(r25399);
        mpfr_init(r25400);
        mpfr_init_set_str(r25401, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25402, "0", 10, MPFR_RNDN);
        mpfr_init(r25403);
        mpfr_init(r25404);
        mpfr_init(r25405);
        mpfr_init(r25406);
        mpfr_init(r25407);
        mpfr_init(r25408);
        mpfr_init(r25409);
        mpfr_init_set_str(r25410, "15", 10, MPFR_RNDN);
        mpfr_init(r25411);
        mpfr_init(r25412);
        mpfr_init(r25413);
        mpfr_init(r25414);
        mpfr_init(r25415);
        mpfr_init(r25416);
        mpfr_init_set_str(r25417, "20", 10, MPFR_RNDN);
        mpfr_init(r25418);
        mpfr_init(r25419);
        mpfr_init(r25420);
        mpfr_init(r25421);
        mpfr_init(r25422);
        mpfr_init(r25423);
        mpfr_init(r25424);
        mpfr_init(r25425);
        mpfr_init(r25426);
        mpfr_init(r25427);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25396, r25395, r25395, MPFR_RNDN);
        mpfr_mul(r25397, r25396, r25395, MPFR_RNDN);
        mpfr_mul(r25398, r25397, r25395, MPFR_RNDN);
        mpfr_mul(r25399, r25398, r25395, MPFR_RNDN);
        mpfr_mul(r25400, r25399, r25395, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25404, r25403, r25395, MPFR_RNDN);
        mpfr_mul(r25405, r25404, r25395, MPFR_RNDN);
        mpfr_mul(r25406, r25405, r25395, MPFR_RNDN);
        mpfr_mul(r25407, r25406, r25395, MPFR_RNDN);
        mpfr_mul(r25408, r25407, r25395, MPFR_RNDN);
        mpfr_add(r25409, r25400, r25408, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25412, r25411, r25395, MPFR_RNDN);
        mpfr_mul(r25413, r25412, r25395, MPFR_RNDN);
        mpfr_mul(r25414, r25413, r25395, MPFR_RNDN);
        mpfr_mul(r25415, r25414, r25395, MPFR_RNDN);
        mpfr_add(r25416, r25409, r25415, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25419, r25418, r25395, MPFR_RNDN);
        mpfr_mul(r25420, r25419, r25395, MPFR_RNDN);
        mpfr_mul(r25421, r25420, r25395, MPFR_RNDN);
        mpfr_add(r25422, r25416, r25421, MPFR_RNDN);
        mpfr_add(r25423, r25422, r25413, MPFR_RNDN);
        mpfr_add(r25424, r25423, r25404, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25426, r25424, r25425, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25427, MPFR_RNDN);
}