#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 r9091 = -1;
        float r9092 = 1;
        float r9093 = /* ERROR: no complex support in C */;
        float r9094 = r9093 * r9093;
        float r9095 = r9094 * r9093;
        float r9096 = r9095 * r9093;
        float r9097 = r9096 * r9093;
        float r9098 = r9097 * r9093;
        float r9099 = 6;
        float r9100 = 0;
        float r9101 = /* ERROR: no complex support in C */;
        float r9102 = r9101 * r9093;
        float r9103 = r9102 * r9093;
        float r9104 = r9103 * r9093;
        float r9105 = r9104 * r9093;
        float r9106 = r9105 * r9093;
        float r9107 = r9098 + r9106;
        float r9108 = 15;
        float r9109 = /* ERROR: no complex support in C */;
        float r9110 = r9109 * r9093;
        float r9111 = r9110 * r9093;
        float r9112 = r9111 * r9093;
        float r9113 = r9112 * r9093;
        float r9114 = r9107 + r9113;
        float r9115 = 20;
        float r9116 = /* ERROR: no complex support in C */;
        float r9117 = r9116 * r9093;
        float r9118 = r9117 * r9093;
        float r9119 = r9118 * r9093;
        float r9120 = r9114 + r9119;
        float r9121 = r9120 + r9111;
        float r9122 = r9121 + r9102;
        float r9123 = /* ERROR: no complex support in C */;
        float r9124 = r9122 + r9123;
        float r9125 = /* ERROR: no complex support in C */;
        return r9125;
}

double f_id() {
        double r9126 = -1;
        double r9127 = 1;
        double r9128 = /* ERROR: no complex support in C */;
        double r9129 = r9128 * r9128;
        double r9130 = r9129 * r9128;
        double r9131 = r9130 * r9128;
        double r9132 = r9131 * r9128;
        double r9133 = r9132 * r9128;
        double r9134 = 6;
        double r9135 = 0;
        double r9136 = /* ERROR: no complex support in C */;
        double r9137 = r9136 * r9128;
        double r9138 = r9137 * r9128;
        double r9139 = r9138 * r9128;
        double r9140 = r9139 * r9128;
        double r9141 = r9140 * r9128;
        double r9142 = r9133 + r9141;
        double r9143 = 15;
        double r9144 = /* ERROR: no complex support in C */;
        double r9145 = r9144 * r9128;
        double r9146 = r9145 * r9128;
        double r9147 = r9146 * r9128;
        double r9148 = r9147 * r9128;
        double r9149 = r9142 + r9148;
        double r9150 = 20;
        double r9151 = /* ERROR: no complex support in C */;
        double r9152 = r9151 * r9128;
        double r9153 = r9152 * r9128;
        double r9154 = r9153 * r9128;
        double r9155 = r9149 + r9154;
        double r9156 = r9155 + r9146;
        double r9157 = r9156 + r9137;
        double r9158 = /* ERROR: no complex support in C */;
        double r9159 = r9157 + r9158;
        double r9160 = /* ERROR: no complex support in C */;
        return r9160;
}


double f_of() {
        float r9161 = -1;
        float r9162 = 1;
        float r9163 = /* ERROR: no complex support in C */;
        float r9164 = r9163 * r9163;
        float r9165 = r9164 * r9163;
        float r9166 = r9165 * r9163;
        float r9167 = r9166 * r9163;
        float r9168 = r9167 * r9163;
        float r9169 = 6;
        float r9170 = 0;
        float r9171 = /* ERROR: no complex support in C */;
        float r9172 = r9171 * r9163;
        float r9173 = r9172 * r9163;
        float r9174 = r9173 * r9163;
        float r9175 = r9174 * r9163;
        float r9176 = r9175 * r9163;
        float r9177 = r9168 + r9176;
        float r9178 = 15;
        float r9179 = /* ERROR: no complex support in C */;
        float r9180 = r9179 * r9163;
        float r9181 = r9180 * r9163;
        float r9182 = r9181 * r9163;
        float r9183 = r9182 * r9163;
        float r9184 = r9177 + r9183;
        float r9185 = 20;
        float r9186 = /* ERROR: no complex support in C */;
        float r9187 = r9186 * r9163;
        float r9188 = r9187 * r9163;
        float r9189 = r9188 * r9163;
        float r9190 = r9184 + r9189;
        float r9191 = r9190 + r9181;
        float r9192 = r9191 + r9172;
        float r9193 = /* ERROR: no complex support in C */;
        float r9194 = r9192 + r9193;
        float r9195 = /* ERROR: no complex support in C */;
        return r9195;
}

double f_od() {
        double r9196 = -1;
        double r9197 = 1;
        double r9198 = /* ERROR: no complex support in C */;
        double r9199 = r9198 * r9198;
        double r9200 = r9199 * r9198;
        double r9201 = r9200 * r9198;
        double r9202 = r9201 * r9198;
        double r9203 = r9202 * r9198;
        double r9204 = 6;
        double r9205 = 0;
        double r9206 = /* ERROR: no complex support in C */;
        double r9207 = r9206 * r9198;
        double r9208 = r9207 * r9198;
        double r9209 = r9208 * r9198;
        double r9210 = r9209 * r9198;
        double r9211 = r9210 * r9198;
        double r9212 = r9203 + r9211;
        double r9213 = 15;
        double r9214 = /* ERROR: no complex support in C */;
        double r9215 = r9214 * r9198;
        double r9216 = r9215 * r9198;
        double r9217 = r9216 * r9198;
        double r9218 = r9217 * r9198;
        double r9219 = r9212 + r9218;
        double r9220 = 20;
        double r9221 = /* ERROR: no complex support in C */;
        double r9222 = r9221 * r9198;
        double r9223 = r9222 * r9198;
        double r9224 = r9223 * r9198;
        double r9225 = r9219 + r9224;
        double r9226 = r9225 + r9216;
        double r9227 = r9226 + r9207;
        double r9228 = /* ERROR: no complex support in C */;
        double r9229 = r9227 + r9228;
        double r9230 = /* ERROR: no complex support in C */;
        return r9230;
}

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 r9231, r9232, r9233, r9234, r9235, r9236, r9237, r9238, r9239, r9240, r9241, r9242, r9243, r9244, r9245, r9246, r9247, r9248, r9249, r9250, r9251, r9252, r9253, r9254, r9255, r9256, r9257, r9258, r9259, r9260, r9261, r9262, r9263, r9264, r9265;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9231, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9232, "1", 10, MPFR_RNDN);
        mpfr_init(r9233);
        mpfr_init(r9234);
        mpfr_init(r9235);
        mpfr_init(r9236);
        mpfr_init(r9237);
        mpfr_init(r9238);
        mpfr_init_set_str(r9239, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9240, "0", 10, MPFR_RNDN);
        mpfr_init(r9241);
        mpfr_init(r9242);
        mpfr_init(r9243);
        mpfr_init(r9244);
        mpfr_init(r9245);
        mpfr_init(r9246);
        mpfr_init(r9247);
        mpfr_init_set_str(r9248, "15", 10, MPFR_RNDN);
        mpfr_init(r9249);
        mpfr_init(r9250);
        mpfr_init(r9251);
        mpfr_init(r9252);
        mpfr_init(r9253);
        mpfr_init(r9254);
        mpfr_init_set_str(r9255, "20", 10, MPFR_RNDN);
        mpfr_init(r9256);
        mpfr_init(r9257);
        mpfr_init(r9258);
        mpfr_init(r9259);
        mpfr_init(r9260);
        mpfr_init(r9261);
        mpfr_init(r9262);
        mpfr_init(r9263);
        mpfr_init(r9264);
        mpfr_init(r9265);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9234, r9233, r9233, MPFR_RNDN);
        mpfr_mul(r9235, r9234, r9233, MPFR_RNDN);
        mpfr_mul(r9236, r9235, r9233, MPFR_RNDN);
        mpfr_mul(r9237, r9236, r9233, MPFR_RNDN);
        mpfr_mul(r9238, r9237, r9233, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9242, r9241, r9233, MPFR_RNDN);
        mpfr_mul(r9243, r9242, r9233, MPFR_RNDN);
        mpfr_mul(r9244, r9243, r9233, MPFR_RNDN);
        mpfr_mul(r9245, r9244, r9233, MPFR_RNDN);
        mpfr_mul(r9246, r9245, r9233, MPFR_RNDN);
        mpfr_add(r9247, r9238, r9246, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9250, r9249, r9233, MPFR_RNDN);
        mpfr_mul(r9251, r9250, r9233, MPFR_RNDN);
        mpfr_mul(r9252, r9251, r9233, MPFR_RNDN);
        mpfr_mul(r9253, r9252, r9233, MPFR_RNDN);
        mpfr_add(r9254, r9247, r9253, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9257, r9256, r9233, MPFR_RNDN);
        mpfr_mul(r9258, r9257, r9233, MPFR_RNDN);
        mpfr_mul(r9259, r9258, r9233, MPFR_RNDN);
        mpfr_add(r9260, r9254, r9259, MPFR_RNDN);
        mpfr_add(r9261, r9260, r9251, MPFR_RNDN);
        mpfr_add(r9262, r9261, r9242, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9264, r9262, r9263, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9265, MPFR_RNDN);
}

static mpfr_t r9266, r9267, r9268, r9269, r9270, r9271, r9272, r9273, r9274, r9275, r9276, r9277, r9278, r9279, r9280, r9281, r9282, r9283, r9284, r9285, r9286, r9287, r9288, r9289, r9290, r9291, r9292, r9293, r9294, r9295, r9296, r9297, r9298, r9299, r9300;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9266, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9267, "1", 10, MPFR_RNDN);
        mpfr_init(r9268);
        mpfr_init(r9269);
        mpfr_init(r9270);
        mpfr_init(r9271);
        mpfr_init(r9272);
        mpfr_init(r9273);
        mpfr_init_set_str(r9274, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9275, "0", 10, MPFR_RNDN);
        mpfr_init(r9276);
        mpfr_init(r9277);
        mpfr_init(r9278);
        mpfr_init(r9279);
        mpfr_init(r9280);
        mpfr_init(r9281);
        mpfr_init(r9282);
        mpfr_init_set_str(r9283, "15", 10, MPFR_RNDN);
        mpfr_init(r9284);
        mpfr_init(r9285);
        mpfr_init(r9286);
        mpfr_init(r9287);
        mpfr_init(r9288);
        mpfr_init(r9289);
        mpfr_init_set_str(r9290, "20", 10, MPFR_RNDN);
        mpfr_init(r9291);
        mpfr_init(r9292);
        mpfr_init(r9293);
        mpfr_init(r9294);
        mpfr_init(r9295);
        mpfr_init(r9296);
        mpfr_init(r9297);
        mpfr_init(r9298);
        mpfr_init(r9299);
        mpfr_init(r9300);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9269, r9268, r9268, MPFR_RNDN);
        mpfr_mul(r9270, r9269, r9268, MPFR_RNDN);
        mpfr_mul(r9271, r9270, r9268, MPFR_RNDN);
        mpfr_mul(r9272, r9271, r9268, MPFR_RNDN);
        mpfr_mul(r9273, r9272, r9268, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9277, r9276, r9268, MPFR_RNDN);
        mpfr_mul(r9278, r9277, r9268, MPFR_RNDN);
        mpfr_mul(r9279, r9278, r9268, MPFR_RNDN);
        mpfr_mul(r9280, r9279, r9268, MPFR_RNDN);
        mpfr_mul(r9281, r9280, r9268, MPFR_RNDN);
        mpfr_add(r9282, r9273, r9281, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9285, r9284, r9268, MPFR_RNDN);
        mpfr_mul(r9286, r9285, r9268, MPFR_RNDN);
        mpfr_mul(r9287, r9286, r9268, MPFR_RNDN);
        mpfr_mul(r9288, r9287, r9268, MPFR_RNDN);
        mpfr_add(r9289, r9282, r9288, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9292, r9291, r9268, MPFR_RNDN);
        mpfr_mul(r9293, r9292, r9268, MPFR_RNDN);
        mpfr_mul(r9294, r9293, r9268, MPFR_RNDN);
        mpfr_add(r9295, r9289, r9294, MPFR_RNDN);
        mpfr_add(r9296, r9295, r9286, MPFR_RNDN);
        mpfr_add(r9297, r9296, r9277, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9299, r9297, r9298, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9300, MPFR_RNDN);
}

static mpfr_t r9301, r9302, r9303, r9304, r9305, r9306, r9307, r9308, r9309, r9310, r9311, r9312, r9313, r9314, r9315, r9316, r9317, r9318, r9319, r9320, r9321, r9322, r9323, r9324, r9325, r9326, r9327, r9328, r9329, r9330, r9331, r9332, r9333, r9334, r9335;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9301, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9302, "1", 10, MPFR_RNDN);
        mpfr_init(r9303);
        mpfr_init(r9304);
        mpfr_init(r9305);
        mpfr_init(r9306);
        mpfr_init(r9307);
        mpfr_init(r9308);
        mpfr_init_set_str(r9309, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9310, "0", 10, MPFR_RNDN);
        mpfr_init(r9311);
        mpfr_init(r9312);
        mpfr_init(r9313);
        mpfr_init(r9314);
        mpfr_init(r9315);
        mpfr_init(r9316);
        mpfr_init(r9317);
        mpfr_init_set_str(r9318, "15", 10, MPFR_RNDN);
        mpfr_init(r9319);
        mpfr_init(r9320);
        mpfr_init(r9321);
        mpfr_init(r9322);
        mpfr_init(r9323);
        mpfr_init(r9324);
        mpfr_init_set_str(r9325, "20", 10, MPFR_RNDN);
        mpfr_init(r9326);
        mpfr_init(r9327);
        mpfr_init(r9328);
        mpfr_init(r9329);
        mpfr_init(r9330);
        mpfr_init(r9331);
        mpfr_init(r9332);
        mpfr_init(r9333);
        mpfr_init(r9334);
        mpfr_init(r9335);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9304, r9303, r9303, MPFR_RNDN);
        mpfr_mul(r9305, r9304, r9303, MPFR_RNDN);
        mpfr_mul(r9306, r9305, r9303, MPFR_RNDN);
        mpfr_mul(r9307, r9306, r9303, MPFR_RNDN);
        mpfr_mul(r9308, r9307, r9303, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9312, r9311, r9303, MPFR_RNDN);
        mpfr_mul(r9313, r9312, r9303, MPFR_RNDN);
        mpfr_mul(r9314, r9313, r9303, MPFR_RNDN);
        mpfr_mul(r9315, r9314, r9303, MPFR_RNDN);
        mpfr_mul(r9316, r9315, r9303, MPFR_RNDN);
        mpfr_add(r9317, r9308, r9316, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9320, r9319, r9303, MPFR_RNDN);
        mpfr_mul(r9321, r9320, r9303, MPFR_RNDN);
        mpfr_mul(r9322, r9321, r9303, MPFR_RNDN);
        mpfr_mul(r9323, r9322, r9303, MPFR_RNDN);
        mpfr_add(r9324, r9317, r9323, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9327, r9326, r9303, MPFR_RNDN);
        mpfr_mul(r9328, r9327, r9303, MPFR_RNDN);
        mpfr_mul(r9329, r9328, r9303, MPFR_RNDN);
        mpfr_add(r9330, r9324, r9329, MPFR_RNDN);
        mpfr_add(r9331, r9330, r9321, MPFR_RNDN);
        mpfr_add(r9332, r9331, r9312, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9334, r9332, r9333, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9335, MPFR_RNDN);
}