#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 r8545 = -1.0f;
        float r8546 = 1.0f;
        float r8547 = /* ERROR: no complex support in C */;
        float r8548 = r8547 * r8547;
        float r8549 = r8548 * r8547;
        float r8550 = r8549 * r8547;
        float r8551 = r8550 * r8547;
        float r8552 = r8551 * r8547;
        float r8553 = 6.0f;
        float r8554 = 0.0f;
        float r8555 = /* ERROR: no complex support in C */;
        float r8556 = r8555 * r8547;
        float r8557 = r8556 * r8547;
        float r8558 = r8557 * r8547;
        float r8559 = r8558 * r8547;
        float r8560 = r8559 * r8547;
        float r8561 = r8552 + r8560;
        float r8562 = 15.0f;
        float r8563 = /* ERROR: no complex support in C */;
        float r8564 = r8563 * r8547;
        float r8565 = r8564 * r8547;
        float r8566 = r8565 * r8547;
        float r8567 = r8566 * r8547;
        float r8568 = r8561 + r8567;
        float r8569 = 20.0f;
        float r8570 = /* ERROR: no complex support in C */;
        float r8571 = r8570 * r8547;
        float r8572 = r8571 * r8547;
        float r8573 = r8572 * r8547;
        float r8574 = r8568 + r8573;
        float r8575 = r8574 + r8565;
        float r8576 = r8575 + r8556;
        float r8577 = /* ERROR: no complex support in C */;
        float r8578 = r8576 + r8577;
        float r8579 = /* ERROR: no complex support in C */;
        return r8579;
}

double f_id() {
        double r8580 = -1.0;
        double r8581 = 1.0;
        double r8582 = /* ERROR: no complex support in C */;
        double r8583 = r8582 * r8582;
        double r8584 = r8583 * r8582;
        double r8585 = r8584 * r8582;
        double r8586 = r8585 * r8582;
        double r8587 = r8586 * r8582;
        double r8588 = 6.0;
        double r8589 = 0.0;
        double r8590 = /* ERROR: no complex support in C */;
        double r8591 = r8590 * r8582;
        double r8592 = r8591 * r8582;
        double r8593 = r8592 * r8582;
        double r8594 = r8593 * r8582;
        double r8595 = r8594 * r8582;
        double r8596 = r8587 + r8595;
        double r8597 = 15.0;
        double r8598 = /* ERROR: no complex support in C */;
        double r8599 = r8598 * r8582;
        double r8600 = r8599 * r8582;
        double r8601 = r8600 * r8582;
        double r8602 = r8601 * r8582;
        double r8603 = r8596 + r8602;
        double r8604 = 20.0;
        double r8605 = /* ERROR: no complex support in C */;
        double r8606 = r8605 * r8582;
        double r8607 = r8606 * r8582;
        double r8608 = r8607 * r8582;
        double r8609 = r8603 + r8608;
        double r8610 = r8609 + r8600;
        double r8611 = r8610 + r8591;
        double r8612 = /* ERROR: no complex support in C */;
        double r8613 = r8611 + r8612;
        double r8614 = /* ERROR: no complex support in C */;
        return r8614;
}


double f_of() {
        float r8615 = -1.0f;
        float r8616 = 15.0f;
        float r8617 = -r8616;
        float r8618 = fma(r8615, r8617, r8617);
        float r8619 = r8616 + r8616;
        float r8620 = -r8619;
        float r8621 = /* ERROR: no complex support in C */;
        float r8622 = 20.0f;
        float r8623 = -r8622;
        float r8624 = r8623 + r8616;
        float r8625 = /* ERROR: no complex support in C */;
        float r8626 = r8621 + r8625;
        float r8627 = 1.0f;
        float r8628 = /* ERROR: no complex support in C */;
        float r8629 = r8628 * r8628;
        float r8630 = r8626 * r8629;
        float r8631 = r8629 * r8629;
        float r8632 = 6.0f;
        float r8633 = -r8632;
        float r8634 = /* ERROR: no complex support in C */;
        float r8635 = r8634 + r8629;
        float r8636 = r8631 * r8635;
        float r8637 = r8627 + r8633;
        float r8638 = /* ERROR: no complex support in C */;
        float r8639 = r8636 + r8638;
        float r8640 = r8630 + r8639;
        float r8641 = /* ERROR: no complex support in C */;
        return r8641;
}

double f_od() {
        double r8642 = -1.0;
        double r8643 = 15.0;
        double r8644 = -r8643;
        double r8645 = fma(r8642, r8644, r8644);
        double r8646 = r8643 + r8643;
        double r8647 = -r8646;
        double r8648 = /* ERROR: no complex support in C */;
        double r8649 = 20.0;
        double r8650 = -r8649;
        double r8651 = r8650 + r8643;
        double r8652 = /* ERROR: no complex support in C */;
        double r8653 = r8648 + r8652;
        double r8654 = 1.0;
        double r8655 = /* ERROR: no complex support in C */;
        double r8656 = r8655 * r8655;
        double r8657 = r8653 * r8656;
        double r8658 = r8656 * r8656;
        double r8659 = 6.0;
        double r8660 = -r8659;
        double r8661 = /* ERROR: no complex support in C */;
        double r8662 = r8661 + r8656;
        double r8663 = r8658 * r8662;
        double r8664 = r8654 + r8660;
        double r8665 = /* ERROR: no complex support in C */;
        double r8666 = r8663 + r8665;
        double r8667 = r8657 + r8666;
        double r8668 = /* ERROR: no complex support in C */;
        return r8668;
}

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 r8669, r8670, r8671, r8672, r8673, r8674, r8675, r8676, r8677, r8678, r8679, r8680, r8681, r8682, r8683, r8684, r8685, r8686, r8687, r8688, r8689, r8690, r8691, r8692, r8693, r8694, r8695, r8696, r8697, r8698, r8699, r8700, r8701, r8702, r8703;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8669, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8670, "1", 10, MPFR_RNDN);
        mpfr_init(r8671);
        mpfr_init(r8672);
        mpfr_init(r8673);
        mpfr_init(r8674);
        mpfr_init(r8675);
        mpfr_init(r8676);
        mpfr_init_set_str(r8677, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8678, "0", 10, MPFR_RNDN);
        mpfr_init(r8679);
        mpfr_init(r8680);
        mpfr_init(r8681);
        mpfr_init(r8682);
        mpfr_init(r8683);
        mpfr_init(r8684);
        mpfr_init(r8685);
        mpfr_init_set_str(r8686, "15", 10, MPFR_RNDN);
        mpfr_init(r8687);
        mpfr_init(r8688);
        mpfr_init(r8689);
        mpfr_init(r8690);
        mpfr_init(r8691);
        mpfr_init(r8692);
        mpfr_init_set_str(r8693, "20", 10, MPFR_RNDN);
        mpfr_init(r8694);
        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(r8703);
}

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

static mpfr_t r8704, r8705, r8706, r8707, r8708, r8709, r8710, r8711, r8712, r8713, r8714, r8715, r8716, r8717, r8718, r8719, r8720, r8721, r8722, r8723, r8724, r8725, r8726, r8727, r8728, r8729, r8730;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8704, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8705, "15", 10, MPFR_RNDN);
        mpfr_init(r8706);
        mpfr_init(r8707);
        mpfr_init(r8708);
        mpfr_init(r8709);
        mpfr_init(r8710);
        mpfr_init_set_str(r8711, "20", 10, MPFR_RNDN);
        mpfr_init(r8712);
        mpfr_init(r8713);
        mpfr_init(r8714);
        mpfr_init(r8715);
        mpfr_init_set_str(r8716, "1", 10, MPFR_RNDN);
        mpfr_init(r8717);
        mpfr_init(r8718);
        mpfr_init(r8719);
        mpfr_init(r8720);
        mpfr_init_set_str(r8721, "6", 10, MPFR_RNDN);
        mpfr_init(r8722);
        mpfr_init(r8723);
        mpfr_init(r8724);
        mpfr_init(r8725);
        mpfr_init(r8726);
        mpfr_init(r8727);
        mpfr_init(r8728);
        mpfr_init(r8729);
        mpfr_init(r8730);
}

double f_fm() {
        ;
        ;
        mpfr_neg(r8706, r8705, MPFR_RNDN);
        mpfr_fma(r8707, r8704, r8706, r8706, MPFR_RNDN);
        mpfr_add(r8708, r8705, r8705, MPFR_RNDN);
        mpfr_neg(r8709, r8708, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        ;
        mpfr_neg(r8712, r8711, MPFR_RNDN);
        mpfr_add(r8713, r8712, r8705, 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 */;
        ;
        mpfr_neg(r8722, r8721, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        mpfr_add(r8726, r8716, r8722, 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 */;
        return mpfr_get_d(r8730, MPFR_RNDN);
}

static mpfr_t r8731, r8732, r8733, r8734, r8735, r8736, r8737, r8738, r8739, r8740, r8741, r8742, r8743, r8744, r8745, r8746, r8747, r8748, r8749, r8750, r8751, r8752, r8753, r8754, r8755, r8756, r8757;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8731, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8732, "15", 10, MPFR_RNDN);
        mpfr_init(r8733);
        mpfr_init(r8734);
        mpfr_init(r8735);
        mpfr_init(r8736);
        mpfr_init(r8737);
        mpfr_init_set_str(r8738, "20", 10, MPFR_RNDN);
        mpfr_init(r8739);
        mpfr_init(r8740);
        mpfr_init(r8741);
        mpfr_init(r8742);
        mpfr_init_set_str(r8743, "1", 10, MPFR_RNDN);
        mpfr_init(r8744);
        mpfr_init(r8745);
        mpfr_init(r8746);
        mpfr_init(r8747);
        mpfr_init_set_str(r8748, "6", 10, MPFR_RNDN);
        mpfr_init(r8749);
        mpfr_init(r8750);
        mpfr_init(r8751);
        mpfr_init(r8752);
        mpfr_init(r8753);
        mpfr_init(r8754);
        mpfr_init(r8755);
        mpfr_init(r8756);
        mpfr_init(r8757);
}

double f_dm() {
        ;
        ;
        mpfr_neg(r8733, r8732, MPFR_RNDN);
        mpfr_fma(r8734, r8731, r8733, r8733, MPFR_RNDN);
        mpfr_add(r8735, r8732, r8732, MPFR_RNDN);
        mpfr_neg(r8736, r8735, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        ;
        mpfr_neg(r8739, r8738, MPFR_RNDN);
        mpfr_add(r8740, r8739, r8732, 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 */;
        ;
        mpfr_neg(r8749, r8748, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        /* ERROR: no complex support in C */;
        mpfr_add(r8753, r8743, r8749, 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 */;
        return mpfr_get_d(r8757, MPFR_RNDN);
}