#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 r9118 = 2.0f;
        float r9119 = 1.0f;
        float r9120 = 9.0f;
        float r9121 = r9119 / r9120;
        float r9122 = r9119 * r9121;
        float r9123 = r9121 * r9121;
        float r9124 = r9122 + r9123;
        float r9125 = r9121 * r9119;
        float r9126 = r9124 + r9125;
        float r9127 = r9118 * r9126;
        return r9127;
}

double f_id() {
        double r9128 = 2.0;
        double r9129 = 1.0;
        double r9130 = 9.0;
        double r9131 = r9129 / r9130;
        double r9132 = r9129 * r9131;
        double r9133 = r9131 * r9131;
        double r9134 = r9132 + r9133;
        double r9135 = r9131 * r9129;
        double r9136 = r9134 + r9135;
        double r9137 = r9128 * r9136;
        return r9137;
}


double f_of() {
        float r9138 = 2.0f;
        float r9139 = 1.0f;
        float r9140 = 9.0f;
        float r9141 = r9139 / r9140;
        float r9142 = r9141 * r9141;
        float r9143 = r9142 + r9141;
        float r9144 = r9143 + r9141;
        float r9145 = r9138 * r9144;
        return r9145;
}

double f_od() {
        double r9146 = 2.0;
        double r9147 = 1.0;
        double r9148 = 9.0;
        double r9149 = r9147 / r9148;
        double r9150 = r9149 * r9149;
        double r9151 = r9150 + r9149;
        double r9152 = r9151 + r9149;
        double r9153 = r9146 * r9152;
        return r9153;
}

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 r9154, r9155, r9156, r9157, r9158, r9159, r9160, r9161, r9162, r9163;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9154, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9155, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9156, "9", 10, MPFR_RNDN);
        mpfr_init(r9157);
        mpfr_init(r9158);
        mpfr_init(r9159);
        mpfr_init(r9160);
        mpfr_init(r9161);
        mpfr_init(r9162);
        mpfr_init(r9163);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r9157, r9155, r9156, MPFR_RNDN);
        mpfr_mul(r9158, r9155, r9157, MPFR_RNDN);
        mpfr_mul(r9159, r9157, r9157, MPFR_RNDN);
        mpfr_add(r9160, r9158, r9159, MPFR_RNDN);
        mpfr_mul(r9161, r9157, r9155, MPFR_RNDN);
        mpfr_add(r9162, r9160, r9161, MPFR_RNDN);
        mpfr_mul(r9163, r9154, r9162, MPFR_RNDN);
        return mpfr_get_d(r9163, MPFR_RNDN);
}

static mpfr_t r9164, r9165, r9166, r9167, r9168, r9169, r9170, r9171;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9164, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9165, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9166, "9", 10, MPFR_RNDN);
        mpfr_init(r9167);
        mpfr_init(r9168);
        mpfr_init(r9169);
        mpfr_init(r9170);
        mpfr_init(r9171);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r9167, r9165, r9166, MPFR_RNDN);
        mpfr_mul(r9168, r9167, r9167, MPFR_RNDN);
        mpfr_add(r9169, r9168, r9167, MPFR_RNDN);
        mpfr_add(r9170, r9169, r9167, MPFR_RNDN);
        mpfr_mul(r9171, r9164, r9170, MPFR_RNDN);
        return mpfr_get_d(r9171, MPFR_RNDN);
}

static mpfr_t r9172, r9173, r9174, r9175, r9176, r9177, r9178, r9179;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r9172, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r9173, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r9174, "9", 10, MPFR_RNDN);
        mpfr_init(r9175);
        mpfr_init(r9176);
        mpfr_init(r9177);
        mpfr_init(r9178);
        mpfr_init(r9179);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r9175, r9173, r9174, MPFR_RNDN);
        mpfr_mul(r9176, r9175, r9175, MPFR_RNDN);
        mpfr_add(r9177, r9176, r9175, MPFR_RNDN);
        mpfr_add(r9178, r9177, r9175, MPFR_RNDN);
        mpfr_mul(r9179, r9172, r9178, MPFR_RNDN);
        return mpfr_get_d(r9179, MPFR_RNDN);
}