#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 r9331 = -1;
        float r9332 = 1;
        float r9333 = /* ERROR: no complex support in C */;
        float r9334 = r9333 * r9333;
        float r9335 = r9334 * r9333;
        float r9336 = r9335 * r9333;
        float r9337 = r9336 * r9333;
        float r9338 = r9337 * r9333;
        float r9339 = 6;
        float r9340 = 0;
        float r9341 = /* ERROR: no complex support in C */;
        float r9342 = r9341 * r9333;
        float r9343 = r9342 * r9333;
        float r9344 = r9343 * r9333;
        float r9345 = r9344 * r9333;
        float r9346 = r9345 * r9333;
        float r9347 = r9338 + r9346;
        float r9348 = 15;
        float r9349 = /* ERROR: no complex support in C */;
        float r9350 = r9349 * r9333;
        float r9351 = r9350 * r9333;
        float r9352 = r9351 * r9333;
        float r9353 = r9352 * r9333;
        float r9354 = r9347 + r9353;
        float r9355 = 20;
        float r9356 = /* ERROR: no complex support in C */;
        float r9357 = r9356 * r9333;
        float r9358 = r9357 * r9333;
        float r9359 = r9358 * r9333;
        float r9360 = r9354 + r9359;
        float r9361 = r9360 + r9351;
        float r9362 = r9361 + r9342;
        float r9363 = /* ERROR: no complex support in C */;
        float r9364 = r9362 + r9363;
        float r9365 = /* ERROR: no complex support in C */;
        return r9365;
}

double f_id() {
        double r9366 = -1;
        double r9367 = 1;
        double r9368 = /* ERROR: no complex support in C */;
        double r9369 = r9368 * r9368;
        double r9370 = r9369 * r9368;
        double r9371 = r9370 * r9368;
        double r9372 = r9371 * r9368;
        double r9373 = r9372 * r9368;
        double r9374 = 6;
        double r9375 = 0;
        double r9376 = /* ERROR: no complex support in C */;
        double r9377 = r9376 * r9368;
        double r9378 = r9377 * r9368;
        double r9379 = r9378 * r9368;
        double r9380 = r9379 * r9368;
        double r9381 = r9380 * r9368;
        double r9382 = r9373 + r9381;
        double r9383 = 15;
        double r9384 = /* ERROR: no complex support in C */;
        double r9385 = r9384 * r9368;
        double r9386 = r9385 * r9368;
        double r9387 = r9386 * r9368;
        double r9388 = r9387 * r9368;
        double r9389 = r9382 + r9388;
        double r9390 = 20;
        double r9391 = /* ERROR: no complex support in C */;
        double r9392 = r9391 * r9368;
        double r9393 = r9392 * r9368;
        double r9394 = r9393 * r9368;
        double r9395 = r9389 + r9394;
        double r9396 = r9395 + r9386;
        double r9397 = r9396 + r9377;
        double r9398 = /* ERROR: no complex support in C */;
        double r9399 = r9397 + r9398;
        double r9400 = /* ERROR: no complex support in C */;
        return r9400;
}


double f_of() {
        float r9401 = -1;
        float r9402 = 1;
        float r9403 = /* ERROR: no complex support in C */;
        float r9404 = r9403 * r9403;
        float r9405 = r9404 * r9403;
        float r9406 = r9405 * r9403;
        float r9407 = r9406 * r9403;
        float r9408 = r9407 * r9403;
        float r9409 = 6;
        float r9410 = 0;
        float r9411 = /* ERROR: no complex support in C */;
        float r9412 = r9411 * r9403;
        float r9413 = r9412 * r9403;
        float r9414 = r9413 * r9403;
        float r9415 = r9414 * r9403;
        float r9416 = r9415 * r9403;
        float r9417 = r9408 + r9416;
        float r9418 = 15;
        float r9419 = /* ERROR: no complex support in C */;
        float r9420 = r9419 * r9403;
        float r9421 = r9420 * r9403;
        float r9422 = r9421 * r9403;
        float r9423 = r9422 * r9403;
        float r9424 = r9417 + r9423;
        float r9425 = 20;
        float r9426 = /* ERROR: no complex support in C */;
        float r9427 = r9426 * r9403;
        float r9428 = r9427 * r9403;
        float r9429 = r9428 * r9403;
        float r9430 = r9424 + r9429;
        float r9431 = r9430 + r9421;
        float r9432 = r9431 + r9412;
        float r9433 = /* ERROR: no complex support in C */;
        float r9434 = r9432 + r9433;
        float r9435 = /* ERROR: no complex support in C */;
        return r9435;
}

double f_od() {
        double r9436 = -1;
        double r9437 = 1;
        double r9438 = /* ERROR: no complex support in C */;
        double r9439 = r9438 * r9438;
        double r9440 = r9439 * r9438;
        double r9441 = r9440 * r9438;
        double r9442 = r9441 * r9438;
        double r9443 = r9442 * r9438;
        double r9444 = 6;
        double r9445 = 0;
        double r9446 = /* ERROR: no complex support in C */;
        double r9447 = r9446 * r9438;
        double r9448 = r9447 * r9438;
        double r9449 = r9448 * r9438;
        double r9450 = r9449 * r9438;
        double r9451 = r9450 * r9438;
        double r9452 = r9443 + r9451;
        double r9453 = 15;
        double r9454 = /* ERROR: no complex support in C */;
        double r9455 = r9454 * r9438;
        double r9456 = r9455 * r9438;
        double r9457 = r9456 * r9438;
        double r9458 = r9457 * r9438;
        double r9459 = r9452 + r9458;
        double r9460 = 20;
        double r9461 = /* ERROR: no complex support in C */;
        double r9462 = r9461 * r9438;
        double r9463 = r9462 * r9438;
        double r9464 = r9463 * r9438;
        double r9465 = r9459 + r9464;
        double r9466 = r9465 + r9456;
        double r9467 = r9466 + r9447;
        double r9468 = /* ERROR: no complex support in C */;
        double r9469 = r9467 + r9468;
        double r9470 = /* ERROR: no complex support in C */;
        return r9470;
}

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 r9471, r9472, r9473, r9474, r9475, r9476, r9477, r9478, r9479, r9480, r9481, r9482, r9483, r9484, r9485, r9486, r9487, r9488, r9489, r9490, r9491, r9492, r9493, r9494, r9495, r9496, r9497, r9498, r9499, r9500, r9501, r9502, r9503, r9504, r9505;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9471, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9472, "1", 10, MPFR_RNDN);
        mpfr_init(r9473);
        mpfr_init(r9474);
        mpfr_init(r9475);
        mpfr_init(r9476);
        mpfr_init(r9477);
        mpfr_init(r9478);
        mpfr_init_set_str(r9479, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9480, "0", 10, MPFR_RNDN);
        mpfr_init(r9481);
        mpfr_init(r9482);
        mpfr_init(r9483);
        mpfr_init(r9484);
        mpfr_init(r9485);
        mpfr_init(r9486);
        mpfr_init(r9487);
        mpfr_init_set_str(r9488, "15", 10, MPFR_RNDN);
        mpfr_init(r9489);
        mpfr_init(r9490);
        mpfr_init(r9491);
        mpfr_init(r9492);
        mpfr_init(r9493);
        mpfr_init(r9494);
        mpfr_init_set_str(r9495, "20", 10, MPFR_RNDN);
        mpfr_init(r9496);
        mpfr_init(r9497);
        mpfr_init(r9498);
        mpfr_init(r9499);
        mpfr_init(r9500);
        mpfr_init(r9501);
        mpfr_init(r9502);
        mpfr_init(r9503);
        mpfr_init(r9504);
        mpfr_init(r9505);
}

double f_im() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9474, r9473, r9473, MPFR_RNDN);
        mpfr_mul(r9475, r9474, r9473, MPFR_RNDN);
        mpfr_mul(r9476, r9475, r9473, MPFR_RNDN);
        mpfr_mul(r9477, r9476, r9473, MPFR_RNDN);
        mpfr_mul(r9478, r9477, r9473, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9482, r9481, r9473, MPFR_RNDN);
        mpfr_mul(r9483, r9482, r9473, MPFR_RNDN);
        mpfr_mul(r9484, r9483, r9473, MPFR_RNDN);
        mpfr_mul(r9485, r9484, r9473, MPFR_RNDN);
        mpfr_mul(r9486, r9485, r9473, MPFR_RNDN);
        mpfr_add(r9487, r9478, r9486, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9490, r9489, r9473, MPFR_RNDN);
        mpfr_mul(r9491, r9490, r9473, MPFR_RNDN);
        mpfr_mul(r9492, r9491, r9473, MPFR_RNDN);
        mpfr_mul(r9493, r9492, r9473, MPFR_RNDN);
        mpfr_add(r9494, r9487, r9493, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9497, r9496, r9473, MPFR_RNDN);
        mpfr_mul(r9498, r9497, r9473, MPFR_RNDN);
        mpfr_mul(r9499, r9498, r9473, MPFR_RNDN);
        mpfr_add(r9500, r9494, r9499, MPFR_RNDN);
        mpfr_add(r9501, r9500, r9491, MPFR_RNDN);
        mpfr_add(r9502, r9501, r9482, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9504, r9502, r9503, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9505, MPFR_RNDN);
}

static mpfr_t r9506, r9507, r9508, r9509, r9510, r9511, r9512, r9513, r9514, r9515, r9516, r9517, r9518, r9519, r9520, r9521, r9522, r9523, r9524, r9525, r9526, r9527, r9528, r9529, r9530, r9531, r9532, r9533, r9534, r9535, r9536, r9537, r9538, r9539, r9540;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9506, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9507, "1", 10, MPFR_RNDN);
        mpfr_init(r9508);
        mpfr_init(r9509);
        mpfr_init(r9510);
        mpfr_init(r9511);
        mpfr_init(r9512);
        mpfr_init(r9513);
        mpfr_init_set_str(r9514, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9515, "0", 10, MPFR_RNDN);
        mpfr_init(r9516);
        mpfr_init(r9517);
        mpfr_init(r9518);
        mpfr_init(r9519);
        mpfr_init(r9520);
        mpfr_init(r9521);
        mpfr_init(r9522);
        mpfr_init_set_str(r9523, "15", 10, MPFR_RNDN);
        mpfr_init(r9524);
        mpfr_init(r9525);
        mpfr_init(r9526);
        mpfr_init(r9527);
        mpfr_init(r9528);
        mpfr_init(r9529);
        mpfr_init_set_str(r9530, "20", 10, MPFR_RNDN);
        mpfr_init(r9531);
        mpfr_init(r9532);
        mpfr_init(r9533);
        mpfr_init(r9534);
        mpfr_init(r9535);
        mpfr_init(r9536);
        mpfr_init(r9537);
        mpfr_init(r9538);
        mpfr_init(r9539);
        mpfr_init(r9540);
}

double f_fm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9509, r9508, r9508, MPFR_RNDN);
        mpfr_mul(r9510, r9509, r9508, MPFR_RNDN);
        mpfr_mul(r9511, r9510, r9508, MPFR_RNDN);
        mpfr_mul(r9512, r9511, r9508, MPFR_RNDN);
        mpfr_mul(r9513, r9512, r9508, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9517, r9516, r9508, MPFR_RNDN);
        mpfr_mul(r9518, r9517, r9508, MPFR_RNDN);
        mpfr_mul(r9519, r9518, r9508, MPFR_RNDN);
        mpfr_mul(r9520, r9519, r9508, MPFR_RNDN);
        mpfr_mul(r9521, r9520, r9508, MPFR_RNDN);
        mpfr_add(r9522, r9513, r9521, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9525, r9524, r9508, MPFR_RNDN);
        mpfr_mul(r9526, r9525, r9508, MPFR_RNDN);
        mpfr_mul(r9527, r9526, r9508, MPFR_RNDN);
        mpfr_mul(r9528, r9527, r9508, MPFR_RNDN);
        mpfr_add(r9529, r9522, r9528, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9532, r9531, r9508, MPFR_RNDN);
        mpfr_mul(r9533, r9532, r9508, MPFR_RNDN);
        mpfr_mul(r9534, r9533, r9508, MPFR_RNDN);
        mpfr_add(r9535, r9529, r9534, MPFR_RNDN);
        mpfr_add(r9536, r9535, r9526, MPFR_RNDN);
        mpfr_add(r9537, r9536, r9517, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9539, r9537, r9538, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9540, MPFR_RNDN);
}

static mpfr_t r9541, r9542, r9543, r9544, r9545, r9546, r9547, r9548, r9549, r9550, r9551, r9552, r9553, r9554, r9555, r9556, r9557, r9558, r9559, r9560, r9561, r9562, r9563, r9564, r9565, r9566, r9567, r9568, r9569, r9570, r9571, r9572, r9573, r9574, r9575;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9541, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9542, "1", 10, MPFR_RNDN);
        mpfr_init(r9543);
        mpfr_init(r9544);
        mpfr_init(r9545);
        mpfr_init(r9546);
        mpfr_init(r9547);
        mpfr_init(r9548);
        mpfr_init_set_str(r9549, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r9550, "0", 10, MPFR_RNDN);
        mpfr_init(r9551);
        mpfr_init(r9552);
        mpfr_init(r9553);
        mpfr_init(r9554);
        mpfr_init(r9555);
        mpfr_init(r9556);
        mpfr_init(r9557);
        mpfr_init_set_str(r9558, "15", 10, MPFR_RNDN);
        mpfr_init(r9559);
        mpfr_init(r9560);
        mpfr_init(r9561);
        mpfr_init(r9562);
        mpfr_init(r9563);
        mpfr_init(r9564);
        mpfr_init_set_str(r9565, "20", 10, MPFR_RNDN);
        mpfr_init(r9566);
        mpfr_init(r9567);
        mpfr_init(r9568);
        mpfr_init(r9569);
        mpfr_init(r9570);
        mpfr_init(r9571);
        mpfr_init(r9572);
        mpfr_init(r9573);
        mpfr_init(r9574);
        mpfr_init(r9575);
}

double f_dm() {
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9544, r9543, r9543, MPFR_RNDN);
        mpfr_mul(r9545, r9544, r9543, MPFR_RNDN);
        mpfr_mul(r9546, r9545, r9543, MPFR_RNDN);
        mpfr_mul(r9547, r9546, r9543, MPFR_RNDN);
        mpfr_mul(r9548, r9547, r9543, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9552, r9551, r9543, MPFR_RNDN);
        mpfr_mul(r9553, r9552, r9543, MPFR_RNDN);
        mpfr_mul(r9554, r9553, r9543, MPFR_RNDN);
        mpfr_mul(r9555, r9554, r9543, MPFR_RNDN);
        mpfr_mul(r9556, r9555, r9543, MPFR_RNDN);
        mpfr_add(r9557, r9548, r9556, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9560, r9559, r9543, MPFR_RNDN);
        mpfr_mul(r9561, r9560, r9543, MPFR_RNDN);
        mpfr_mul(r9562, r9561, r9543, MPFR_RNDN);
        mpfr_mul(r9563, r9562, r9543, MPFR_RNDN);
        mpfr_add(r9564, r9557, r9563, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r9567, r9566, r9543, MPFR_RNDN);
        mpfr_mul(r9568, r9567, r9543, MPFR_RNDN);
        mpfr_mul(r9569, r9568, r9543, MPFR_RNDN);
        mpfr_add(r9570, r9564, r9569, MPFR_RNDN);
        mpfr_add(r9571, r9570, r9561, MPFR_RNDN);
        mpfr_add(r9572, r9571, r9552, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r9574, r9572, r9573, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r9575, MPFR_RNDN);
}