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

char *name = "3.9.2 real part (p56)";

double f_if() {
        float r7992 = 1.0f;
        float r7993 = -r7992;
        float r7994 = 2.0f;
        float r7995 = r7993 / r7994;
        float r7996 = 3.0f;
        float r7997 = sqrt(r7996);
        float r7998 = r7997 / r7994;
        float r7999 = /* ERROR: no complex support in C */;
        float r8000 = r7999 * r7999;
        float r8001 = r8000 * r7999;
        float r8002 = r8001 * r7999;
        float r8003 = -r7994;
        float r8004 = 0.0f;
        float r8005 = /* ERROR: no complex support in C */;
        float r8006 = r8005 * r7999;
        float r8007 = r8006 * r7999;
        float r8008 = r8007 * r7999;
        float r8009 = r8002 + r8008;
        float r8010 = 5.0f;
        float r8011 = /* ERROR: no complex support in C */;
        float r8012 = r8011 * r7999;
        float r8013 = r8012 * r7999;
        float r8014 = r8009 + r8013;
        float r8015 = 4.0f;
        float r8016 = /* ERROR: no complex support in C */;
        float r8017 = r8016 * r7999;
        float r8018 = r8014 + r8017;
        float r8019 = 7.0f;
        float r8020 = /* ERROR: no complex support in C */;
        float r8021 = r8018 + r8020;
        float r8022 = /* ERROR: no complex support in C */;
        return r8022;
}

double f_id() {
        double r8023 = 1.0;
        double r8024 = -r8023;
        double r8025 = 2.0;
        double r8026 = r8024 / r8025;
        double r8027 = 3.0;
        double r8028 = sqrt(r8027);
        double r8029 = r8028 / r8025;
        double r8030 = /* ERROR: no complex support in C */;
        double r8031 = r8030 * r8030;
        double r8032 = r8031 * r8030;
        double r8033 = r8032 * r8030;
        double r8034 = -r8025;
        double r8035 = 0.0;
        double r8036 = /* ERROR: no complex support in C */;
        double r8037 = r8036 * r8030;
        double r8038 = r8037 * r8030;
        double r8039 = r8038 * r8030;
        double r8040 = r8033 + r8039;
        double r8041 = 5.0;
        double r8042 = /* ERROR: no complex support in C */;
        double r8043 = r8042 * r8030;
        double r8044 = r8043 * r8030;
        double r8045 = r8040 + r8044;
        double r8046 = 4.0;
        double r8047 = /* ERROR: no complex support in C */;
        double r8048 = r8047 * r8030;
        double r8049 = r8045 + r8048;
        double r8050 = 7.0;
        double r8051 = /* ERROR: no complex support in C */;
        double r8052 = r8049 + r8051;
        double r8053 = /* ERROR: no complex support in C */;
        return r8053;
}


double f_of() {
        float r8054 = 1.0f;
        float r8055 = -r8054;
        float r8056 = 2.0f;
        float r8057 = r8055 / r8056;
        float r8058 = 3.0f;
        float r8059 = sqrt(r8058);
        float r8060 = r8059 / r8056;
        float r8061 = /* ERROR: no complex support in C */;
        float r8062 = r8061 * r8061;
        float r8063 = r8062 * r8061;
        float r8064 = r8061 * r8063;
        float r8065 = -r8056;
        float r8066 = 0.0f;
        float r8067 = /* ERROR: no complex support in C */;
        float r8068 = r8067 * r8061;
        float r8069 = r8061 * r8068;
        float r8070 = r8061 * r8069;
        float r8071 = r8064 + r8070;
        float r8072 = 5.0f;
        float r8073 = /* ERROR: no complex support in C */;
        float r8074 = r8073 * r8061;
        float r8075 = r8074 * r8061;
        float r8076 = r8071 + r8075;
        float r8077 = 4.0f;
        float r8078 = /* ERROR: no complex support in C */;
        float r8079 = r8061 * r8078;
        float r8080 = r8076 + r8079;
        float r8081 = 7.0f;
        float r8082 = /* ERROR: no complex support in C */;
        float r8083 = r8080 + r8082;
        float r8084 = /* ERROR: no complex support in C */;
        return r8084;
}

double f_od() {
        double r8085 = 1.0;
        double r8086 = -r8085;
        double r8087 = 2.0;
        double r8088 = r8086 / r8087;
        double r8089 = 3.0;
        double r8090 = sqrt(r8089);
        double r8091 = r8090 / r8087;
        double r8092 = /* ERROR: no complex support in C */;
        double r8093 = r8092 * r8092;
        double r8094 = r8093 * r8092;
        double r8095 = r8092 * r8094;
        double r8096 = -r8087;
        double r8097 = 0.0;
        double r8098 = /* ERROR: no complex support in C */;
        double r8099 = r8098 * r8092;
        double r8100 = r8092 * r8099;
        double r8101 = r8092 * r8100;
        double r8102 = r8095 + r8101;
        double r8103 = 5.0;
        double r8104 = /* ERROR: no complex support in C */;
        double r8105 = r8104 * r8092;
        double r8106 = r8105 * r8092;
        double r8107 = r8102 + r8106;
        double r8108 = 4.0;
        double r8109 = /* ERROR: no complex support in C */;
        double r8110 = r8092 * r8109;
        double r8111 = r8107 + r8110;
        double r8112 = 7.0;
        double r8113 = /* ERROR: no complex support in C */;
        double r8114 = r8111 + r8113;
        double r8115 = /* ERROR: no complex support in C */;
        return r8115;
}

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 r8116, r8117, r8118, r8119, r8120, r8121, r8122, r8123, r8124, r8125, r8126, r8127, r8128, r8129, r8130, r8131, r8132, r8133, r8134, r8135, r8136, r8137, r8138, r8139, r8140, r8141, r8142, r8143, r8144, r8145, r8146;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r8116, "1", 10, MPFR_RNDN);
        mpfr_init(r8117);
        mpfr_init_set_str(r8118, "2", 10, MPFR_RNDN);
        mpfr_init(r8119);
        mpfr_init_set_str(r8120, "3", 10, MPFR_RNDN);
        mpfr_init(r8121);
        mpfr_init(r8122);
        mpfr_init(r8123);
        mpfr_init(r8124);
        mpfr_init(r8125);
        mpfr_init(r8126);
        mpfr_init(r8127);
        mpfr_init_set_str(r8128, "0", 10, MPFR_RNDN);
        mpfr_init(r8129);
        mpfr_init(r8130);
        mpfr_init(r8131);
        mpfr_init(r8132);
        mpfr_init(r8133);
        mpfr_init_set_str(r8134, "5", 10, MPFR_RNDN);
        mpfr_init(r8135);
        mpfr_init(r8136);
        mpfr_init(r8137);
        mpfr_init(r8138);
        mpfr_init_set_str(r8139, "4", 10, MPFR_RNDN);
        mpfr_init(r8140);
        mpfr_init(r8141);
        mpfr_init(r8142);
        mpfr_init_set_str(r8143, "7", 10, MPFR_RNDN);
        mpfr_init(r8144);
        mpfr_init(r8145);
        mpfr_init(r8146);
}

double f_im() {
        ;
        mpfr_neg(r8117, r8116, MPFR_RNDN);
        ;
        mpfr_div(r8119, r8117, r8118, MPFR_RNDN);
        ;
        mpfr_sqrt(r8121, r8120, MPFR_RNDN);
        mpfr_div(r8122, r8121, r8118, 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(r8127, r8118, 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 */;
        /* 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(r8146, MPFR_RNDN);
}

static mpfr_t r8147, r8148, r8149, r8150, r8151, r8152, r8153, r8154, r8155, r8156, r8157, r8158, r8159, r8160, r8161, r8162, r8163, r8164, r8165, r8166, r8167, r8168, r8169, r8170, r8171, r8172, r8173, r8174, r8175, r8176, r8177;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r8147, "1", 10, MPFR_RNDN);
        mpfr_init(r8148);
        mpfr_init_set_str(r8149, "2", 10, MPFR_RNDN);
        mpfr_init(r8150);
        mpfr_init_set_str(r8151, "3", 10, MPFR_RNDN);
        mpfr_init(r8152);
        mpfr_init(r8153);
        mpfr_init(r8154);
        mpfr_init(r8155);
        mpfr_init(r8156);
        mpfr_init(r8157);
        mpfr_init(r8158);
        mpfr_init_set_str(r8159, "0", 10, MPFR_RNDN);
        mpfr_init(r8160);
        mpfr_init(r8161);
        mpfr_init(r8162);
        mpfr_init(r8163);
        mpfr_init(r8164);
        mpfr_init_set_str(r8165, "5", 10, MPFR_RNDN);
        mpfr_init(r8166);
        mpfr_init(r8167);
        mpfr_init(r8168);
        mpfr_init(r8169);
        mpfr_init_set_str(r8170, "4", 10, MPFR_RNDN);
        mpfr_init(r8171);
        mpfr_init(r8172);
        mpfr_init(r8173);
        mpfr_init_set_str(r8174, "7", 10, MPFR_RNDN);
        mpfr_init(r8175);
        mpfr_init(r8176);
        mpfr_init(r8177);
}

double f_fm() {
        ;
        mpfr_neg(r8148, r8147, MPFR_RNDN);
        ;
        mpfr_div(r8150, r8148, r8149, MPFR_RNDN);
        ;
        mpfr_sqrt(r8152, r8151, MPFR_RNDN);
        mpfr_div(r8153, r8152, r8149, 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(r8158, r8149, 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 */;
        /* 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(r8177, MPFR_RNDN);
}

static mpfr_t r8178, r8179, r8180, r8181, r8182, r8183, r8184, r8185, r8186, r8187, r8188, r8189, r8190, r8191, r8192, r8193, r8194, r8195, r8196, r8197, r8198, r8199, r8200, r8201, r8202, r8203, r8204, r8205, r8206, r8207, r8208;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r8178, "1", 10, MPFR_RNDN);
        mpfr_init(r8179);
        mpfr_init_set_str(r8180, "2", 10, MPFR_RNDN);
        mpfr_init(r8181);
        mpfr_init_set_str(r8182, "3", 10, MPFR_RNDN);
        mpfr_init(r8183);
        mpfr_init(r8184);
        mpfr_init(r8185);
        mpfr_init(r8186);
        mpfr_init(r8187);
        mpfr_init(r8188);
        mpfr_init(r8189);
        mpfr_init_set_str(r8190, "0", 10, MPFR_RNDN);
        mpfr_init(r8191);
        mpfr_init(r8192);
        mpfr_init(r8193);
        mpfr_init(r8194);
        mpfr_init(r8195);
        mpfr_init_set_str(r8196, "5", 10, MPFR_RNDN);
        mpfr_init(r8197);
        mpfr_init(r8198);
        mpfr_init(r8199);
        mpfr_init(r8200);
        mpfr_init_set_str(r8201, "4", 10, MPFR_RNDN);
        mpfr_init(r8202);
        mpfr_init(r8203);
        mpfr_init(r8204);
        mpfr_init_set_str(r8205, "7", 10, MPFR_RNDN);
        mpfr_init(r8206);
        mpfr_init(r8207);
        mpfr_init(r8208);
}

double f_dm() {
        ;
        mpfr_neg(r8179, r8178, MPFR_RNDN);
        ;
        mpfr_div(r8181, r8179, r8180, MPFR_RNDN);
        ;
        mpfr_sqrt(r8183, r8182, MPFR_RNDN);
        mpfr_div(r8184, r8183, r8180, 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(r8189, r8180, 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 */;
        /* 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(r8208, MPFR_RNDN);
}