#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 r8348 = 1;
        float r8349 = -r8348;
        float r8350 = 2;
        float r8351 = r8349 / r8350;
        float r8352 = 3;
        float r8353 = sqrt(r8352);
        float r8354 = r8353 / r8350;
        float r8355 = /* ERROR: no complex support in C */;
        float r8356 = r8355 * r8355;
        float r8357 = r8356 * r8355;
        float r8358 = r8357 * r8355;
        float r8359 = -r8350;
        float r8360 = 0;
        float r8361 = /* ERROR: no complex support in C */;
        float r8362 = r8361 * r8355;
        float r8363 = r8362 * r8355;
        float r8364 = r8363 * r8355;
        float r8365 = r8358 + r8364;
        float r8366 = 5;
        float r8367 = /* ERROR: no complex support in C */;
        float r8368 = r8367 * r8355;
        float r8369 = r8368 * r8355;
        float r8370 = r8365 + r8369;
        float r8371 = 4;
        float r8372 = /* ERROR: no complex support in C */;
        float r8373 = r8372 * r8355;
        float r8374 = r8370 + r8373;
        float r8375 = 7;
        float r8376 = /* ERROR: no complex support in C */;
        float r8377 = r8374 + r8376;
        float r8378 = /* ERROR: no complex support in C */;
        return r8378;
}

double f_id() {
        double r8379 = 1;
        double r8380 = -r8379;
        double r8381 = 2;
        double r8382 = r8380 / r8381;
        double r8383 = 3;
        double r8384 = sqrt(r8383);
        double r8385 = r8384 / r8381;
        double r8386 = /* ERROR: no complex support in C */;
        double r8387 = r8386 * r8386;
        double r8388 = r8387 * r8386;
        double r8389 = r8388 * r8386;
        double r8390 = -r8381;
        double r8391 = 0;
        double r8392 = /* ERROR: no complex support in C */;
        double r8393 = r8392 * r8386;
        double r8394 = r8393 * r8386;
        double r8395 = r8394 * r8386;
        double r8396 = r8389 + r8395;
        double r8397 = 5;
        double r8398 = /* ERROR: no complex support in C */;
        double r8399 = r8398 * r8386;
        double r8400 = r8399 * r8386;
        double r8401 = r8396 + r8400;
        double r8402 = 4;
        double r8403 = /* ERROR: no complex support in C */;
        double r8404 = r8403 * r8386;
        double r8405 = r8401 + r8404;
        double r8406 = 7;
        double r8407 = /* ERROR: no complex support in C */;
        double r8408 = r8405 + r8407;
        double r8409 = /* ERROR: no complex support in C */;
        return r8409;
}


double f_of() {
        float r8410 = 5;
        float r8411 = -r8410;
        float r8412 = 1;
        float r8413 = 2;
        float r8414 = r8412 / r8413;
        float r8415 = r8411 * r8414;
        float r8416 = 4;
        float r8417 = r8415 + r8416;
        float r8418 = 3;
        float r8419 = sqrt(r8418);
        float r8420 = r8419 / r8413;
        float r8421 = r8410 * r8420;
        float r8422 = /* ERROR: no complex support in C */;
        float r8423 = -r8412;
        float r8424 = r8423 / r8413;
        float r8425 = /* ERROR: no complex support in C */;
        float r8426 = r8422 * r8425;
        float r8427 = 7;
        float r8428 = 0;
        float r8429 = /* ERROR: no complex support in C */;
        float r8430 = r8426 + r8429;
        float r8431 = r8413 * r8413;
        float r8432 = r8412 / r8431;
        float r8433 = r8418 / r8431;
        float r8434 = r8432 - r8433;
        float r8435 = r8423 / r8431;
        float r8436 = r8419 + r8419;
        float r8437 = r8435 * r8436;
        float r8438 = /* ERROR: no complex support in C */;
        float r8439 = -r8413;
        float r8440 = /* ERROR: no complex support in C */;
        float r8441 = r8440 + r8425;
        float r8442 = r8438 * r8441;
        float r8443 = r8442 * r8425;
        float r8444 = r8430 + r8443;
        float r8445 = /* ERROR: no complex support in C */;
        return r8445;
}

double f_od() {
        double r8446 = 5;
        double r8447 = -r8446;
        double r8448 = 1;
        double r8449 = 2;
        double r8450 = r8448 / r8449;
        double r8451 = r8447 * r8450;
        double r8452 = 4;
        double r8453 = r8451 + r8452;
        double r8454 = 3;
        double r8455 = sqrt(r8454);
        double r8456 = r8455 / r8449;
        double r8457 = r8446 * r8456;
        double r8458 = /* ERROR: no complex support in C */;
        double r8459 = -r8448;
        double r8460 = r8459 / r8449;
        double r8461 = /* ERROR: no complex support in C */;
        double r8462 = r8458 * r8461;
        double r8463 = 7;
        double r8464 = 0;
        double r8465 = /* ERROR: no complex support in C */;
        double r8466 = r8462 + r8465;
        double r8467 = r8449 * r8449;
        double r8468 = r8448 / r8467;
        double r8469 = r8454 / r8467;
        double r8470 = r8468 - r8469;
        double r8471 = r8459 / r8467;
        double r8472 = r8455 + r8455;
        double r8473 = r8471 * r8472;
        double r8474 = /* ERROR: no complex support in C */;
        double r8475 = -r8449;
        double r8476 = /* ERROR: no complex support in C */;
        double r8477 = r8476 + r8461;
        double r8478 = r8474 * r8477;
        double r8479 = r8478 * r8461;
        double r8480 = r8466 + r8479;
        double r8481 = /* ERROR: no complex support in C */;
        return r8481;
}

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 r8482, r8483, r8484, r8485, r8486, r8487, r8488, r8489, r8490, r8491, r8492, r8493, r8494, r8495, r8496, r8497, r8498, r8499, r8500, r8501, r8502, r8503, r8504, r8505, r8506, r8507, r8508, r8509, r8510, r8511, r8512;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r8482, "1", 10, MPFR_RNDN);
        mpfr_init(r8483);
        mpfr_init_set_str(r8484, "2", 10, MPFR_RNDN);
        mpfr_init(r8485);
        mpfr_init_set_str(r8486, "3", 10, MPFR_RNDN);
        mpfr_init(r8487);
        mpfr_init(r8488);
        mpfr_init(r8489);
        mpfr_init(r8490);
        mpfr_init(r8491);
        mpfr_init(r8492);
        mpfr_init(r8493);
        mpfr_init_set_str(r8494, "0", 10, MPFR_RNDN);
        mpfr_init(r8495);
        mpfr_init(r8496);
        mpfr_init(r8497);
        mpfr_init(r8498);
        mpfr_init(r8499);
        mpfr_init_set_str(r8500, "5", 10, MPFR_RNDN);
        mpfr_init(r8501);
        mpfr_init(r8502);
        mpfr_init(r8503);
        mpfr_init(r8504);
        mpfr_init_set_str(r8505, "4", 10, MPFR_RNDN);
        mpfr_init(r8506);
        mpfr_init(r8507);
        mpfr_init(r8508);
        mpfr_init_set_str(r8509, "7", 10, MPFR_RNDN);
        mpfr_init(r8510);
        mpfr_init(r8511);
        mpfr_init(r8512);
}

double f_im() {
        ;
        mpfr_neg(r8483, r8482, MPFR_RNDN);
        ;
        mpfr_div(r8485, r8483, r8484, MPFR_RNDN);
        ;
        mpfr_sqrt(r8487, r8486, MPFR_RNDN);
        mpfr_div(r8488, r8487, r8484, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_mul(r8490, r8489, r8489, MPFR_RNDN);
        mpfr_mul(r8491, r8490, r8489, MPFR_RNDN);
        mpfr_mul(r8492, r8491, r8489, MPFR_RNDN);
        mpfr_neg(r8493, r8484, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8496, r8495, r8489, MPFR_RNDN);
        mpfr_mul(r8497, r8496, r8489, MPFR_RNDN);
        mpfr_mul(r8498, r8497, r8489, MPFR_RNDN);
        mpfr_add(r8499, r8492, r8498, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8502, r8501, r8489, MPFR_RNDN);
        mpfr_mul(r8503, r8502, r8489, MPFR_RNDN);
        mpfr_add(r8504, r8499, r8503, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_mul(r8507, r8506, r8489, MPFR_RNDN);
        mpfr_add(r8508, r8504, r8507, MPFR_RNDN);
        ;
        /* ERROR: no complex support in C */;
        mpfr_add(r8511, r8508, r8510, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r8512, MPFR_RNDN);
}

static mpfr_t r8513, r8514, r8515, r8516, r8517, r8518, r8519, r8520, r8521, r8522, r8523, r8524, r8525, r8526, r8527, r8528, r8529, r8530, r8531, r8532, r8533, r8534, r8535, r8536, r8537, r8538, r8539, r8540, r8541, r8542, r8543, r8544, r8545, r8546, r8547, r8548;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r8513, "5", 10, MPFR_RNDN);
        mpfr_init(r8514);
        mpfr_init_set_str(r8515, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8516, "2", 10, MPFR_RNDN);
        mpfr_init(r8517);
        mpfr_init(r8518);
        mpfr_init_set_str(r8519, "4", 10, MPFR_RNDN);
        mpfr_init(r8520);
        mpfr_init_set_str(r8521, "3", 10, MPFR_RNDN);
        mpfr_init(r8522);
        mpfr_init(r8523);
        mpfr_init(r8524);
        mpfr_init(r8525);
        mpfr_init(r8526);
        mpfr_init(r8527);
        mpfr_init(r8528);
        mpfr_init(r8529);
        mpfr_init_set_str(r8530, "7", 10, MPFR_RNDN);
        mpfr_init_set_str(r8531, "0", 10, MPFR_RNDN);
        mpfr_init(r8532);
        mpfr_init(r8533);
        mpfr_init(r8534);
        mpfr_init(r8535);
        mpfr_init(r8536);
        mpfr_init(r8537);
        mpfr_init(r8538);
        mpfr_init(r8539);
        mpfr_init(r8540);
        mpfr_init(r8541);
        mpfr_init(r8542);
        mpfr_init(r8543);
        mpfr_init(r8544);
        mpfr_init(r8545);
        mpfr_init(r8546);
        mpfr_init(r8547);
        mpfr_init(r8548);
}

double f_fm() {
        ;
        mpfr_neg(r8514, r8513, MPFR_RNDN);
        ;
        ;
        mpfr_div(r8517, r8515, r8516, MPFR_RNDN);
        mpfr_mul(r8518, r8514, r8517, MPFR_RNDN);
        ;
        mpfr_add(r8520, r8518, r8519, MPFR_RNDN);
        ;
        mpfr_sqrt(r8522, r8521, MPFR_RNDN);
        mpfr_div(r8523, r8522, r8516, MPFR_RNDN);
        mpfr_mul(r8524, r8513, r8523, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_neg(r8526, r8515, MPFR_RNDN);
        mpfr_div(r8527, r8526, r8516, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_mul(r8529, r8525, r8528, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_add(r8533, r8529, r8532, MPFR_RNDN);
        mpfr_mul(r8534, r8516, r8516, MPFR_RNDN);
        mpfr_div(r8535, r8515, r8534, MPFR_RNDN);
        mpfr_div(r8536, r8521, r8534, MPFR_RNDN);
        mpfr_sub(r8537, r8535, r8536, MPFR_RNDN);
        mpfr_div(r8538, r8526, r8534, MPFR_RNDN);
        mpfr_add(r8539, r8522, r8522, MPFR_RNDN);
        mpfr_mul(r8540, r8538, r8539, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_neg(r8542, r8516, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r8544, r8543, r8528, MPFR_RNDN);
        mpfr_mul(r8545, r8541, r8544, MPFR_RNDN);
        mpfr_mul(r8546, r8545, r8528, MPFR_RNDN);
        mpfr_add(r8547, r8533, r8546, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r8548, MPFR_RNDN);
}

static mpfr_t r8549, r8550, r8551, r8552, r8553, r8554, r8555, r8556, r8557, r8558, r8559, r8560, r8561, r8562, r8563, r8564, r8565, r8566, r8567, r8568, r8569, r8570, r8571, r8572, r8573, r8574, r8575, r8576, r8577, r8578, r8579, r8580, r8581, r8582, r8583, r8584;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r8549, "5", 10, MPFR_RNDN);
        mpfr_init(r8550);
        mpfr_init_set_str(r8551, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8552, "2", 10, MPFR_RNDN);
        mpfr_init(r8553);
        mpfr_init(r8554);
        mpfr_init_set_str(r8555, "4", 10, MPFR_RNDN);
        mpfr_init(r8556);
        mpfr_init_set_str(r8557, "3", 10, MPFR_RNDN);
        mpfr_init(r8558);
        mpfr_init(r8559);
        mpfr_init(r8560);
        mpfr_init(r8561);
        mpfr_init(r8562);
        mpfr_init(r8563);
        mpfr_init(r8564);
        mpfr_init(r8565);
        mpfr_init_set_str(r8566, "7", 10, MPFR_RNDN);
        mpfr_init_set_str(r8567, "0", 10, MPFR_RNDN);
        mpfr_init(r8568);
        mpfr_init(r8569);
        mpfr_init(r8570);
        mpfr_init(r8571);
        mpfr_init(r8572);
        mpfr_init(r8573);
        mpfr_init(r8574);
        mpfr_init(r8575);
        mpfr_init(r8576);
        mpfr_init(r8577);
        mpfr_init(r8578);
        mpfr_init(r8579);
        mpfr_init(r8580);
        mpfr_init(r8581);
        mpfr_init(r8582);
        mpfr_init(r8583);
        mpfr_init(r8584);
}

double f_dm() {
        ;
        mpfr_neg(r8550, r8549, MPFR_RNDN);
        ;
        ;
        mpfr_div(r8553, r8551, r8552, MPFR_RNDN);
        mpfr_mul(r8554, r8550, r8553, MPFR_RNDN);
        ;
        mpfr_add(r8556, r8554, r8555, MPFR_RNDN);
        ;
        mpfr_sqrt(r8558, r8557, MPFR_RNDN);
        mpfr_div(r8559, r8558, r8552, MPFR_RNDN);
        mpfr_mul(r8560, r8549, r8559, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_neg(r8562, r8551, MPFR_RNDN);
        mpfr_div(r8563, r8562, r8552, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_mul(r8565, r8561, r8564, MPFR_RNDN);
        ;
        ;
        /* ERROR: no complex support in C */;
        mpfr_add(r8569, r8565, r8568, MPFR_RNDN);
        mpfr_mul(r8570, r8552, r8552, MPFR_RNDN);
        mpfr_div(r8571, r8551, r8570, MPFR_RNDN);
        mpfr_div(r8572, r8557, r8570, MPFR_RNDN);
        mpfr_sub(r8573, r8571, r8572, MPFR_RNDN);
        mpfr_div(r8574, r8562, r8570, MPFR_RNDN);
        mpfr_add(r8575, r8558, r8558, MPFR_RNDN);
        mpfr_mul(r8576, r8574, r8575, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_neg(r8578, r8552, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        mpfr_add(r8580, r8579, r8564, MPFR_RNDN);
        mpfr_mul(r8581, r8577, r8580, MPFR_RNDN);
        mpfr_mul(r8582, r8581, r8564, MPFR_RNDN);
        mpfr_add(r8583, r8569, r8582, MPFR_RNDN);
        /* ERROR: no complex support in C */;
        return mpfr_get_d(r8584, MPFR_RNDN);
}