#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 r25099 = -1;
        float r25100 = 1;
        float r25101 = /* ERROR: no complex support in C */;
        float r25102 = r25101 * r25101;
        float r25103 = r25102 * r25101;
        float r25104 = r25103 * r25101;
        float r25105 = r25104 * r25101;
        float r25106 = r25105 * r25101;
        float r25107 = 6;
        float r25108 = 0;
        float r25109 = /* ERROR: no complex support in C */;
        float r25110 = r25109 * r25101;
        float r25111 = r25110 * r25101;
        float r25112 = r25111 * r25101;
        float r25113 = r25112 * r25101;
        float r25114 = r25113 * r25101;
        float r25115 = r25106 + r25114;
        float r25116 = 15;
        float r25117 = /* ERROR: no complex support in C */;
        float r25118 = r25117 * r25101;
        float r25119 = r25118 * r25101;
        float r25120 = r25119 * r25101;
        float r25121 = r25120 * r25101;
        float r25122 = r25115 + r25121;
        float r25123 = 20;
        float r25124 = /* ERROR: no complex support in C */;
        float r25125 = r25124 * r25101;
        float r25126 = r25125 * r25101;
        float r25127 = r25126 * r25101;
        float r25128 = r25122 + r25127;
        float r25129 = r25128 + r25119;
        float r25130 = r25129 + r25110;
        float r25131 = /* ERROR: no complex support in C */;
        float r25132 = r25130 + r25131;
        float r25133 = /* ERROR: no complex support in C */;
        return r25133;
}

double f_id() {
        double r25134 = -1;
        double r25135 = 1;
        double r25136 = /* ERROR: no complex support in C */;
        double r25137 = r25136 * r25136;
        double r25138 = r25137 * r25136;
        double r25139 = r25138 * r25136;
        double r25140 = r25139 * r25136;
        double r25141 = r25140 * r25136;
        double r25142 = 6;
        double r25143 = 0;
        double r25144 = /* ERROR: no complex support in C */;
        double r25145 = r25144 * r25136;
        double r25146 = r25145 * r25136;
        double r25147 = r25146 * r25136;
        double r25148 = r25147 * r25136;
        double r25149 = r25148 * r25136;
        double r25150 = r25141 + r25149;
        double r25151 = 15;
        double r25152 = /* ERROR: no complex support in C */;
        double r25153 = r25152 * r25136;
        double r25154 = r25153 * r25136;
        double r25155 = r25154 * r25136;
        double r25156 = r25155 * r25136;
        double r25157 = r25150 + r25156;
        double r25158 = 20;
        double r25159 = /* ERROR: no complex support in C */;
        double r25160 = r25159 * r25136;
        double r25161 = r25160 * r25136;
        double r25162 = r25161 * r25136;
        double r25163 = r25157 + r25162;
        double r25164 = r25163 + r25154;
        double r25165 = r25164 + r25145;
        double r25166 = /* ERROR: no complex support in C */;
        double r25167 = r25165 + r25166;
        double r25168 = /* ERROR: no complex support in C */;
        return r25168;
}


double f_of() {
        float r25169 = -1;
        float r25170 = 1;
        float r25171 = /* ERROR: no complex support in C */;
        float r25172 = r25171 * r25171;
        float r25173 = r25172 * r25171;
        float r25174 = r25173 * r25171;
        float r25175 = r25174 * r25171;
        float r25176 = r25175 * r25171;
        float r25177 = 6;
        float r25178 = 0;
        float r25179 = /* ERROR: no complex support in C */;
        float r25180 = r25179 * r25171;
        float r25181 = r25180 * r25171;
        float r25182 = r25181 * r25171;
        float r25183 = r25182 * r25171;
        float r25184 = r25183 * r25171;
        float r25185 = r25176 + r25184;
        float r25186 = 15;
        float r25187 = /* ERROR: no complex support in C */;
        float r25188 = r25187 * r25171;
        float r25189 = r25188 * r25171;
        float r25190 = r25189 * r25171;
        float r25191 = r25190 * r25171;
        float r25192 = r25185 + r25191;
        float r25193 = 20;
        float r25194 = /* ERROR: no complex support in C */;
        float r25195 = r25194 * r25171;
        float r25196 = r25195 * r25171;
        float r25197 = r25196 * r25171;
        float r25198 = r25192 + r25197;
        float r25199 = r25198 + r25189;
        float r25200 = r25199 + r25180;
        float r25201 = /* ERROR: no complex support in C */;
        float r25202 = r25200 + r25201;
        float r25203 = /* ERROR: no complex support in C */;
        return r25203;
}

double f_od() {
        double r25204 = -1;
        double r25205 = 1;
        double r25206 = /* ERROR: no complex support in C */;
        double r25207 = r25206 * r25206;
        double r25208 = r25207 * r25206;
        double r25209 = r25208 * r25206;
        double r25210 = r25209 * r25206;
        double r25211 = r25210 * r25206;
        double r25212 = 6;
        double r25213 = 0;
        double r25214 = /* ERROR: no complex support in C */;
        double r25215 = r25214 * r25206;
        double r25216 = r25215 * r25206;
        double r25217 = r25216 * r25206;
        double r25218 = r25217 * r25206;
        double r25219 = r25218 * r25206;
        double r25220 = r25211 + r25219;
        double r25221 = 15;
        double r25222 = /* ERROR: no complex support in C */;
        double r25223 = r25222 * r25206;
        double r25224 = r25223 * r25206;
        double r25225 = r25224 * r25206;
        double r25226 = r25225 * r25206;
        double r25227 = r25220 + r25226;
        double r25228 = 20;
        double r25229 = /* ERROR: no complex support in C */;
        double r25230 = r25229 * r25206;
        double r25231 = r25230 * r25206;
        double r25232 = r25231 * r25206;
        double r25233 = r25227 + r25232;
        double r25234 = r25233 + r25224;
        double r25235 = r25234 + r25215;
        double r25236 = /* ERROR: no complex support in C */;
        double r25237 = r25235 + r25236;
        double r25238 = /* ERROR: no complex support in C */;
        return r25238;
}

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 r25239, r25240, r25241, r25242, r25243, r25244, r25245, r25246, r25247, r25248, r25249, r25250, r25251, r25252, r25253, r25254, r25255, r25256, r25257, r25258, r25259, r25260, r25261, r25262, r25263, r25264, r25265, r25266, r25267, r25268, r25269, r25270, r25271, r25272, r25273;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25239, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25240, "1", 10, MPFR_RNDN);
        mpfr_init(r25241);
        mpfr_init(r25242);
        mpfr_init(r25243);
        mpfr_init(r25244);
        mpfr_init(r25245);
        mpfr_init(r25246);
        mpfr_init_set_str(r25247, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25248, "0", 10, MPFR_RNDN);
        mpfr_init(r25249);
        mpfr_init(r25250);
        mpfr_init(r25251);
        mpfr_init(r25252);
        mpfr_init(r25253);
        mpfr_init(r25254);
        mpfr_init(r25255);
        mpfr_init_set_str(r25256, "15", 10, MPFR_RNDN);
        mpfr_init(r25257);
        mpfr_init(r25258);
        mpfr_init(r25259);
        mpfr_init(r25260);
        mpfr_init(r25261);
        mpfr_init(r25262);
        mpfr_init_set_str(r25263, "20", 10, MPFR_RNDN);
        mpfr_init(r25264);
        mpfr_init(r25265);
        mpfr_init(r25266);
        mpfr_init(r25267);
        mpfr_init(r25268);
        mpfr_init(r25269);
        mpfr_init(r25270);
        mpfr_init(r25271);
        mpfr_init(r25272);
        mpfr_init(r25273);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25242, r25241, r25241, MPFR_RNDN);
        mpfr_mul(r25243, r25242, r25241, MPFR_RNDN);
        mpfr_mul(r25244, r25243, r25241, MPFR_RNDN);
        mpfr_mul(r25245, r25244, r25241, MPFR_RNDN);
        mpfr_mul(r25246, r25245, r25241, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25250, r25249, r25241, MPFR_RNDN);
        mpfr_mul(r25251, r25250, r25241, MPFR_RNDN);
        mpfr_mul(r25252, r25251, r25241, MPFR_RNDN);
        mpfr_mul(r25253, r25252, r25241, MPFR_RNDN);
        mpfr_mul(r25254, r25253, r25241, MPFR_RNDN);
        mpfr_add(r25255, r25246, r25254, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25258, r25257, r25241, MPFR_RNDN);
        mpfr_mul(r25259, r25258, r25241, MPFR_RNDN);
        mpfr_mul(r25260, r25259, r25241, MPFR_RNDN);
        mpfr_mul(r25261, r25260, r25241, MPFR_RNDN);
        mpfr_add(r25262, r25255, r25261, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25265, r25264, r25241, MPFR_RNDN);
        mpfr_mul(r25266, r25265, r25241, MPFR_RNDN);
        mpfr_mul(r25267, r25266, r25241, MPFR_RNDN);
        mpfr_add(r25268, r25262, r25267, MPFR_RNDN);
        mpfr_add(r25269, r25268, r25259, MPFR_RNDN);
        mpfr_add(r25270, r25269, r25250, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25272, r25270, r25271, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25273, MPFR_RNDN);
}

static mpfr_t r25274, r25275, r25276, r25277, r25278, r25279, r25280, r25281, r25282, r25283, r25284, r25285, r25286, r25287, r25288, r25289, r25290, r25291, r25292, r25293, r25294, r25295, r25296, r25297, r25298, r25299, r25300, r25301, r25302, r25303, r25304, r25305, r25306, r25307, r25308;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25274, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25275, "1", 10, MPFR_RNDN);
        mpfr_init(r25276);
        mpfr_init(r25277);
        mpfr_init(r25278);
        mpfr_init(r25279);
        mpfr_init(r25280);
        mpfr_init(r25281);
        mpfr_init_set_str(r25282, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25283, "0", 10, MPFR_RNDN);
        mpfr_init(r25284);
        mpfr_init(r25285);
        mpfr_init(r25286);
        mpfr_init(r25287);
        mpfr_init(r25288);
        mpfr_init(r25289);
        mpfr_init(r25290);
        mpfr_init_set_str(r25291, "15", 10, MPFR_RNDN);
        mpfr_init(r25292);
        mpfr_init(r25293);
        mpfr_init(r25294);
        mpfr_init(r25295);
        mpfr_init(r25296);
        mpfr_init(r25297);
        mpfr_init_set_str(r25298, "20", 10, MPFR_RNDN);
        mpfr_init(r25299);
        mpfr_init(r25300);
        mpfr_init(r25301);
        mpfr_init(r25302);
        mpfr_init(r25303);
        mpfr_init(r25304);
        mpfr_init(r25305);
        mpfr_init(r25306);
        mpfr_init(r25307);
        mpfr_init(r25308);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25277, r25276, r25276, MPFR_RNDN);
        mpfr_mul(r25278, r25277, r25276, MPFR_RNDN);
        mpfr_mul(r25279, r25278, r25276, MPFR_RNDN);
        mpfr_mul(r25280, r25279, r25276, MPFR_RNDN);
        mpfr_mul(r25281, r25280, r25276, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25285, r25284, r25276, MPFR_RNDN);
        mpfr_mul(r25286, r25285, r25276, MPFR_RNDN);
        mpfr_mul(r25287, r25286, r25276, MPFR_RNDN);
        mpfr_mul(r25288, r25287, r25276, MPFR_RNDN);
        mpfr_mul(r25289, r25288, r25276, MPFR_RNDN);
        mpfr_add(r25290, r25281, r25289, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25293, r25292, r25276, MPFR_RNDN);
        mpfr_mul(r25294, r25293, r25276, MPFR_RNDN);
        mpfr_mul(r25295, r25294, r25276, MPFR_RNDN);
        mpfr_mul(r25296, r25295, r25276, MPFR_RNDN);
        mpfr_add(r25297, r25290, r25296, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25300, r25299, r25276, MPFR_RNDN);
        mpfr_mul(r25301, r25300, r25276, MPFR_RNDN);
        mpfr_mul(r25302, r25301, r25276, MPFR_RNDN);
        mpfr_add(r25303, r25297, r25302, MPFR_RNDN);
        mpfr_add(r25304, r25303, r25294, MPFR_RNDN);
        mpfr_add(r25305, r25304, r25285, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25307, r25305, r25306, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25308, MPFR_RNDN);
}

static mpfr_t r25309, r25310, r25311, r25312, r25313, r25314, r25315, r25316, r25317, r25318, r25319, r25320, r25321, r25322, r25323, r25324, r25325, r25326, r25327, r25328, r25329, r25330, r25331, r25332, r25333, r25334, r25335, r25336, r25337, r25338, r25339, r25340, r25341, r25342, r25343;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r25309, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r25310, "1", 10, MPFR_RNDN);
        mpfr_init(r25311);
        mpfr_init(r25312);
        mpfr_init(r25313);
        mpfr_init(r25314);
        mpfr_init(r25315);
        mpfr_init(r25316);
        mpfr_init_set_str(r25317, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r25318, "0", 10, MPFR_RNDN);
        mpfr_init(r25319);
        mpfr_init(r25320);
        mpfr_init(r25321);
        mpfr_init(r25322);
        mpfr_init(r25323);
        mpfr_init(r25324);
        mpfr_init(r25325);
        mpfr_init_set_str(r25326, "15", 10, MPFR_RNDN);
        mpfr_init(r25327);
        mpfr_init(r25328);
        mpfr_init(r25329);
        mpfr_init(r25330);
        mpfr_init(r25331);
        mpfr_init(r25332);
        mpfr_init_set_str(r25333, "20", 10, MPFR_RNDN);
        mpfr_init(r25334);
        mpfr_init(r25335);
        mpfr_init(r25336);
        mpfr_init(r25337);
        mpfr_init(r25338);
        mpfr_init(r25339);
        mpfr_init(r25340);
        mpfr_init(r25341);
        mpfr_init(r25342);
        mpfr_init(r25343);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25312, r25311, r25311, MPFR_RNDN);
        mpfr_mul(r25313, r25312, r25311, MPFR_RNDN);
        mpfr_mul(r25314, r25313, r25311, MPFR_RNDN);
        mpfr_mul(r25315, r25314, r25311, MPFR_RNDN);
        mpfr_mul(r25316, r25315, r25311, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25320, r25319, r25311, MPFR_RNDN);
        mpfr_mul(r25321, r25320, r25311, MPFR_RNDN);
        mpfr_mul(r25322, r25321, r25311, MPFR_RNDN);
        mpfr_mul(r25323, r25322, r25311, MPFR_RNDN);
        mpfr_mul(r25324, r25323, r25311, MPFR_RNDN);
        mpfr_add(r25325, r25316, r25324, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25328, r25327, r25311, MPFR_RNDN);
        mpfr_mul(r25329, r25328, r25311, MPFR_RNDN);
        mpfr_mul(r25330, r25329, r25311, MPFR_RNDN);
        mpfr_mul(r25331, r25330, r25311, MPFR_RNDN);
        mpfr_add(r25332, r25325, r25331, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r25335, r25334, r25311, MPFR_RNDN);
        mpfr_mul(r25336, r25335, r25311, MPFR_RNDN);
        mpfr_mul(r25337, r25336, r25311, MPFR_RNDN);
        mpfr_add(r25338, r25332, r25337, MPFR_RNDN);
        mpfr_add(r25339, r25338, r25329, MPFR_RNDN);
        mpfr_add(r25340, r25339, r25320, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r25342, r25340, r25341, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r25343, MPFR_RNDN);
}