#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 r8802 = -1;
        float r8803 = 1;
        float r8804 = /* ERROR: no complex support in C */;
        float r8805 = r8804 * r8804;
        float r8806 = r8805 * r8804;
        float r8807 = r8806 * r8804;
        float r8808 = r8807 * r8804;
        float r8809 = r8808 * r8804;
        float r8810 = 6;
        float r8811 = 0;
        float r8812 = /* ERROR: no complex support in C */;
        float r8813 = r8812 * r8804;
        float r8814 = r8813 * r8804;
        float r8815 = r8814 * r8804;
        float r8816 = r8815 * r8804;
        float r8817 = r8816 * r8804;
        float r8818 = r8809 + r8817;
        float r8819 = 15;
        float r8820 = /* ERROR: no complex support in C */;
        float r8821 = r8820 * r8804;
        float r8822 = r8821 * r8804;
        float r8823 = r8822 * r8804;
        float r8824 = r8823 * r8804;
        float r8825 = r8818 + r8824;
        float r8826 = 20;
        float r8827 = /* ERROR: no complex support in C */;
        float r8828 = r8827 * r8804;
        float r8829 = r8828 * r8804;
        float r8830 = r8829 * r8804;
        float r8831 = r8825 + r8830;
        float r8832 = r8831 + r8822;
        float r8833 = r8832 + r8813;
        float r8834 = /* ERROR: no complex support in C */;
        float r8835 = r8833 + r8834;
        float r8836 = /* ERROR: no complex support in C */;
        return r8836;
}

double f_id() {
        double r8837 = -1;
        double r8838 = 1;
        double r8839 = /* ERROR: no complex support in C */;
        double r8840 = r8839 * r8839;
        double r8841 = r8840 * r8839;
        double r8842 = r8841 * r8839;
        double r8843 = r8842 * r8839;
        double r8844 = r8843 * r8839;
        double r8845 = 6;
        double r8846 = 0;
        double r8847 = /* ERROR: no complex support in C */;
        double r8848 = r8847 * r8839;
        double r8849 = r8848 * r8839;
        double r8850 = r8849 * r8839;
        double r8851 = r8850 * r8839;
        double r8852 = r8851 * r8839;
        double r8853 = r8844 + r8852;
        double r8854 = 15;
        double r8855 = /* ERROR: no complex support in C */;
        double r8856 = r8855 * r8839;
        double r8857 = r8856 * r8839;
        double r8858 = r8857 * r8839;
        double r8859 = r8858 * r8839;
        double r8860 = r8853 + r8859;
        double r8861 = 20;
        double r8862 = /* ERROR: no complex support in C */;
        double r8863 = r8862 * r8839;
        double r8864 = r8863 * r8839;
        double r8865 = r8864 * r8839;
        double r8866 = r8860 + r8865;
        double r8867 = r8866 + r8857;
        double r8868 = r8867 + r8848;
        double r8869 = /* ERROR: no complex support in C */;
        double r8870 = r8868 + r8869;
        double r8871 = /* ERROR: no complex support in C */;
        return r8871;
}


double f_of() {
        float r8872 = -1;
        float r8873 = 1;
        float r8874 = /* ERROR: no complex support in C */;
        float r8875 = r8874 * r8874;
        float r8876 = r8875 * r8874;
        float r8877 = r8876 * r8874;
        float r8878 = r8877 * r8874;
        float r8879 = r8878 * r8874;
        float r8880 = 6;
        float r8881 = 0;
        float r8882 = /* ERROR: no complex support in C */;
        float r8883 = r8882 * r8874;
        float r8884 = r8883 * r8874;
        float r8885 = r8884 * r8874;
        float r8886 = r8885 * r8874;
        float r8887 = r8886 * r8874;
        float r8888 = r8879 + r8887;
        float r8889 = 15;
        float r8890 = /* ERROR: no complex support in C */;
        float r8891 = r8890 * r8874;
        float r8892 = r8891 * r8874;
        float r8893 = r8892 * r8874;
        float r8894 = r8893 * r8874;
        float r8895 = r8888 + r8894;
        float r8896 = 20;
        float r8897 = /* ERROR: no complex support in C */;
        float r8898 = r8897 * r8874;
        float r8899 = r8898 * r8874;
        float r8900 = r8899 * r8874;
        float r8901 = r8895 + r8900;
        float r8902 = r8901 + r8892;
        float r8903 = r8902 + r8883;
        float r8904 = /* ERROR: no complex support in C */;
        float r8905 = r8903 + r8904;
        float r8906 = /* ERROR: no complex support in C */;
        return r8906;
}

double f_od() {
        double r8907 = -1;
        double r8908 = 1;
        double r8909 = /* ERROR: no complex support in C */;
        double r8910 = r8909 * r8909;
        double r8911 = r8910 * r8909;
        double r8912 = r8911 * r8909;
        double r8913 = r8912 * r8909;
        double r8914 = r8913 * r8909;
        double r8915 = 6;
        double r8916 = 0;
        double r8917 = /* ERROR: no complex support in C */;
        double r8918 = r8917 * r8909;
        double r8919 = r8918 * r8909;
        double r8920 = r8919 * r8909;
        double r8921 = r8920 * r8909;
        double r8922 = r8921 * r8909;
        double r8923 = r8914 + r8922;
        double r8924 = 15;
        double r8925 = /* ERROR: no complex support in C */;
        double r8926 = r8925 * r8909;
        double r8927 = r8926 * r8909;
        double r8928 = r8927 * r8909;
        double r8929 = r8928 * r8909;
        double r8930 = r8923 + r8929;
        double r8931 = 20;
        double r8932 = /* ERROR: no complex support in C */;
        double r8933 = r8932 * r8909;
        double r8934 = r8933 * r8909;
        double r8935 = r8934 * r8909;
        double r8936 = r8930 + r8935;
        double r8937 = r8936 + r8927;
        double r8938 = r8937 + r8918;
        double r8939 = /* ERROR: no complex support in C */;
        double r8940 = r8938 + r8939;
        double r8941 = /* ERROR: no complex support in C */;
        return r8941;
}

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 r8942, r8943, r8944, r8945, r8946, r8947, r8948, r8949, r8950, r8951, r8952, r8953, r8954, r8955, r8956, r8957, r8958, r8959, r8960, r8961, r8962, r8963, r8964, r8965, r8966, r8967, r8968, r8969, r8970, r8971, r8972, r8973, r8974, r8975, r8976;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8942, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8943, "1", 10, MPFR_RNDN);
        mpfr_init(r8944);
        mpfr_init(r8945);
        mpfr_init(r8946);
        mpfr_init(r8947);
        mpfr_init(r8948);
        mpfr_init(r8949);
        mpfr_init_set_str(r8950, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8951, "0", 10, MPFR_RNDN);
        mpfr_init(r8952);
        mpfr_init(r8953);
        mpfr_init(r8954);
        mpfr_init(r8955);
        mpfr_init(r8956);
        mpfr_init(r8957);
        mpfr_init(r8958);
        mpfr_init_set_str(r8959, "15", 10, MPFR_RNDN);
        mpfr_init(r8960);
        mpfr_init(r8961);
        mpfr_init(r8962);
        mpfr_init(r8963);
        mpfr_init(r8964);
        mpfr_init(r8965);
        mpfr_init_set_str(r8966, "20", 10, MPFR_RNDN);
        mpfr_init(r8967);
        mpfr_init(r8968);
        mpfr_init(r8969);
        mpfr_init(r8970);
        mpfr_init(r8971);
        mpfr_init(r8972);
        mpfr_init(r8973);
        mpfr_init(r8974);
        mpfr_init(r8975);
        mpfr_init(r8976);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8945, r8944, r8944, MPFR_RNDN);
        mpfr_mul(r8946, r8945, r8944, MPFR_RNDN);
        mpfr_mul(r8947, r8946, r8944, MPFR_RNDN);
        mpfr_mul(r8948, r8947, r8944, MPFR_RNDN);
        mpfr_mul(r8949, r8948, r8944, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8953, r8952, r8944, MPFR_RNDN);
        mpfr_mul(r8954, r8953, r8944, MPFR_RNDN);
        mpfr_mul(r8955, r8954, r8944, MPFR_RNDN);
        mpfr_mul(r8956, r8955, r8944, MPFR_RNDN);
        mpfr_mul(r8957, r8956, r8944, MPFR_RNDN);
        mpfr_add(r8958, r8949, r8957, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8961, r8960, r8944, MPFR_RNDN);
        mpfr_mul(r8962, r8961, r8944, MPFR_RNDN);
        mpfr_mul(r8963, r8962, r8944, MPFR_RNDN);
        mpfr_mul(r8964, r8963, r8944, MPFR_RNDN);
        mpfr_add(r8965, r8958, r8964, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8968, r8967, r8944, MPFR_RNDN);
        mpfr_mul(r8969, r8968, r8944, MPFR_RNDN);
        mpfr_mul(r8970, r8969, r8944, MPFR_RNDN);
        mpfr_add(r8971, r8965, r8970, MPFR_RNDN);
        mpfr_add(r8972, r8971, r8962, MPFR_RNDN);
        mpfr_add(r8973, r8972, r8953, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r8975, r8973, r8974, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r8976, MPFR_RNDN);
}

static mpfr_t r8977, r8978, r8979, r8980, r8981, r8982, r8983, r8984, r8985, r8986, r8987, r8988, r8989, r8990, r8991, r8992, r8993, r8994, r8995, r8996, r8997, r8998, r8999, r9000, r9001, r9002, r9003, r9004, r9005, r9006, r9007, r9008, r9009, r9010, r9011;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8977, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8978, "1", 10, MPFR_RNDN);
        mpfr_init(r8979);
        mpfr_init(r8980);
        mpfr_init(r8981);
        mpfr_init(r8982);
        mpfr_init(r8983);
        mpfr_init(r8984);
        mpfr_init_set_str(r8985, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8986, "0", 10, MPFR_RNDN);
        mpfr_init(r8987);
        mpfr_init(r8988);
        mpfr_init(r8989);
        mpfr_init(r8990);
        mpfr_init(r8991);
        mpfr_init(r8992);
        mpfr_init(r8993);
        mpfr_init_set_str(r8994, "15", 10, MPFR_RNDN);
        mpfr_init(r8995);
        mpfr_init(r8996);
        mpfr_init(r8997);
        mpfr_init(r8998);
        mpfr_init(r8999);
        mpfr_init(r9000);
        mpfr_init_set_str(r9001, "20", 10, MPFR_RNDN);
        mpfr_init(r9002);
        mpfr_init(r9003);
        mpfr_init(r9004);
        mpfr_init(r9005);
        mpfr_init(r9006);
        mpfr_init(r9007);
        mpfr_init(r9008);
        mpfr_init(r9009);
        mpfr_init(r9010);
        mpfr_init(r9011);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8980, r8979, r8979, MPFR_RNDN);
        mpfr_mul(r8981, r8980, r8979, MPFR_RNDN);
        mpfr_mul(r8982, r8981, r8979, MPFR_RNDN);
        mpfr_mul(r8983, r8982, r8979, MPFR_RNDN);
        mpfr_mul(r8984, r8983, r8979, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8988, r8987, r8979, MPFR_RNDN);
        mpfr_mul(r8989, r8988, r8979, MPFR_RNDN);
        mpfr_mul(r8990, r8989, r8979, MPFR_RNDN);
        mpfr_mul(r8991, r8990, r8979, MPFR_RNDN);
        mpfr_mul(r8992, r8991, r8979, MPFR_RNDN);
        mpfr_add(r8993, r8984, r8992, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8996, r8995, r8979, MPFR_RNDN);
        mpfr_mul(r8997, r8996, r8979, MPFR_RNDN);
        mpfr_mul(r8998, r8997, r8979, MPFR_RNDN);
        mpfr_mul(r8999, r8998, r8979, MPFR_RNDN);
        mpfr_add(r9000, r8993, r8999, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9003, r9002, r8979, MPFR_RNDN);
        mpfr_mul(r9004, r9003, r8979, MPFR_RNDN);
        mpfr_mul(r9005, r9004, r8979, MPFR_RNDN);
        mpfr_add(r9006, r9000, r9005, MPFR_RNDN);
        mpfr_add(r9007, r9006, r8997, MPFR_RNDN);
        mpfr_add(r9008, r9007, r8988, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9010, r9008, r9009, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9011, MPFR_RNDN);
}

static mpfr_t r9012, r9013, r9014, r9015, r9016, r9017, r9018, r9019, r9020, r9021, r9022, r9023, r9024, r9025, r9026, r9027, r9028, r9029, r9030, r9031, r9032, r9033, r9034, r9035, r9036, r9037, r9038, r9039, r9040, r9041, r9042, r9043, r9044, r9045, r9046;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9012, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9013, "1", 10, MPFR_RNDN);
        mpfr_init(r9014);
        mpfr_init(r9015);
        mpfr_init(r9016);
        mpfr_init(r9017);
        mpfr_init(r9018);
        mpfr_init(r9019);
        mpfr_init_set_str(r9020, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9021, "0", 10, MPFR_RNDN);
        mpfr_init(r9022);
        mpfr_init(r9023);
        mpfr_init(r9024);
        mpfr_init(r9025);
        mpfr_init(r9026);
        mpfr_init(r9027);
        mpfr_init(r9028);
        mpfr_init_set_str(r9029, "15", 10, MPFR_RNDN);
        mpfr_init(r9030);
        mpfr_init(r9031);
        mpfr_init(r9032);
        mpfr_init(r9033);
        mpfr_init(r9034);
        mpfr_init(r9035);
        mpfr_init_set_str(r9036, "20", 10, MPFR_RNDN);
        mpfr_init(r9037);
        mpfr_init(r9038);
        mpfr_init(r9039);
        mpfr_init(r9040);
        mpfr_init(r9041);
        mpfr_init(r9042);
        mpfr_init(r9043);
        mpfr_init(r9044);
        mpfr_init(r9045);
        mpfr_init(r9046);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9015, r9014, r9014, MPFR_RNDN);
        mpfr_mul(r9016, r9015, r9014, MPFR_RNDN);
        mpfr_mul(r9017, r9016, r9014, MPFR_RNDN);
        mpfr_mul(r9018, r9017, r9014, MPFR_RNDN);
        mpfr_mul(r9019, r9018, r9014, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9023, r9022, r9014, MPFR_RNDN);
        mpfr_mul(r9024, r9023, r9014, MPFR_RNDN);
        mpfr_mul(r9025, r9024, r9014, MPFR_RNDN);
        mpfr_mul(r9026, r9025, r9014, MPFR_RNDN);
        mpfr_mul(r9027, r9026, r9014, MPFR_RNDN);
        mpfr_add(r9028, r9019, r9027, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9031, r9030, r9014, MPFR_RNDN);
        mpfr_mul(r9032, r9031, r9014, MPFR_RNDN);
        mpfr_mul(r9033, r9032, r9014, MPFR_RNDN);
        mpfr_mul(r9034, r9033, r9014, MPFR_RNDN);
        mpfr_add(r9035, r9028, r9034, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9038, r9037, r9014, MPFR_RNDN);
        mpfr_mul(r9039, r9038, r9014, MPFR_RNDN);
        mpfr_mul(r9040, r9039, r9014, MPFR_RNDN);
        mpfr_add(r9041, r9035, r9040, MPFR_RNDN);
        mpfr_add(r9042, r9041, r9032, MPFR_RNDN);
        mpfr_add(r9043, r9042, r9023, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9045, r9043, r9044, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9046, MPFR_RNDN);
}