#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 r8435 = -1.0f;
        float r8436 = 1.0f;
        float r8437 = /* ERROR: no complex support in C */;
        float r8438 = r8437 * r8437;
        float r8439 = r8438 * r8437;
        float r8440 = r8439 * r8437;
        float r8441 = r8440 * r8437;
        float r8442 = r8441 * r8437;
        float r8443 = 6.0f;
        float r8444 = 0.0f;
        float r8445 = /* ERROR: no complex support in C */;
        float r8446 = r8445 * r8437;
        float r8447 = r8446 * r8437;
        float r8448 = r8447 * r8437;
        float r8449 = r8448 * r8437;
        float r8450 = r8449 * r8437;
        float r8451 = r8442 + r8450;
        float r8452 = 15.0f;
        float r8453 = /* ERROR: no complex support in C */;
        float r8454 = r8453 * r8437;
        float r8455 = r8454 * r8437;
        float r8456 = r8455 * r8437;
        float r8457 = r8456 * r8437;
        float r8458 = r8451 + r8457;
        float r8459 = 20.0f;
        float r8460 = /* ERROR: no complex support in C */;
        float r8461 = r8460 * r8437;
        float r8462 = r8461 * r8437;
        float r8463 = r8462 * r8437;
        float r8464 = r8458 + r8463;
        float r8465 = r8464 + r8455;
        float r8466 = r8465 + r8446;
        float r8467 = /* ERROR: no complex support in C */;
        float r8468 = r8466 + r8467;
        float r8469 = /* ERROR: no complex support in C */;
        return r8469;
}

double f_id() {
        double r8470 = -1.0;
        double r8471 = 1.0;
        double r8472 = /* ERROR: no complex support in C */;
        double r8473 = r8472 * r8472;
        double r8474 = r8473 * r8472;
        double r8475 = r8474 * r8472;
        double r8476 = r8475 * r8472;
        double r8477 = r8476 * r8472;
        double r8478 = 6.0;
        double r8479 = 0.0;
        double r8480 = /* ERROR: no complex support in C */;
        double r8481 = r8480 * r8472;
        double r8482 = r8481 * r8472;
        double r8483 = r8482 * r8472;
        double r8484 = r8483 * r8472;
        double r8485 = r8484 * r8472;
        double r8486 = r8477 + r8485;
        double r8487 = 15.0;
        double r8488 = /* ERROR: no complex support in C */;
        double r8489 = r8488 * r8472;
        double r8490 = r8489 * r8472;
        double r8491 = r8490 * r8472;
        double r8492 = r8491 * r8472;
        double r8493 = r8486 + r8492;
        double r8494 = 20.0;
        double r8495 = /* ERROR: no complex support in C */;
        double r8496 = r8495 * r8472;
        double r8497 = r8496 * r8472;
        double r8498 = r8497 * r8472;
        double r8499 = r8493 + r8498;
        double r8500 = r8499 + r8490;
        double r8501 = r8500 + r8481;
        double r8502 = /* ERROR: no complex support in C */;
        double r8503 = r8501 + r8502;
        double r8504 = /* ERROR: no complex support in C */;
        return r8504;
}


double f_of() {
        float r8505 = 6.0f;
        float r8506 = 0.0f;
        float r8507 = /* ERROR: no complex support in C */;
        float r8508 = -1.0f;
        float r8509 = 1.0f;
        float r8510 = /* ERROR: no complex support in C */;
        float r8511 = r8507 * r8510;
        float r8512 = 15.0f;
        float r8513 = /* ERROR: no complex support in C */;
        float r8514 = r8510 * r8513;
        float r8515 = r8510 * r8514;
        float r8516 = 20.0f;
        float r8517 = /* ERROR: no complex support in C */;
        float r8518 = r8517 * r8510;
        float r8519 = r8510 * r8518;
        float r8520 = r8519 * r8510;
        float r8521 = r8510 * r8511;
        float r8522 = r8521 * r8510;
        float r8523 = r8510 * r8522;
        float r8524 = r8523 * r8510;
        float r8525 = r8510 * r8510;
        float r8526 = r8525 * r8510;
        float r8527 = r8510 * r8526;
        float r8528 = r8510 * r8527;
        float r8529 = r8528 * r8510;
        float r8530 = r8524 + r8529;
        float r8531 = r8510 * r8515;
        float r8532 = r8510 * r8531;
        float r8533 = r8530 + r8532;
        float r8534 = r8520 + r8533;
        float r8535 = r8515 + r8534;
        float r8536 = r8511 + r8535;
        float r8537 = /* ERROR: no complex support in C */;
        float r8538 = r8536 + r8537;
        float r8539 = /* ERROR: no complex support in C */;
        return r8539;
}

double f_od() {
        double r8540 = 6.0;
        double r8541 = 0.0;
        double r8542 = /* ERROR: no complex support in C */;
        double r8543 = -1.0;
        double r8544 = 1.0;
        double r8545 = /* ERROR: no complex support in C */;
        double r8546 = r8542 * r8545;
        double r8547 = 15.0;
        double r8548 = /* ERROR: no complex support in C */;
        double r8549 = r8545 * r8548;
        double r8550 = r8545 * r8549;
        double r8551 = 20.0;
        double r8552 = /* ERROR: no complex support in C */;
        double r8553 = r8552 * r8545;
        double r8554 = r8545 * r8553;
        double r8555 = r8554 * r8545;
        double r8556 = r8545 * r8546;
        double r8557 = r8556 * r8545;
        double r8558 = r8545 * r8557;
        double r8559 = r8558 * r8545;
        double r8560 = r8545 * r8545;
        double r8561 = r8560 * r8545;
        double r8562 = r8545 * r8561;
        double r8563 = r8545 * r8562;
        double r8564 = r8563 * r8545;
        double r8565 = r8559 + r8564;
        double r8566 = r8545 * r8550;
        double r8567 = r8545 * r8566;
        double r8568 = r8565 + r8567;
        double r8569 = r8555 + r8568;
        double r8570 = r8550 + r8569;
        double r8571 = r8546 + r8570;
        double r8572 = /* ERROR: no complex support in C */;
        double r8573 = r8571 + r8572;
        double r8574 = /* ERROR: no complex support in C */;
        return r8574;
}

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 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, r8601, r8602, r8603, r8604, r8605, r8606, r8607, r8608, r8609;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8575, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8576, "1", 10, MPFR_RNDN);
        mpfr_init(r8577);
        mpfr_init(r8578);
        mpfr_init(r8579);
        mpfr_init(r8580);
        mpfr_init(r8581);
        mpfr_init(r8582);
        mpfr_init_set_str(r8583, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8584, "0", 10, MPFR_RNDN);
        mpfr_init(r8585);
        mpfr_init(r8586);
        mpfr_init(r8587);
        mpfr_init(r8588);
        mpfr_init(r8589);
        mpfr_init(r8590);
        mpfr_init(r8591);
        mpfr_init_set_str(r8592, "15", 10, MPFR_RNDN);
        mpfr_init(r8593);
        mpfr_init(r8594);
        mpfr_init(r8595);
        mpfr_init(r8596);
        mpfr_init(r8597);
        mpfr_init(r8598);
        mpfr_init_set_str(r8599, "20", 10, MPFR_RNDN);
        mpfr_init(r8600);
        mpfr_init(r8601);
        mpfr_init(r8602);
        mpfr_init(r8603);
        mpfr_init(r8604);
        mpfr_init(r8605);
        mpfr_init(r8606);
        mpfr_init(r8607);
        mpfr_init(r8608);
        mpfr_init(r8609);
}

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

static mpfr_t 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, r8636, r8637, r8638, r8639, r8640, r8641, r8642, r8643, r8644;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8610, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8611, "0", 10, MPFR_RNDN);
        mpfr_init(r8612);
        mpfr_init_set_str(r8613, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8614, "1", 10, MPFR_RNDN);
        mpfr_init(r8615);
        mpfr_init(r8616);
        mpfr_init_set_str(r8617, "15", 10, MPFR_RNDN);
        mpfr_init(r8618);
        mpfr_init(r8619);
        mpfr_init(r8620);
        mpfr_init_set_str(r8621, "20", 10, MPFR_RNDN);
        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);
        mpfr_init(r8636);
        mpfr_init(r8637);
        mpfr_init(r8638);
        mpfr_init(r8639);
        mpfr_init(r8640);
        mpfr_init(r8641);
        mpfr_init(r8642);
        mpfr_init(r8643);
        mpfr_init(r8644);
}

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

static mpfr_t 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, r8671, r8672, r8673, r8674, r8675, r8676, r8677, r8678, r8679;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8645, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8646, "0", 10, MPFR_RNDN);
        mpfr_init(r8647);
        mpfr_init_set_str(r8648, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8649, "1", 10, MPFR_RNDN);
        mpfr_init(r8650);
        mpfr_init(r8651);
        mpfr_init_set_str(r8652, "15", 10, MPFR_RNDN);
        mpfr_init(r8653);
        mpfr_init(r8654);
        mpfr_init(r8655);
        mpfr_init_set_str(r8656, "20", 10, MPFR_RNDN);
        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);
        mpfr_init(r8671);
        mpfr_init(r8672);
        mpfr_init(r8673);
        mpfr_init(r8674);
        mpfr_init(r8675);
        mpfr_init(r8676);
        mpfr_init(r8677);
        mpfr_init(r8678);
        mpfr_init(r8679);
}

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