#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 r8423 = -1.0f;
        float r8424 = 1.0f;
        float r8425 = /* ERROR: no complex support in C */;
        float r8426 = r8425 * r8425;
        float r8427 = r8426 * r8425;
        float r8428 = r8427 * r8425;
        float r8429 = r8428 * r8425;
        float r8430 = r8429 * r8425;
        float r8431 = 6.0f;
        float r8432 = 0.0f;
        float r8433 = /* ERROR: no complex support in C */;
        float r8434 = r8433 * r8425;
        float r8435 = r8434 * r8425;
        float r8436 = r8435 * r8425;
        float r8437 = r8436 * r8425;
        float r8438 = r8437 * r8425;
        float r8439 = r8430 + r8438;
        float r8440 = 15.0f;
        float r8441 = /* ERROR: no complex support in C */;
        float r8442 = r8441 * r8425;
        float r8443 = r8442 * r8425;
        float r8444 = r8443 * r8425;
        float r8445 = r8444 * r8425;
        float r8446 = r8439 + r8445;
        float r8447 = 20.0f;
        float r8448 = /* ERROR: no complex support in C */;
        float r8449 = r8448 * r8425;
        float r8450 = r8449 * r8425;
        float r8451 = r8450 * r8425;
        float r8452 = r8446 + r8451;
        float r8453 = r8452 + r8443;
        float r8454 = r8453 + r8434;
        float r8455 = /* ERROR: no complex support in C */;
        float r8456 = r8454 + r8455;
        float r8457 = /* ERROR: no complex support in C */;
        return r8457;
}

double f_id() {
        double r8458 = -1.0;
        double r8459 = 1.0;
        double r8460 = /* ERROR: no complex support in C */;
        double r8461 = r8460 * r8460;
        double r8462 = r8461 * r8460;
        double r8463 = r8462 * r8460;
        double r8464 = r8463 * r8460;
        double r8465 = r8464 * r8460;
        double r8466 = 6.0;
        double r8467 = 0.0;
        double r8468 = /* ERROR: no complex support in C */;
        double r8469 = r8468 * r8460;
        double r8470 = r8469 * r8460;
        double r8471 = r8470 * r8460;
        double r8472 = r8471 * r8460;
        double r8473 = r8472 * r8460;
        double r8474 = r8465 + r8473;
        double r8475 = 15.0;
        double r8476 = /* ERROR: no complex support in C */;
        double r8477 = r8476 * r8460;
        double r8478 = r8477 * r8460;
        double r8479 = r8478 * r8460;
        double r8480 = r8479 * r8460;
        double r8481 = r8474 + r8480;
        double r8482 = 20.0;
        double r8483 = /* ERROR: no complex support in C */;
        double r8484 = r8483 * r8460;
        double r8485 = r8484 * r8460;
        double r8486 = r8485 * r8460;
        double r8487 = r8481 + r8486;
        double r8488 = r8487 + r8478;
        double r8489 = r8488 + r8469;
        double r8490 = /* ERROR: no complex support in C */;
        double r8491 = r8489 + r8490;
        double r8492 = /* ERROR: no complex support in C */;
        return r8492;
}


double f_of() {
        float r8493 = 6.0f;
        float r8494 = 0.0f;
        float r8495 = /* ERROR: no complex support in C */;
        float r8496 = -1.0f;
        float r8497 = 1.0f;
        float r8498 = /* ERROR: no complex support in C */;
        float r8499 = r8495 * r8498;
        float r8500 = 15.0f;
        float r8501 = /* ERROR: no complex support in C */;
        float r8502 = r8498 * r8501;
        float r8503 = r8498 * r8502;
        float r8504 = 20.0f;
        float r8505 = /* ERROR: no complex support in C */;
        float r8506 = r8505 * r8498;
        float r8507 = r8498 * r8506;
        float r8508 = r8507 * r8498;
        float r8509 = r8498 * r8499;
        float r8510 = r8509 * r8498;
        float r8511 = r8498 * r8510;
        float r8512 = r8511 * r8498;
        float r8513 = r8498 * r8498;
        float r8514 = r8513 * r8498;
        float r8515 = r8498 * r8514;
        float r8516 = r8498 * r8515;
        float r8517 = r8516 * r8498;
        float r8518 = r8512 + r8517;
        float r8519 = r8498 * r8503;
        float r8520 = r8498 * r8519;
        float r8521 = r8518 + r8520;
        float r8522 = r8508 + r8521;
        float r8523 = r8503 + r8522;
        float r8524 = r8499 + r8523;
        float r8525 = /* ERROR: no complex support in C */;
        float r8526 = r8524 + r8525;
        float r8527 = /* ERROR: no complex support in C */;
        return r8527;
}

double f_od() {
        double r8528 = 6.0;
        double r8529 = 0.0;
        double r8530 = /* ERROR: no complex support in C */;
        double r8531 = -1.0;
        double r8532 = 1.0;
        double r8533 = /* ERROR: no complex support in C */;
        double r8534 = r8530 * r8533;
        double r8535 = 15.0;
        double r8536 = /* ERROR: no complex support in C */;
        double r8537 = r8533 * r8536;
        double r8538 = r8533 * r8537;
        double r8539 = 20.0;
        double r8540 = /* ERROR: no complex support in C */;
        double r8541 = r8540 * r8533;
        double r8542 = r8533 * r8541;
        double r8543 = r8542 * r8533;
        double r8544 = r8533 * r8534;
        double r8545 = r8544 * r8533;
        double r8546 = r8533 * r8545;
        double r8547 = r8546 * r8533;
        double r8548 = r8533 * r8533;
        double r8549 = r8548 * r8533;
        double r8550 = r8533 * r8549;
        double r8551 = r8533 * r8550;
        double r8552 = r8551 * r8533;
        double r8553 = r8547 + r8552;
        double r8554 = r8533 * r8538;
        double r8555 = r8533 * r8554;
        double r8556 = r8553 + r8555;
        double r8557 = r8543 + r8556;
        double r8558 = r8538 + r8557;
        double r8559 = r8534 + r8558;
        double r8560 = /* ERROR: no complex support in C */;
        double r8561 = r8559 + r8560;
        double r8562 = /* ERROR: no complex support in C */;
        return r8562;
}

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 r8563, r8564, r8565, r8566, r8567, r8568, r8569, r8570, r8571, r8572, r8573, r8574, r8575, r8576, r8577, r8578, r8579, r8580, r8581, r8582, r8583, r8584, r8585, r8586, r8587, r8588, r8589, r8590, r8591, r8592, r8593, r8594, r8595, r8596, r8597;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8563, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8564, "1", 10, MPFR_RNDN);
        mpfr_init(r8565);
        mpfr_init(r8566);
        mpfr_init(r8567);
        mpfr_init(r8568);
        mpfr_init(r8569);
        mpfr_init(r8570);
        mpfr_init_set_str(r8571, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8572, "0", 10, MPFR_RNDN);
        mpfr_init(r8573);
        mpfr_init(r8574);
        mpfr_init(r8575);
        mpfr_init(r8576);
        mpfr_init(r8577);
        mpfr_init(r8578);
        mpfr_init(r8579);
        mpfr_init_set_str(r8580, "15", 10, MPFR_RNDN);
        mpfr_init(r8581);
        mpfr_init(r8582);
        mpfr_init(r8583);
        mpfr_init(r8584);
        mpfr_init(r8585);
        mpfr_init(r8586);
        mpfr_init_set_str(r8587, "20", 10, MPFR_RNDN);
        mpfr_init(r8588);
        mpfr_init(r8589);
        mpfr_init(r8590);
        mpfr_init(r8591);
        mpfr_init(r8592);
        mpfr_init(r8593);
        mpfr_init(r8594);
        mpfr_init(r8595);
        mpfr_init(r8596);
        mpfr_init(r8597);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r8597, MPFR_RNDN);
}

static mpfr_t r8598, r8599, r8600, r8601, r8602, r8603, r8604, r8605, r8606, r8607, r8608, r8609, r8610, r8611, r8612, r8613, r8614, r8615, r8616, r8617, r8618, r8619, r8620, r8621, r8622, r8623, r8624, r8625, r8626, r8627, r8628, r8629, r8630, r8631, r8632;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8598, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8599, "0", 10, MPFR_RNDN);
        mpfr_init(r8600);
        mpfr_init_set_str(r8601, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8602, "1", 10, MPFR_RNDN);
        mpfr_init(r8603);
        mpfr_init(r8604);
        mpfr_init_set_str(r8605, "15", 10, MPFR_RNDN);
        mpfr_init(r8606);
        mpfr_init(r8607);
        mpfr_init(r8608);
        mpfr_init_set_str(r8609, "20", 10, MPFR_RNDN);
        mpfr_init(r8610);
        mpfr_init(r8611);
        mpfr_init(r8612);
        mpfr_init(r8613);
        mpfr_init(r8614);
        mpfr_init(r8615);
        mpfr_init(r8616);
        mpfr_init(r8617);
        mpfr_init(r8618);
        mpfr_init(r8619);
        mpfr_init(r8620);
        mpfr_init(r8621);
        mpfr_init(r8622);
        mpfr_init(r8623);
        mpfr_init(r8624);
        mpfr_init(r8625);
        mpfr_init(r8626);
        mpfr_init(r8627);
        mpfr_init(r8628);
        mpfr_init(r8629);
        mpfr_init(r8630);
        mpfr_init(r8631);
        mpfr_init(r8632);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        ;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r8632, MPFR_RNDN);
}

static mpfr_t r8633, r8634, r8635, r8636, r8637, r8638, r8639, r8640, r8641, r8642, r8643, r8644, r8645, r8646, r8647, r8648, r8649, r8650, r8651, r8652, r8653, r8654, r8655, r8656, r8657, r8658, r8659, r8660, r8661, r8662, r8663, r8664, r8665, r8666, r8667;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8633, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8634, "0", 10, MPFR_RNDN);
        mpfr_init(r8635);
        mpfr_init_set_str(r8636, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8637, "1", 10, MPFR_RNDN);
        mpfr_init(r8638);
        mpfr_init(r8639);
        mpfr_init_set_str(r8640, "15", 10, MPFR_RNDN);
        mpfr_init(r8641);
        mpfr_init(r8642);
        mpfr_init(r8643);
        mpfr_init_set_str(r8644, "20", 10, MPFR_RNDN);
        mpfr_init(r8645);
        mpfr_init(r8646);
        mpfr_init(r8647);
        mpfr_init(r8648);
        mpfr_init(r8649);
        mpfr_init(r8650);
        mpfr_init(r8651);
        mpfr_init(r8652);
        mpfr_init(r8653);
        mpfr_init(r8654);
        mpfr_init(r8655);
        mpfr_init(r8656);
        mpfr_init(r8657);
        mpfr_init(r8658);
        mpfr_init(r8659);
        mpfr_init(r8660);
        mpfr_init(r8661);
        mpfr_init(r8662);
        mpfr_init(r8663);
        mpfr_init(r8664);
        mpfr_init(r8665);
        mpfr_init(r8666);
        mpfr_init(r8667);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        ;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r8667, MPFR_RNDN);
}