#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 r9543 = 2;
        float r9544 = 1;
        float r9545 = 9;
        float r9546 = r9544 / r9545;
        float r9547 = r9544 * r9546;
        float r9548 = r9546 * r9546;
        float r9549 = r9547 + r9548;
        float r9550 = r9546 * r9544;
        float r9551 = r9549 + r9550;
        float r9552 = r9543 * r9551;
        return r9552;
}

double f_id() {
        double r9553 = 2;
        double r9554 = 1;
        double r9555 = 9;
        double r9556 = r9554 / r9555;
        double r9557 = r9554 * r9556;
        double r9558 = r9556 * r9556;
        double r9559 = r9557 + r9558;
        double r9560 = r9556 * r9554;
        double r9561 = r9559 + r9560;
        double r9562 = r9553 * r9561;
        return r9562;
}


double f_of() {
        float r9563 = 2;
        float r9564 = 1;
        float r9565 = 9;
        float r9566 = r9564 / r9565;
        float r9567 = r9566 * r9566;
        float r9568 = r9567 + r9566;
        float r9569 = r9568 + r9566;
        float r9570 = r9563 * r9569;
        return r9570;
}

double f_od() {
        double r9571 = 2;
        double r9572 = 1;
        double r9573 = 9;
        double r9574 = r9572 / r9573;
        double r9575 = r9574 * r9574;
        double r9576 = r9575 + r9574;
        double r9577 = r9576 + r9574;
        double r9578 = r9571 * r9577;
        return r9578;
}

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 r9579, r9580, r9581, r9582, r9583, r9584, r9585, r9586, r9587, r9588;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9579, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9580, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9581, "9", 10, MPFR_RNDN);
        mpfr_init(r9582);
        mpfr_init(r9583);
        mpfr_init(r9584);
        mpfr_init(r9585);
        mpfr_init(r9586);
        mpfr_init(r9587);
        mpfr_init(r9588);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r9582, r9580, r9581, MPFR_RNDN);
        mpfr_mul(r9583, r9580, r9582, MPFR_RNDN);
        mpfr_mul(r9584, r9582, r9582, MPFR_RNDN);
        mpfr_add(r9585, r9583, r9584, MPFR_RNDN);
        mpfr_mul(r9586, r9582, r9580, MPFR_RNDN);
        mpfr_add(r9587, r9585, r9586, MPFR_RNDN);
        mpfr_mul(r9588, r9579, r9587, MPFR_RNDN);
        return mpfr_get_d(r9588, MPFR_RNDN);
}

static mpfr_t r9589, r9590, r9591, r9592, r9593, r9594, r9595, r9596;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9589, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9590, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9591, "9", 10, MPFR_RNDN);
        mpfr_init(r9592);
        mpfr_init(r9593);
        mpfr_init(r9594);
        mpfr_init(r9595);
        mpfr_init(r9596);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r9592, r9590, r9591, MPFR_RNDN);
        mpfr_mul(r9593, r9592, r9592, MPFR_RNDN);
        mpfr_add(r9594, r9593, r9592, MPFR_RNDN);
        mpfr_add(r9595, r9594, r9592, MPFR_RNDN);
        mpfr_mul(r9596, r9589, r9595, MPFR_RNDN);
        return mpfr_get_d(r9596, MPFR_RNDN);
}

static mpfr_t r9597, r9598, r9599, r9600, r9601, r9602, r9603, r9604;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9597, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9598, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9599, "9", 10, MPFR_RNDN);
        mpfr_init(r9600);
        mpfr_init(r9601);
        mpfr_init(r9602);
        mpfr_init(r9603);
        mpfr_init(r9604);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r9600, r9598, r9599, MPFR_RNDN);
        mpfr_mul(r9601, r9600, r9600, MPFR_RNDN);
        mpfr_add(r9602, r9601, r9600, MPFR_RNDN);
        mpfr_add(r9603, r9602, r9600, MPFR_RNDN);
        mpfr_mul(r9604, r9597, r9603, MPFR_RNDN);
        return mpfr_get_d(r9604, MPFR_RNDN);
}