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

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


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

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

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 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, r8598, r8599, r8600;

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

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(r8600, MPFR_RNDN);
}

static mpfr_t 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, r8633, r8634, r8635;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8601, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8602, "0", 10, MPFR_RNDN);
        mpfr_init(r8603);
        mpfr_init_set_str(r8604, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8605, "1", 10, MPFR_RNDN);
        mpfr_init(r8606);
        mpfr_init(r8607);
        mpfr_init_set_str(r8608, "15", 10, MPFR_RNDN);
        mpfr_init(r8609);
        mpfr_init(r8610);
        mpfr_init(r8611);
        mpfr_init_set_str(r8612, "20", 10, MPFR_RNDN);
        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);
        mpfr_init(r8633);
        mpfr_init(r8634);
        mpfr_init(r8635);
}

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(r8635, MPFR_RNDN);
}

static mpfr_t 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, r8668, r8669, r8670;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8636, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8637, "0", 10, MPFR_RNDN);
        mpfr_init(r8638);
        mpfr_init_set_str(r8639, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8640, "1", 10, MPFR_RNDN);
        mpfr_init(r8641);
        mpfr_init(r8642);
        mpfr_init_set_str(r8643, "15", 10, MPFR_RNDN);
        mpfr_init(r8644);
        mpfr_init(r8645);
        mpfr_init(r8646);
        mpfr_init_set_str(r8647, "20", 10, MPFR_RNDN);
        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);
        mpfr_init(r8668);
        mpfr_init(r8669);
        mpfr_init(r8670);
}

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(r8670, MPFR_RNDN);
}