#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 r8529 = -1.0f;
        float r8530 = 1.0f;
        float r8531 = /* ERROR: no complex support in C */;
        float r8532 = r8531 * r8531;
        float r8533 = r8532 * r8531;
        float r8534 = r8533 * r8531;
        float r8535 = r8534 * r8531;
        float r8536 = r8535 * r8531;
        float r8537 = 6.0f;
        float r8538 = 0.0f;
        float r8539 = /* ERROR: no complex support in C */;
        float r8540 = r8539 * r8531;
        float r8541 = r8540 * r8531;
        float r8542 = r8541 * r8531;
        float r8543 = r8542 * r8531;
        float r8544 = r8543 * r8531;
        float r8545 = r8536 + r8544;
        float r8546 = 15.0f;
        float r8547 = /* ERROR: no complex support in C */;
        float r8548 = r8547 * r8531;
        float r8549 = r8548 * r8531;
        float r8550 = r8549 * r8531;
        float r8551 = r8550 * r8531;
        float r8552 = r8545 + r8551;
        float r8553 = 20.0f;
        float r8554 = /* ERROR: no complex support in C */;
        float r8555 = r8554 * r8531;
        float r8556 = r8555 * r8531;
        float r8557 = r8556 * r8531;
        float r8558 = r8552 + r8557;
        float r8559 = r8558 + r8549;
        float r8560 = r8559 + r8540;
        float r8561 = /* ERROR: no complex support in C */;
        float r8562 = r8560 + r8561;
        float r8563 = /* ERROR: no complex support in C */;
        return r8563;
}

double f_id() {
        double r8564 = -1.0;
        double r8565 = 1.0;
        double r8566 = /* ERROR: no complex support in C */;
        double r8567 = r8566 * r8566;
        double r8568 = r8567 * r8566;
        double r8569 = r8568 * r8566;
        double r8570 = r8569 * r8566;
        double r8571 = r8570 * r8566;
        double r8572 = 6.0;
        double r8573 = 0.0;
        double r8574 = /* ERROR: no complex support in C */;
        double r8575 = r8574 * r8566;
        double r8576 = r8575 * r8566;
        double r8577 = r8576 * r8566;
        double r8578 = r8577 * r8566;
        double r8579 = r8578 * r8566;
        double r8580 = r8571 + r8579;
        double r8581 = 15.0;
        double r8582 = /* ERROR: no complex support in C */;
        double r8583 = r8582 * r8566;
        double r8584 = r8583 * r8566;
        double r8585 = r8584 * r8566;
        double r8586 = r8585 * r8566;
        double r8587 = r8580 + r8586;
        double r8588 = 20.0;
        double r8589 = /* ERROR: no complex support in C */;
        double r8590 = r8589 * r8566;
        double r8591 = r8590 * r8566;
        double r8592 = r8591 * r8566;
        double r8593 = r8587 + r8592;
        double r8594 = r8593 + r8584;
        double r8595 = r8594 + r8575;
        double r8596 = /* ERROR: no complex support in C */;
        double r8597 = r8595 + r8596;
        double r8598 = /* ERROR: no complex support in C */;
        return r8598;
}


double f_of() {
        float r8599 = 20.0f;
        float r8600 = -r8599;
        float r8601 = 15.0f;
        float r8602 = r8600 + r8601;
        float r8603 = /* ERROR: no complex support in C */;
        float r8604 = -1.0f;
        float r8605 = 1.0f;
        float r8606 = /* ERROR: no complex support in C */;
        float r8607 = r8606 * r8606;
        float r8608 = r8603 * r8607;
        float r8609 = 6.0f;
        float r8610 = -r8609;
        float r8611 = r8605 + r8610;
        float r8612 = /* ERROR: no complex support in C */;
        float r8613 = r8608 + r8612;
        float r8614 = r8607 * r8607;
        float r8615 = /* ERROR: no complex support in C */;
        float r8616 = r8615 + r8607;
        float r8617 = r8614 * r8616;
        float r8618 = 0.0f;
        float r8619 = /* ERROR: no complex support in C */;
        float r8620 = r8619 * r8614;
        float r8621 = r8617 + r8620;
        float r8622 = r8613 + r8621;
        float r8623 = /* ERROR: no complex support in C */;
        return r8623;
}

double f_od() {
        double r8624 = 20.0;
        double r8625 = -r8624;
        double r8626 = 15.0;
        double r8627 = r8625 + r8626;
        double r8628 = /* ERROR: no complex support in C */;
        double r8629 = -1.0;
        double r8630 = 1.0;
        double r8631 = /* ERROR: no complex support in C */;
        double r8632 = r8631 * r8631;
        double r8633 = r8628 * r8632;
        double r8634 = 6.0;
        double r8635 = -r8634;
        double r8636 = r8630 + r8635;
        double r8637 = /* ERROR: no complex support in C */;
        double r8638 = r8633 + r8637;
        double r8639 = r8632 * r8632;
        double r8640 = /* ERROR: no complex support in C */;
        double r8641 = r8640 + r8632;
        double r8642 = r8639 * r8641;
        double r8643 = 0.0;
        double r8644 = /* ERROR: no complex support in C */;
        double r8645 = r8644 * r8639;
        double r8646 = r8642 + r8645;
        double r8647 = r8638 + r8646;
        double r8648 = /* ERROR: no complex support in C */;
        return r8648;
}

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 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, r8680, r8681, r8682, r8683;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8649, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8650, "1", 10, MPFR_RNDN);
        mpfr_init(r8651);
        mpfr_init(r8652);
        mpfr_init(r8653);
        mpfr_init(r8654);
        mpfr_init(r8655);
        mpfr_init(r8656);
        mpfr_init_set_str(r8657, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8658, "0", 10, MPFR_RNDN);
        mpfr_init(r8659);
        mpfr_init(r8660);
        mpfr_init(r8661);
        mpfr_init(r8662);
        mpfr_init(r8663);
        mpfr_init(r8664);
        mpfr_init(r8665);
        mpfr_init_set_str(r8666, "15", 10, MPFR_RNDN);
        mpfr_init(r8667);
        mpfr_init(r8668);
        mpfr_init(r8669);
        mpfr_init(r8670);
        mpfr_init(r8671);
        mpfr_init(r8672);
        mpfr_init_set_str(r8673, "20", 10, MPFR_RNDN);
        mpfr_init(r8674);
        mpfr_init(r8675);
        mpfr_init(r8676);
        mpfr_init(r8677);
        mpfr_init(r8678);
        mpfr_init(r8679);
        mpfr_init(r8680);
        mpfr_init(r8681);
        mpfr_init(r8682);
        mpfr_init(r8683);
}

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

static mpfr_t r8684, r8685, r8686, r8687, r8688, r8689, r8690, r8691, r8692, r8693, r8694, r8695, r8696, r8697, r8698, r8699, r8700, r8701, r8702, r8703, r8704, r8705, r8706, r8707, r8708;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8684, "20", 10, MPFR_RNDN);
        mpfr_init(r8685);
        mpfr_init_set_str(r8686, "15", 10, MPFR_RNDN);
        mpfr_init(r8687);
        mpfr_init(r8688);
        mpfr_init_set_str(r8689, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8690, "1", 10, MPFR_RNDN);
        mpfr_init(r8691);
        mpfr_init(r8692);
        mpfr_init(r8693);
        mpfr_init_set_str(r8694, "6", 10, MPFR_RNDN);
        mpfr_init(r8695);
        mpfr_init(r8696);
        mpfr_init(r8697);
        mpfr_init(r8698);
        mpfr_init(r8699);
        mpfr_init(r8700);
        mpfr_init(r8701);
        mpfr_init(r8702);
        mpfr_init_set_str(r8703, "0", 10, MPFR_RNDN);
        mpfr_init(r8704);
        mpfr_init(r8705);
        mpfr_init(r8706);
        mpfr_init(r8707);
        mpfr_init(r8708);
}

double f_fm() {
        ;
        mpfr_neg(r8685, r8684, MPFR_RNDN);
        ;
        mpfr_add(r8687, r8685, r8686, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        ;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        mpfr_neg(r8695, r8694, MPFR_RNDN);
        mpfr_add(r8696, r8690, r8695, MPFR_RNDN);
        /* 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(r8708, MPFR_RNDN);
}

static mpfr_t r8709, r8710, r8711, r8712, r8713, r8714, r8715, r8716, r8717, r8718, r8719, r8720, r8721, r8722, r8723, r8724, r8725, r8726, r8727, r8728, r8729, r8730, r8731, r8732, r8733;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8709, "20", 10, MPFR_RNDN);
        mpfr_init(r8710);
        mpfr_init_set_str(r8711, "15", 10, MPFR_RNDN);
        mpfr_init(r8712);
        mpfr_init(r8713);
        mpfr_init_set_str(r8714, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8715, "1", 10, MPFR_RNDN);
        mpfr_init(r8716);
        mpfr_init(r8717);
        mpfr_init(r8718);
        mpfr_init_set_str(r8719, "6", 10, MPFR_RNDN);
        mpfr_init(r8720);
        mpfr_init(r8721);
        mpfr_init(r8722);
        mpfr_init(r8723);
        mpfr_init(r8724);
        mpfr_init(r8725);
        mpfr_init(r8726);
        mpfr_init(r8727);
        mpfr_init_set_str(r8728, "0", 10, MPFR_RNDN);
        mpfr_init(r8729);
        mpfr_init(r8730);
        mpfr_init(r8731);
        mpfr_init(r8732);
        mpfr_init(r8733);
}

double f_dm() {
        ;
        mpfr_neg(r8710, r8709, MPFR_RNDN);
        ;
        mpfr_add(r8712, r8710, r8711, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        ;
        ;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        ;
        mpfr_neg(r8720, r8719, MPFR_RNDN);
        mpfr_add(r8721, r8715, r8720, MPFR_RNDN);
        /* 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(r8733, MPFR_RNDN);
}