#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 r9520 = 2;
        float r9521 = 1;
        float r9522 = 9;
        float r9523 = r9521 / r9522;
        float r9524 = r9521 * r9523;
        float r9525 = r9523 * r9523;
        float r9526 = r9524 + r9525;
        float r9527 = r9523 * r9521;
        float r9528 = r9526 + r9527;
        float r9529 = r9520 * r9528;
        return r9529;
}

double f_id() {
        double r9530 = 2;
        double r9531 = 1;
        double r9532 = 9;
        double r9533 = r9531 / r9532;
        double r9534 = r9531 * r9533;
        double r9535 = r9533 * r9533;
        double r9536 = r9534 + r9535;
        double r9537 = r9533 * r9531;
        double r9538 = r9536 + r9537;
        double r9539 = r9530 * r9538;
        return r9539;
}


double f_of() {
        float r9540 = 2;
        float r9541 = 1;
        float r9542 = 9;
        float r9543 = r9541 / r9542;
        float r9544 = r9543 * r9543;
        float r9545 = r9544 + r9543;
        float r9546 = r9545 + r9543;
        float r9547 = r9540 * r9546;
        return r9547;
}

double f_od() {
        double r9548 = 2;
        double r9549 = 1;
        double r9550 = 9;
        double r9551 = r9549 / r9550;
        double r9552 = r9551 * r9551;
        double r9553 = r9552 + r9551;
        double r9554 = r9553 + r9551;
        double r9555 = r9548 * r9554;
        return r9555;
}

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 r9556, r9557, r9558, r9559, r9560, r9561, r9562, r9563, r9564, r9565;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9556, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9557, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9558, "9", 10, MPFR_RNDN);
        mpfr_init(r9559);
        mpfr_init(r9560);
        mpfr_init(r9561);
        mpfr_init(r9562);
        mpfr_init(r9563);
        mpfr_init(r9564);
        mpfr_init(r9565);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r9559, r9557, r9558, MPFR_RNDN);
        mpfr_mul(r9560, r9557, r9559, MPFR_RNDN);
        mpfr_mul(r9561, r9559, r9559, MPFR_RNDN);
        mpfr_add(r9562, r9560, r9561, MPFR_RNDN);
        mpfr_mul(r9563, r9559, r9557, MPFR_RNDN);
        mpfr_add(r9564, r9562, r9563, MPFR_RNDN);
        mpfr_mul(r9565, r9556, r9564, MPFR_RNDN);
        return mpfr_get_d(r9565, MPFR_RNDN);
}

static mpfr_t r9566, r9567, r9568, r9569, r9570, r9571, r9572, r9573;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9566, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9567, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9568, "9", 10, MPFR_RNDN);
        mpfr_init(r9569);
        mpfr_init(r9570);
        mpfr_init(r9571);
        mpfr_init(r9572);
        mpfr_init(r9573);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r9569, r9567, r9568, MPFR_RNDN);
        mpfr_mul(r9570, r9569, r9569, MPFR_RNDN);
        mpfr_add(r9571, r9570, r9569, MPFR_RNDN);
        mpfr_add(r9572, r9571, r9569, MPFR_RNDN);
        mpfr_mul(r9573, r9566, r9572, MPFR_RNDN);
        return mpfr_get_d(r9573, MPFR_RNDN);
}

static mpfr_t r9574, r9575, r9576, r9577, r9578, r9579, r9580, r9581;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9574, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9575, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9576, "9", 10, MPFR_RNDN);
        mpfr_init(r9577);
        mpfr_init(r9578);
        mpfr_init(r9579);
        mpfr_init(r9580);
        mpfr_init(r9581);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r9577, r9575, r9576, MPFR_RNDN);
        mpfr_mul(r9578, r9577, r9577, MPFR_RNDN);
        mpfr_add(r9579, r9578, r9577, MPFR_RNDN);
        mpfr_add(r9580, r9579, r9577, MPFR_RNDN);
        mpfr_mul(r9581, r9574, r9580, MPFR_RNDN);
        return mpfr_get_d(r9581, MPFR_RNDN);
}