#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "3.9.1 imaginary part (p56)";

double f_if() {
        float r8668 = -1.0f;
        float r8669 = 1.0f;
        float r8670 = /* ERROR: no complex support in C */;
        float r8671 = r8670 * r8670;
        float r8672 = r8671 * r8670;
        float r8673 = r8672 * r8670;
        float r8674 = r8673 * r8670;
        float r8675 = r8674 * r8670;
        float r8676 = 6.0f;
        float r8677 = 0.0f;
        float r8678 = /* ERROR: no complex support in C */;
        float r8679 = r8678 * r8670;
        float r8680 = r8679 * r8670;
        float r8681 = r8680 * r8670;
        float r8682 = r8681 * r8670;
        float r8683 = r8682 * r8670;
        float r8684 = r8675 + r8683;
        float r8685 = 15.0f;
        float r8686 = /* ERROR: no complex support in C */;
        float r8687 = r8686 * r8670;
        float r8688 = r8687 * r8670;
        float r8689 = r8688 * r8670;
        float r8690 = r8689 * r8670;
        float r8691 = r8684 + r8690;
        float r8692 = 20.0f;
        float r8693 = /* ERROR: no complex support in C */;
        float r8694 = r8693 * r8670;
        float r8695 = r8694 * r8670;
        float r8696 = r8695 * r8670;
        float r8697 = r8691 + r8696;
        float r8698 = r8697 + r8688;
        float r8699 = r8698 + r8679;
        float r8700 = /* ERROR: no complex support in C */;
        float r8701 = r8699 + r8700;
        float r8702 = /* ERROR: no complex support in C */;
        return r8702;
}

double f_id() {
        double r8703 = -1.0;
        double r8704 = 1.0;
        double r8705 = /* ERROR: no complex support in C */;
        double r8706 = r8705 * r8705;
        double r8707 = r8706 * r8705;
        double r8708 = r8707 * r8705;
        double r8709 = r8708 * r8705;
        double r8710 = r8709 * r8705;
        double r8711 = 6.0;
        double r8712 = 0.0;
        double r8713 = /* ERROR: no complex support in C */;
        double r8714 = r8713 * r8705;
        double r8715 = r8714 * r8705;
        double r8716 = r8715 * r8705;
        double r8717 = r8716 * r8705;
        double r8718 = r8717 * r8705;
        double r8719 = r8710 + r8718;
        double r8720 = 15.0;
        double r8721 = /* ERROR: no complex support in C */;
        double r8722 = r8721 * r8705;
        double r8723 = r8722 * r8705;
        double r8724 = r8723 * r8705;
        double r8725 = r8724 * r8705;
        double r8726 = r8719 + r8725;
        double r8727 = 20.0;
        double r8728 = /* ERROR: no complex support in C */;
        double r8729 = r8728 * r8705;
        double r8730 = r8729 * r8705;
        double r8731 = r8730 * r8705;
        double r8732 = r8726 + r8731;
        double r8733 = r8732 + r8723;
        double r8734 = r8733 + r8714;
        double r8735 = /* ERROR: no complex support in C */;
        double r8736 = r8734 + r8735;
        double r8737 = /* ERROR: no complex support in C */;
        return r8737;
}


double f_of() {
        float r8738 = 6.0f;
        float r8739 = 0.0f;
        float r8740 = /* ERROR: no complex support in C */;
        float r8741 = -1.0f;
        float r8742 = 1.0f;
        float r8743 = /* ERROR: no complex support in C */;
        float r8744 = r8740 * r8743;
        float r8745 = 15.0f;
        float r8746 = /* ERROR: no complex support in C */;
        float r8747 = r8743 * r8746;
        float r8748 = r8743 * r8747;
        float r8749 = 20.0f;
        float r8750 = /* ERROR: no complex support in C */;
        float r8751 = r8750 * r8743;
        float r8752 = r8743 * r8751;
        float r8753 = r8752 * r8743;
        float r8754 = r8743 * r8744;
        float r8755 = r8754 * r8743;
        float r8756 = r8743 * r8755;
        float r8757 = r8756 * r8743;
        float r8758 = r8743 * r8743;
        float r8759 = r8758 * r8743;
        float r8760 = r8743 * r8759;
        float r8761 = r8743 * r8760;
        float r8762 = r8761 * r8743;
        float r8763 = r8757 + r8762;
        float r8764 = r8743 * r8748;
        float r8765 = r8743 * r8764;
        float r8766 = r8763 + r8765;
        float r8767 = r8753 + r8766;
        float r8768 = r8748 + r8767;
        float r8769 = r8744 + r8768;
        float r8770 = /* ERROR: no complex support in C */;
        float r8771 = r8769 + r8770;
        float r8772 = /* ERROR: no complex support in C */;
        return r8772;
}

double f_od() {
        double r8773 = 6.0;
        double r8774 = 0.0;
        double r8775 = /* ERROR: no complex support in C */;
        double r8776 = -1.0;
        double r8777 = 1.0;
        double r8778 = /* ERROR: no complex support in C */;
        double r8779 = r8775 * r8778;
        double r8780 = 15.0;
        double r8781 = /* ERROR: no complex support in C */;
        double r8782 = r8778 * r8781;
        double r8783 = r8778 * r8782;
        double r8784 = 20.0;
        double r8785 = /* ERROR: no complex support in C */;
        double r8786 = r8785 * r8778;
        double r8787 = r8778 * r8786;
        double r8788 = r8787 * r8778;
        double r8789 = r8778 * r8779;
        double r8790 = r8789 * r8778;
        double r8791 = r8778 * r8790;
        double r8792 = r8791 * r8778;
        double r8793 = r8778 * r8778;
        double r8794 = r8793 * r8778;
        double r8795 = r8778 * r8794;
        double r8796 = r8778 * r8795;
        double r8797 = r8796 * r8778;
        double r8798 = r8792 + r8797;
        double r8799 = r8778 * r8783;
        double r8800 = r8778 * r8799;
        double r8801 = r8798 + r8800;
        double r8802 = r8788 + r8801;
        double r8803 = r8783 + r8802;
        double r8804 = r8779 + r8803;
        double r8805 = /* ERROR: no complex support in C */;
        double r8806 = r8804 + r8805;
        double r8807 = /* ERROR: no complex support in C */;
        return r8807;
}

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 r8808, r8809, r8810, r8811, r8812, r8813, r8814, r8815, r8816, r8817, r8818, r8819, r8820, r8821, r8822, r8823, r8824, r8825, r8826, r8827, r8828, r8829, r8830, r8831, r8832, r8833, r8834, r8835, r8836, r8837, r8838, r8839, r8840, r8841, r8842;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8808, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8809, "1", 10, MPFR_RNDN);
        mpfr_init(r8810);
        mpfr_init(r8811);
        mpfr_init(r8812);
        mpfr_init(r8813);
        mpfr_init(r8814);
        mpfr_init(r8815);
        mpfr_init_set_str(r8816, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8817, "0", 10, MPFR_RNDN);
        mpfr_init(r8818);
        mpfr_init(r8819);
        mpfr_init(r8820);
        mpfr_init(r8821);
        mpfr_init(r8822);
        mpfr_init(r8823);
        mpfr_init(r8824);
        mpfr_init_set_str(r8825, "15", 10, MPFR_RNDN);
        mpfr_init(r8826);
        mpfr_init(r8827);
        mpfr_init(r8828);
        mpfr_init(r8829);
        mpfr_init(r8830);
        mpfr_init(r8831);
        mpfr_init_set_str(r8832, "20", 10, MPFR_RNDN);
        mpfr_init(r8833);
        mpfr_init(r8834);
        mpfr_init(r8835);
        mpfr_init(r8836);
        mpfr_init(r8837);
        mpfr_init(r8838);
        mpfr_init(r8839);
        mpfr_init(r8840);
        mpfr_init(r8841);
        mpfr_init(r8842);
}

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

static mpfr_t r8843, r8844, r8845, r8846, r8847, r8848, r8849, r8850, r8851, r8852, r8853, r8854, r8855, r8856, r8857, r8858, r8859, r8860, r8861, r8862, r8863, r8864, r8865, r8866, r8867, r8868, r8869, r8870, r8871, r8872, r8873, r8874, r8875, r8876, r8877;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8843, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8844, "0", 10, MPFR_RNDN);
        mpfr_init(r8845);
        mpfr_init_set_str(r8846, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8847, "1", 10, MPFR_RNDN);
        mpfr_init(r8848);
        mpfr_init(r8849);
        mpfr_init_set_str(r8850, "15", 10, MPFR_RNDN);
        mpfr_init(r8851);
        mpfr_init(r8852);
        mpfr_init(r8853);
        mpfr_init_set_str(r8854, "20", 10, MPFR_RNDN);
        mpfr_init(r8855);
        mpfr_init(r8856);
        mpfr_init(r8857);
        mpfr_init(r8858);
        mpfr_init(r8859);
        mpfr_init(r8860);
        mpfr_init(r8861);
        mpfr_init(r8862);
        mpfr_init(r8863);
        mpfr_init(r8864);
        mpfr_init(r8865);
        mpfr_init(r8866);
        mpfr_init(r8867);
        mpfr_init(r8868);
        mpfr_init(r8869);
        mpfr_init(r8870);
        mpfr_init(r8871);
        mpfr_init(r8872);
        mpfr_init(r8873);
        mpfr_init(r8874);
        mpfr_init(r8875);
        mpfr_init(r8876);
        mpfr_init(r8877);
}

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

static mpfr_t r8878, r8879, r8880, r8881, r8882, r8883, r8884, r8885, r8886, r8887, r8888, r8889, r8890, r8891, r8892, r8893, r8894, r8895, r8896, r8897, r8898, r8899, r8900, r8901, r8902, r8903, r8904, r8905, r8906, r8907, r8908, r8909, r8910, r8911, r8912;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8878, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8879, "0", 10, MPFR_RNDN);
        mpfr_init(r8880);
        mpfr_init_set_str(r8881, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8882, "1", 10, MPFR_RNDN);
        mpfr_init(r8883);
        mpfr_init(r8884);
        mpfr_init_set_str(r8885, "15", 10, MPFR_RNDN);
        mpfr_init(r8886);
        mpfr_init(r8887);
        mpfr_init(r8888);
        mpfr_init_set_str(r8889, "20", 10, MPFR_RNDN);
        mpfr_init(r8890);
        mpfr_init(r8891);
        mpfr_init(r8892);
        mpfr_init(r8893);
        mpfr_init(r8894);
        mpfr_init(r8895);
        mpfr_init(r8896);
        mpfr_init(r8897);
        mpfr_init(r8898);
        mpfr_init(r8899);
        mpfr_init(r8900);
        mpfr_init(r8901);
        mpfr_init(r8902);
        mpfr_init(r8903);
        mpfr_init(r8904);
        mpfr_init(r8905);
        mpfr_init(r8906);
        mpfr_init(r8907);
        mpfr_init(r8908);
        mpfr_init(r8909);
        mpfr_init(r8910);
        mpfr_init(r8911);
        mpfr_init(r8912);
}

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