#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 r8846 = -1;
        float r8847 = 1;
        float r8848 = /* ERROR: no complex support in C */;
        float r8849 = r8848 * r8848;
        float r8850 = r8849 * r8848;
        float r8851 = r8850 * r8848;
        float r8852 = r8851 * r8848;
        float r8853 = r8852 * r8848;
        float r8854 = 6;
        float r8855 = 0;
        float r8856 = /* ERROR: no complex support in C */;
        float r8857 = r8856 * r8848;
        float r8858 = r8857 * r8848;
        float r8859 = r8858 * r8848;
        float r8860 = r8859 * r8848;
        float r8861 = r8860 * r8848;
        float r8862 = r8853 + r8861;
        float r8863 = 15;
        float r8864 = /* ERROR: no complex support in C */;
        float r8865 = r8864 * r8848;
        float r8866 = r8865 * r8848;
        float r8867 = r8866 * r8848;
        float r8868 = r8867 * r8848;
        float r8869 = r8862 + r8868;
        float r8870 = 20;
        float r8871 = /* ERROR: no complex support in C */;
        float r8872 = r8871 * r8848;
        float r8873 = r8872 * r8848;
        float r8874 = r8873 * r8848;
        float r8875 = r8869 + r8874;
        float r8876 = r8875 + r8866;
        float r8877 = r8876 + r8857;
        float r8878 = /* ERROR: no complex support in C */;
        float r8879 = r8877 + r8878;
        float r8880 = /* ERROR: no complex support in C */;
        return r8880;
}

double f_id() {
        double r8881 = -1;
        double r8882 = 1;
        double r8883 = /* ERROR: no complex support in C */;
        double r8884 = r8883 * r8883;
        double r8885 = r8884 * r8883;
        double r8886 = r8885 * r8883;
        double r8887 = r8886 * r8883;
        double r8888 = r8887 * r8883;
        double r8889 = 6;
        double r8890 = 0;
        double r8891 = /* ERROR: no complex support in C */;
        double r8892 = r8891 * r8883;
        double r8893 = r8892 * r8883;
        double r8894 = r8893 * r8883;
        double r8895 = r8894 * r8883;
        double r8896 = r8895 * r8883;
        double r8897 = r8888 + r8896;
        double r8898 = 15;
        double r8899 = /* ERROR: no complex support in C */;
        double r8900 = r8899 * r8883;
        double r8901 = r8900 * r8883;
        double r8902 = r8901 * r8883;
        double r8903 = r8902 * r8883;
        double r8904 = r8897 + r8903;
        double r8905 = 20;
        double r8906 = /* ERROR: no complex support in C */;
        double r8907 = r8906 * r8883;
        double r8908 = r8907 * r8883;
        double r8909 = r8908 * r8883;
        double r8910 = r8904 + r8909;
        double r8911 = r8910 + r8901;
        double r8912 = r8911 + r8892;
        double r8913 = /* ERROR: no complex support in C */;
        double r8914 = r8912 + r8913;
        double r8915 = /* ERROR: no complex support in C */;
        return r8915;
}


double f_of() {
        float r8916 = -1;
        float r8917 = 1;
        float r8918 = /* ERROR: no complex support in C */;
        float r8919 = r8918 * r8918;
        float r8920 = r8919 * r8918;
        float r8921 = r8920 * r8918;
        float r8922 = r8921 * r8918;
        float r8923 = r8922 * r8918;
        float r8924 = 6;
        float r8925 = 0;
        float r8926 = /* ERROR: no complex support in C */;
        float r8927 = r8926 * r8918;
        float r8928 = r8927 * r8918;
        float r8929 = r8928 * r8918;
        float r8930 = r8929 * r8918;
        float r8931 = r8930 * r8918;
        float r8932 = r8923 + r8931;
        float r8933 = 15;
        float r8934 = /* ERROR: no complex support in C */;
        float r8935 = r8934 * r8918;
        float r8936 = r8935 * r8918;
        float r8937 = r8936 * r8918;
        float r8938 = r8937 * r8918;
        float r8939 = r8932 + r8938;
        float r8940 = 20;
        float r8941 = /* ERROR: no complex support in C */;
        float r8942 = r8941 * r8918;
        float r8943 = r8942 * r8918;
        float r8944 = r8943 * r8918;
        float r8945 = r8939 + r8944;
        float r8946 = r8945 + r8936;
        float r8947 = r8946 + r8927;
        float r8948 = /* ERROR: no complex support in C */;
        float r8949 = r8947 + r8948;
        float r8950 = /* ERROR: no complex support in C */;
        return r8950;
}

double f_od() {
        double r8951 = -1;
        double r8952 = 1;
        double r8953 = /* ERROR: no complex support in C */;
        double r8954 = r8953 * r8953;
        double r8955 = r8954 * r8953;
        double r8956 = r8955 * r8953;
        double r8957 = r8956 * r8953;
        double r8958 = r8957 * r8953;
        double r8959 = 6;
        double r8960 = 0;
        double r8961 = /* ERROR: no complex support in C */;
        double r8962 = r8961 * r8953;
        double r8963 = r8962 * r8953;
        double r8964 = r8963 * r8953;
        double r8965 = r8964 * r8953;
        double r8966 = r8965 * r8953;
        double r8967 = r8958 + r8966;
        double r8968 = 15;
        double r8969 = /* ERROR: no complex support in C */;
        double r8970 = r8969 * r8953;
        double r8971 = r8970 * r8953;
        double r8972 = r8971 * r8953;
        double r8973 = r8972 * r8953;
        double r8974 = r8967 + r8973;
        double r8975 = 20;
        double r8976 = /* ERROR: no complex support in C */;
        double r8977 = r8976 * r8953;
        double r8978 = r8977 * r8953;
        double r8979 = r8978 * r8953;
        double r8980 = r8974 + r8979;
        double r8981 = r8980 + r8971;
        double r8982 = r8981 + r8962;
        double r8983 = /* ERROR: no complex support in C */;
        double r8984 = r8982 + r8983;
        double r8985 = /* ERROR: no complex support in C */;
        return r8985;
}

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 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, r9012, r9013, r9014, r9015, r9016, r9017, r9018, r9019, r9020;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8986, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8987, "1", 10, MPFR_RNDN);
        mpfr_init(r8988);
        mpfr_init(r8989);
        mpfr_init(r8990);
        mpfr_init(r8991);
        mpfr_init(r8992);
        mpfr_init(r8993);
        mpfr_init_set_str(r8994, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r8995, "0", 10, MPFR_RNDN);
        mpfr_init(r8996);
        mpfr_init(r8997);
        mpfr_init(r8998);
        mpfr_init(r8999);
        mpfr_init(r9000);
        mpfr_init(r9001);
        mpfr_init(r9002);
        mpfr_init_set_str(r9003, "15", 10, MPFR_RNDN);
        mpfr_init(r9004);
        mpfr_init(r9005);
        mpfr_init(r9006);
        mpfr_init(r9007);
        mpfr_init(r9008);
        mpfr_init(r9009);
        mpfr_init_set_str(r9010, "20", 10, MPFR_RNDN);
        mpfr_init(r9011);
        mpfr_init(r9012);
        mpfr_init(r9013);
        mpfr_init(r9014);
        mpfr_init(r9015);
        mpfr_init(r9016);
        mpfr_init(r9017);
        mpfr_init(r9018);
        mpfr_init(r9019);
        mpfr_init(r9020);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8989, r8988, r8988, MPFR_RNDN);
        mpfr_mul(r8990, r8989, r8988, MPFR_RNDN);
        mpfr_mul(r8991, r8990, r8988, MPFR_RNDN);
        mpfr_mul(r8992, r8991, r8988, MPFR_RNDN);
        mpfr_mul(r8993, r8992, r8988, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8997, r8996, r8988, MPFR_RNDN);
        mpfr_mul(r8998, r8997, r8988, MPFR_RNDN);
        mpfr_mul(r8999, r8998, r8988, MPFR_RNDN);
        mpfr_mul(r9000, r8999, r8988, MPFR_RNDN);
        mpfr_mul(r9001, r9000, r8988, MPFR_RNDN);
        mpfr_add(r9002, r8993, r9001, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9005, r9004, r8988, MPFR_RNDN);
        mpfr_mul(r9006, r9005, r8988, MPFR_RNDN);
        mpfr_mul(r9007, r9006, r8988, MPFR_RNDN);
        mpfr_mul(r9008, r9007, r8988, MPFR_RNDN);
        mpfr_add(r9009, r9002, r9008, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9012, r9011, r8988, MPFR_RNDN);
        mpfr_mul(r9013, r9012, r8988, MPFR_RNDN);
        mpfr_mul(r9014, r9013, r8988, MPFR_RNDN);
        mpfr_add(r9015, r9009, r9014, MPFR_RNDN);
        mpfr_add(r9016, r9015, r9006, MPFR_RNDN);
        mpfr_add(r9017, r9016, r8997, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9019, r9017, r9018, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9020, MPFR_RNDN);
}

static mpfr_t 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, r9047, r9048, r9049, r9050, r9051, r9052, r9053, r9054, r9055;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9021, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9022, "1", 10, MPFR_RNDN);
        mpfr_init(r9023);
        mpfr_init(r9024);
        mpfr_init(r9025);
        mpfr_init(r9026);
        mpfr_init(r9027);
        mpfr_init(r9028);
        mpfr_init_set_str(r9029, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9030, "0", 10, MPFR_RNDN);
        mpfr_init(r9031);
        mpfr_init(r9032);
        mpfr_init(r9033);
        mpfr_init(r9034);
        mpfr_init(r9035);
        mpfr_init(r9036);
        mpfr_init(r9037);
        mpfr_init_set_str(r9038, "15", 10, MPFR_RNDN);
        mpfr_init(r9039);
        mpfr_init(r9040);
        mpfr_init(r9041);
        mpfr_init(r9042);
        mpfr_init(r9043);
        mpfr_init(r9044);
        mpfr_init_set_str(r9045, "20", 10, MPFR_RNDN);
        mpfr_init(r9046);
        mpfr_init(r9047);
        mpfr_init(r9048);
        mpfr_init(r9049);
        mpfr_init(r9050);
        mpfr_init(r9051);
        mpfr_init(r9052);
        mpfr_init(r9053);
        mpfr_init(r9054);
        mpfr_init(r9055);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9024, r9023, r9023, MPFR_RNDN);
        mpfr_mul(r9025, r9024, r9023, MPFR_RNDN);
        mpfr_mul(r9026, r9025, r9023, MPFR_RNDN);
        mpfr_mul(r9027, r9026, r9023, MPFR_RNDN);
        mpfr_mul(r9028, r9027, r9023, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9032, r9031, r9023, MPFR_RNDN);
        mpfr_mul(r9033, r9032, r9023, MPFR_RNDN);
        mpfr_mul(r9034, r9033, r9023, MPFR_RNDN);
        mpfr_mul(r9035, r9034, r9023, MPFR_RNDN);
        mpfr_mul(r9036, r9035, r9023, MPFR_RNDN);
        mpfr_add(r9037, r9028, r9036, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9040, r9039, r9023, MPFR_RNDN);
        mpfr_mul(r9041, r9040, r9023, MPFR_RNDN);
        mpfr_mul(r9042, r9041, r9023, MPFR_RNDN);
        mpfr_mul(r9043, r9042, r9023, MPFR_RNDN);
        mpfr_add(r9044, r9037, r9043, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9047, r9046, r9023, MPFR_RNDN);
        mpfr_mul(r9048, r9047, r9023, MPFR_RNDN);
        mpfr_mul(r9049, r9048, r9023, MPFR_RNDN);
        mpfr_add(r9050, r9044, r9049, MPFR_RNDN);
        mpfr_add(r9051, r9050, r9041, MPFR_RNDN);
        mpfr_add(r9052, r9051, r9032, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9054, r9052, r9053, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9055, MPFR_RNDN);
}

static mpfr_t r9056, r9057, r9058, r9059, r9060, r9061, r9062, r9063, r9064, r9065, r9066, r9067, r9068, r9069, r9070, r9071, r9072, r9073, r9074, r9075, r9076, r9077, r9078, r9079, r9080, r9081, r9082, r9083, r9084, r9085, r9086, r9087, r9088, r9089, r9090;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9056, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9057, "1", 10, MPFR_RNDN);
        mpfr_init(r9058);
        mpfr_init(r9059);
        mpfr_init(r9060);
        mpfr_init(r9061);
        mpfr_init(r9062);
        mpfr_init(r9063);
        mpfr_init_set_str(r9064, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9065, "0", 10, MPFR_RNDN);
        mpfr_init(r9066);
        mpfr_init(r9067);
        mpfr_init(r9068);
        mpfr_init(r9069);
        mpfr_init(r9070);
        mpfr_init(r9071);
        mpfr_init(r9072);
        mpfr_init_set_str(r9073, "15", 10, MPFR_RNDN);
        mpfr_init(r9074);
        mpfr_init(r9075);
        mpfr_init(r9076);
        mpfr_init(r9077);
        mpfr_init(r9078);
        mpfr_init(r9079);
        mpfr_init_set_str(r9080, "20", 10, MPFR_RNDN);
        mpfr_init(r9081);
        mpfr_init(r9082);
        mpfr_init(r9083);
        mpfr_init(r9084);
        mpfr_init(r9085);
        mpfr_init(r9086);
        mpfr_init(r9087);
        mpfr_init(r9088);
        mpfr_init(r9089);
        mpfr_init(r9090);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9059, r9058, r9058, MPFR_RNDN);
        mpfr_mul(r9060, r9059, r9058, MPFR_RNDN);
        mpfr_mul(r9061, r9060, r9058, MPFR_RNDN);
        mpfr_mul(r9062, r9061, r9058, MPFR_RNDN);
        mpfr_mul(r9063, r9062, r9058, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9067, r9066, r9058, MPFR_RNDN);
        mpfr_mul(r9068, r9067, r9058, MPFR_RNDN);
        mpfr_mul(r9069, r9068, r9058, MPFR_RNDN);
        mpfr_mul(r9070, r9069, r9058, MPFR_RNDN);
        mpfr_mul(r9071, r9070, r9058, MPFR_RNDN);
        mpfr_add(r9072, r9063, r9071, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9075, r9074, r9058, MPFR_RNDN);
        mpfr_mul(r9076, r9075, r9058, MPFR_RNDN);
        mpfr_mul(r9077, r9076, r9058, MPFR_RNDN);
        mpfr_mul(r9078, r9077, r9058, MPFR_RNDN);
        mpfr_add(r9079, r9072, r9078, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9082, r9081, r9058, MPFR_RNDN);
        mpfr_mul(r9083, r9082, r9058, MPFR_RNDN);
        mpfr_mul(r9084, r9083, r9058, MPFR_RNDN);
        mpfr_add(r9085, r9079, r9084, MPFR_RNDN);
        mpfr_add(r9086, r9085, r9076, MPFR_RNDN);
        mpfr_add(r9087, r9086, r9067, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9089, r9087, r9088, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9090, MPFR_RNDN);
}