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

char *name = "Rectangular parallelepiped of dimension a×b×c";

double f_if() {
        float r22450 = 2;
        float r22451 = 1;
        float r22452 = 9;
        float r22453 = r22451 / r22452;
        float r22454 = r22451 * r22453;
        float r22455 = r22453 * r22453;
        float r22456 = r22454 + r22455;
        float r22457 = r22453 * r22451;
        float r22458 = r22456 + r22457;
        float r22459 = r22450 * r22458;
        return r22459;
}

double f_id() {
        double r22460 = 2;
        double r22461 = 1;
        double r22462 = 9;
        double r22463 = r22461 / r22462;
        double r22464 = r22461 * r22463;
        double r22465 = r22463 * r22463;
        double r22466 = r22464 + r22465;
        double r22467 = r22463 * r22461;
        double r22468 = r22466 + r22467;
        double r22469 = r22460 * r22468;
        return r22469;
}


double f_of() {
        float r22470 = 2;
        float r22471 = 1;
        float r22472 = 9;
        float r22473 = r22471 / r22472;
        float r22474 = r22471 * r22473;
        float r22475 = r22473 * r22473;
        float r22476 = r22474 + r22475;
        float r22477 = r22473 * r22471;
        float r22478 = r22476 + r22477;
        float r22479 = r22470 * r22478;
        return r22479;
}

double f_od() {
        double r22480 = 2;
        double r22481 = 1;
        double r22482 = 9;
        double r22483 = r22481 / r22482;
        double r22484 = r22481 * r22483;
        double r22485 = r22483 * r22483;
        double r22486 = r22484 + r22485;
        double r22487 = r22483 * r22481;
        double r22488 = r22486 + r22487;
        double r22489 = r22480 * r22488;
        return r22489;
}

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 r22490, r22491, r22492, r22493, r22494, r22495, r22496, r22497, r22498, r22499;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22490, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22491, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22492, "9", 10, MPFR_RNDN);
        mpfr_init(r22493);
        mpfr_init(r22494);
        mpfr_init(r22495);
        mpfr_init(r22496);
        mpfr_init(r22497);
        mpfr_init(r22498);
        mpfr_init(r22499);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r22493, r22491, r22492, MPFR_RNDN);
        mpfr_mul(r22494, r22491, r22493, MPFR_RNDN);
        mpfr_mul(r22495, r22493, r22493, MPFR_RNDN);
        mpfr_add(r22496, r22494, r22495, MPFR_RNDN);
        mpfr_mul(r22497, r22493, r22491, MPFR_RNDN);
        mpfr_add(r22498, r22496, r22497, MPFR_RNDN);
        mpfr_mul(r22499, r22490, r22498, MPFR_RNDN);
        return mpfr_get_d(r22499, MPFR_RNDN);
}

static mpfr_t r22500, r22501, r22502, r22503, r22504, r22505, r22506, r22507, r22508, r22509;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22500, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22501, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22502, "9", 10, MPFR_RNDN);
        mpfr_init(r22503);
        mpfr_init(r22504);
        mpfr_init(r22505);
        mpfr_init(r22506);
        mpfr_init(r22507);
        mpfr_init(r22508);
        mpfr_init(r22509);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r22503, r22501, r22502, MPFR_RNDN);
        mpfr_mul(r22504, r22501, r22503, MPFR_RNDN);
        mpfr_mul(r22505, r22503, r22503, MPFR_RNDN);
        mpfr_add(r22506, r22504, r22505, MPFR_RNDN);
        mpfr_mul(r22507, r22503, r22501, MPFR_RNDN);
        mpfr_add(r22508, r22506, r22507, MPFR_RNDN);
        mpfr_mul(r22509, r22500, r22508, MPFR_RNDN);
        return mpfr_get_d(r22509, MPFR_RNDN);
}

static mpfr_t r22510, r22511, r22512, r22513, r22514, r22515, r22516, r22517, r22518, r22519;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22510, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22511, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22512, "9", 10, MPFR_RNDN);
        mpfr_init(r22513);
        mpfr_init(r22514);
        mpfr_init(r22515);
        mpfr_init(r22516);
        mpfr_init(r22517);
        mpfr_init(r22518);
        mpfr_init(r22519);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r22513, r22511, r22512, MPFR_RNDN);
        mpfr_mul(r22514, r22511, r22513, MPFR_RNDN);
        mpfr_mul(r22515, r22513, r22513, MPFR_RNDN);
        mpfr_add(r22516, r22514, r22515, MPFR_RNDN);
        mpfr_mul(r22517, r22513, r22511, MPFR_RNDN);
        mpfr_add(r22518, r22516, r22517, MPFR_RNDN);
        mpfr_mul(r22519, r22510, r22518, MPFR_RNDN);
        return mpfr_get_d(r22519, MPFR_RNDN);
}