#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 r25239 = -1;
        float r25240 = 1;
        float r25241 = /* ERROR: no complex support in C */;
        float r25242 = r25241 * r25241;
        float r25243 = r25242 * r25241;
        float r25244 = r25243 * r25241;
        float r25245 = r25244 * r25241;
        float r25246 = r25245 * r25241;
        float r25247 = 6;
        float r25248 = 0;
        float r25249 = /* ERROR: no complex support in C */;
        float r25250 = r25249 * r25241;
        float r25251 = r25250 * r25241;
        float r25252 = r25251 * r25241;
        float r25253 = r25252 * r25241;
        float r25254 = r25253 * r25241;
        float r25255 = r25246 + r25254;
        float r25256 = 15;
        float r25257 = /* ERROR: no complex support in C */;
        float r25258 = r25257 * r25241;
        float r25259 = r25258 * r25241;
        float r25260 = r25259 * r25241;
        float r25261 = r25260 * r25241;
        float r25262 = r25255 + r25261;
        float r25263 = 20;
        float r25264 = /* ERROR: no complex support in C */;
        float r25265 = r25264 * r25241;
        float r25266 = r25265 * r25241;
        float r25267 = r25266 * r25241;
        float r25268 = r25262 + r25267;
        float r25269 = r25268 + r25259;
        float r25270 = r25269 + r25250;
        float r25271 = /* ERROR: no complex support in C */;
        float r25272 = r25270 + r25271;
        float r25273 = /* ERROR: no complex support in C */;
        return r25273;
}

double f_id() {
        double r25274 = -1;
        double r25275 = 1;
        double r25276 = /* ERROR: no complex support in C */;
        double r25277 = r25276 * r25276;
        double r25278 = r25277 * r25276;
        double r25279 = r25278 * r25276;
        double r25280 = r25279 * r25276;
        double r25281 = r25280 * r25276;
        double r25282 = 6;
        double r25283 = 0;
        double r25284 = /* ERROR: no complex support in C */;
        double r25285 = r25284 * r25276;
        double r25286 = r25285 * r25276;
        double r25287 = r25286 * r25276;
        double r25288 = r25287 * r25276;
        double r25289 = r25288 * r25276;
        double r25290 = r25281 + r25289;
        double r25291 = 15;
        double r25292 = /* ERROR: no complex support in C */;
        double r25293 = r25292 * r25276;
        double r25294 = r25293 * r25276;
        double r25295 = r25294 * r25276;
        double r25296 = r25295 * r25276;
        double r25297 = r25290 + r25296;
        double r25298 = 20;
        double r25299 = /* ERROR: no complex support in C */;
        double r25300 = r25299 * r25276;
        double r25301 = r25300 * r25276;
        double r25302 = r25301 * r25276;
        double r25303 = r25297 + r25302;
        double r25304 = r25303 + r25294;
        double r25305 = r25304 + r25285;
        double r25306 = /* ERROR: no complex support in C */;
        double r25307 = r25305 + r25306;
        double r25308 = /* ERROR: no complex support in C */;
        return r25308;
}


double f_of() {
        float r25309 = -1;
        float r25310 = 1;
        float r25311 = /* ERROR: no complex support in C */;
        float r25312 = r25311 * r25311;
        float r25313 = r25312 * r25311;
        float r25314 = r25313 * r25311;
        float r25315 = r25314 * r25311;
        float r25316 = r25315 * r25311;
        float r25317 = 6;
        float r25318 = 0;
        float r25319 = /* ERROR: no complex support in C */;
        float r25320 = r25319 * r25311;
        float r25321 = r25320 * r25311;
        float r25322 = r25321 * r25311;
        float r25323 = r25322 * r25311;
        float r25324 = r25323 * r25311;
        float r25325 = r25316 + r25324;
        float r25326 = 15;
        float r25327 = /* ERROR: no complex support in C */;
        float r25328 = r25327 * r25311;
        float r25329 = r25328 * r25311;
        float r25330 = r25329 * r25311;
        float r25331 = r25330 * r25311;
        float r25332 = r25325 + r25331;
        float r25333 = 20;
        float r25334 = /* ERROR: no complex support in C */;
        float r25335 = r25334 * r25311;
        float r25336 = r25335 * r25311;
        float r25337 = r25336 * r25311;
        float r25338 = r25332 + r25337;
        float r25339 = r25338 + r25329;
        float r25340 = r25339 + r25320;
        float r25341 = /* ERROR: no complex support in C */;
        float r25342 = r25340 + r25341;
        float r25343 = /* ERROR: no complex support in C */;
        return r25343;
}

double f_od() {
        double r25344 = -1;
        double r25345 = 1;
        double r25346 = /* ERROR: no complex support in C */;
        double r25347 = r25346 * r25346;
        double r25348 = r25347 * r25346;
        double r25349 = r25348 * r25346;
        double r25350 = r25349 * r25346;
        double r25351 = r25350 * r25346;
        double r25352 = 6;
        double r25353 = 0;
        double r25354 = /* ERROR: no complex support in C */;
        double r25355 = r25354 * r25346;
        double r25356 = r25355 * r25346;
        double r25357 = r25356 * r25346;
        double r25358 = r25357 * r25346;
        double r25359 = r25358 * r25346;
        double r25360 = r25351 + r25359;
        double r25361 = 15;
        double r25362 = /* ERROR: no complex support in C */;
        double r25363 = r25362 * r25346;
        double r25364 = r25363 * r25346;
        double r25365 = r25364 * r25346;
        double r25366 = r25365 * r25346;
        double r25367 = r25360 + r25366;
        double r25368 = 20;
        double r25369 = /* ERROR: no complex support in C */;
        double r25370 = r25369 * r25346;
        double r25371 = r25370 * r25346;
        double r25372 = r25371 * r25346;
        double r25373 = r25367 + r25372;
        double r25374 = r25373 + r25364;
        double r25375 = r25374 + r25355;
        double r25376 = /* ERROR: no complex support in C */;
        double r25377 = r25375 + r25376;
        double r25378 = /* ERROR: no complex support in C */;
        return r25378;
}

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 r25379, r25380, r25381, r25382, r25383, r25384, r25385, r25386, r25387, r25388, r25389, r25390, r25391, r25392, r25393, r25394, r25395, r25396, r25397, r25398, r25399, r25400, r25401, r25402, r25403, r25404, r25405, r25406, r25407, r25408, r25409, r25410, r25411, r25412, r25413;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25379, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25380, "1", 10, MPFR_RNDN);
        mpfr_init(r25381);
        mpfr_init(r25382);
        mpfr_init(r25383);
        mpfr_init(r25384);
        mpfr_init(r25385);
        mpfr_init(r25386);
        mpfr_init_set_str(r25387, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25388, "0", 10, MPFR_RNDN);
        mpfr_init(r25389);
        mpfr_init(r25390);
        mpfr_init(r25391);
        mpfr_init(r25392);
        mpfr_init(r25393);
        mpfr_init(r25394);
        mpfr_init(r25395);
        mpfr_init_set_str(r25396, "15", 10, MPFR_RNDN);
        mpfr_init(r25397);
        mpfr_init(r25398);
        mpfr_init(r25399);
        mpfr_init(r25400);
        mpfr_init(r25401);
        mpfr_init(r25402);
        mpfr_init_set_str(r25403, "20", 10, MPFR_RNDN);
        mpfr_init(r25404);
        mpfr_init(r25405);
        mpfr_init(r25406);
        mpfr_init(r25407);
        mpfr_init(r25408);
        mpfr_init(r25409);
        mpfr_init(r25410);
        mpfr_init(r25411);
        mpfr_init(r25412);
        mpfr_init(r25413);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25382, r25381, r25381, MPFR_RNDN);
        mpfr_mul(r25383, r25382, r25381, MPFR_RNDN);
        mpfr_mul(r25384, r25383, r25381, MPFR_RNDN);
        mpfr_mul(r25385, r25384, r25381, MPFR_RNDN);
        mpfr_mul(r25386, r25385, r25381, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25390, r25389, r25381, MPFR_RNDN);
        mpfr_mul(r25391, r25390, r25381, MPFR_RNDN);
        mpfr_mul(r25392, r25391, r25381, MPFR_RNDN);
        mpfr_mul(r25393, r25392, r25381, MPFR_RNDN);
        mpfr_mul(r25394, r25393, r25381, MPFR_RNDN);
        mpfr_add(r25395, r25386, r25394, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25398, r25397, r25381, MPFR_RNDN);
        mpfr_mul(r25399, r25398, r25381, MPFR_RNDN);
        mpfr_mul(r25400, r25399, r25381, MPFR_RNDN);
        mpfr_mul(r25401, r25400, r25381, MPFR_RNDN);
        mpfr_add(r25402, r25395, r25401, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25405, r25404, r25381, MPFR_RNDN);
        mpfr_mul(r25406, r25405, r25381, MPFR_RNDN);
        mpfr_mul(r25407, r25406, r25381, MPFR_RNDN);
        mpfr_add(r25408, r25402, r25407, MPFR_RNDN);
        mpfr_add(r25409, r25408, r25399, MPFR_RNDN);
        mpfr_add(r25410, r25409, r25390, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25412, r25410, r25411, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25413, MPFR_RNDN);
}

static mpfr_t r25414, r25415, r25416, r25417, r25418, r25419, r25420, r25421, r25422, r25423, r25424, r25425, r25426, r25427, r25428, r25429, r25430, r25431, r25432, r25433, r25434, r25435, r25436, r25437, r25438, r25439, r25440, r25441, r25442, r25443, r25444, r25445, r25446, r25447, r25448;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25414, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25415, "1", 10, MPFR_RNDN);
        mpfr_init(r25416);
        mpfr_init(r25417);
        mpfr_init(r25418);
        mpfr_init(r25419);
        mpfr_init(r25420);
        mpfr_init(r25421);
        mpfr_init_set_str(r25422, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25423, "0", 10, MPFR_RNDN);
        mpfr_init(r25424);
        mpfr_init(r25425);
        mpfr_init(r25426);
        mpfr_init(r25427);
        mpfr_init(r25428);
        mpfr_init(r25429);
        mpfr_init(r25430);
        mpfr_init_set_str(r25431, "15", 10, MPFR_RNDN);
        mpfr_init(r25432);
        mpfr_init(r25433);
        mpfr_init(r25434);
        mpfr_init(r25435);
        mpfr_init(r25436);
        mpfr_init(r25437);
        mpfr_init_set_str(r25438, "20", 10, MPFR_RNDN);
        mpfr_init(r25439);
        mpfr_init(r25440);
        mpfr_init(r25441);
        mpfr_init(r25442);
        mpfr_init(r25443);
        mpfr_init(r25444);
        mpfr_init(r25445);
        mpfr_init(r25446);
        mpfr_init(r25447);
        mpfr_init(r25448);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25417, r25416, r25416, MPFR_RNDN);
        mpfr_mul(r25418, r25417, r25416, MPFR_RNDN);
        mpfr_mul(r25419, r25418, r25416, MPFR_RNDN);
        mpfr_mul(r25420, r25419, r25416, MPFR_RNDN);
        mpfr_mul(r25421, r25420, r25416, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25425, r25424, r25416, MPFR_RNDN);
        mpfr_mul(r25426, r25425, r25416, MPFR_RNDN);
        mpfr_mul(r25427, r25426, r25416, MPFR_RNDN);
        mpfr_mul(r25428, r25427, r25416, MPFR_RNDN);
        mpfr_mul(r25429, r25428, r25416, MPFR_RNDN);
        mpfr_add(r25430, r25421, r25429, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25433, r25432, r25416, MPFR_RNDN);
        mpfr_mul(r25434, r25433, r25416, MPFR_RNDN);
        mpfr_mul(r25435, r25434, r25416, MPFR_RNDN);
        mpfr_mul(r25436, r25435, r25416, MPFR_RNDN);
        mpfr_add(r25437, r25430, r25436, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25440, r25439, r25416, MPFR_RNDN);
        mpfr_mul(r25441, r25440, r25416, MPFR_RNDN);
        mpfr_mul(r25442, r25441, r25416, MPFR_RNDN);
        mpfr_add(r25443, r25437, r25442, MPFR_RNDN);
        mpfr_add(r25444, r25443, r25434, MPFR_RNDN);
        mpfr_add(r25445, r25444, r25425, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25447, r25445, r25446, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25448, MPFR_RNDN);
}

static mpfr_t r25449, r25450, r25451, r25452, r25453, r25454, r25455, r25456, r25457, r25458, r25459, r25460, r25461, r25462, r25463, r25464, r25465, r25466, r25467, r25468, r25469, r25470, r25471, r25472, r25473, r25474, r25475, r25476, r25477, r25478, r25479, r25480, r25481, r25482, r25483;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25449, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25450, "1", 10, MPFR_RNDN);
        mpfr_init(r25451);
        mpfr_init(r25452);
        mpfr_init(r25453);
        mpfr_init(r25454);
        mpfr_init(r25455);
        mpfr_init(r25456);
        mpfr_init_set_str(r25457, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25458, "0", 10, MPFR_RNDN);
        mpfr_init(r25459);
        mpfr_init(r25460);
        mpfr_init(r25461);
        mpfr_init(r25462);
        mpfr_init(r25463);
        mpfr_init(r25464);
        mpfr_init(r25465);
        mpfr_init_set_str(r25466, "15", 10, MPFR_RNDN);
        mpfr_init(r25467);
        mpfr_init(r25468);
        mpfr_init(r25469);
        mpfr_init(r25470);
        mpfr_init(r25471);
        mpfr_init(r25472);
        mpfr_init_set_str(r25473, "20", 10, MPFR_RNDN);
        mpfr_init(r25474);
        mpfr_init(r25475);
        mpfr_init(r25476);
        mpfr_init(r25477);
        mpfr_init(r25478);
        mpfr_init(r25479);
        mpfr_init(r25480);
        mpfr_init(r25481);
        mpfr_init(r25482);
        mpfr_init(r25483);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25452, r25451, r25451, MPFR_RNDN);
        mpfr_mul(r25453, r25452, r25451, MPFR_RNDN);
        mpfr_mul(r25454, r25453, r25451, MPFR_RNDN);
        mpfr_mul(r25455, r25454, r25451, MPFR_RNDN);
        mpfr_mul(r25456, r25455, r25451, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25460, r25459, r25451, MPFR_RNDN);
        mpfr_mul(r25461, r25460, r25451, MPFR_RNDN);
        mpfr_mul(r25462, r25461, r25451, MPFR_RNDN);
        mpfr_mul(r25463, r25462, r25451, MPFR_RNDN);
        mpfr_mul(r25464, r25463, r25451, MPFR_RNDN);
        mpfr_add(r25465, r25456, r25464, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25468, r25467, r25451, MPFR_RNDN);
        mpfr_mul(r25469, r25468, r25451, MPFR_RNDN);
        mpfr_mul(r25470, r25469, r25451, MPFR_RNDN);
        mpfr_mul(r25471, r25470, r25451, MPFR_RNDN);
        mpfr_add(r25472, r25465, r25471, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25475, r25474, r25451, MPFR_RNDN);
        mpfr_mul(r25476, r25475, r25451, MPFR_RNDN);
        mpfr_mul(r25477, r25476, r25451, MPFR_RNDN);
        mpfr_add(r25478, r25472, r25477, MPFR_RNDN);
        mpfr_add(r25479, r25478, r25469, MPFR_RNDN);
        mpfr_add(r25480, r25479, r25460, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25482, r25480, r25481, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25483, MPFR_RNDN);
}