#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 r16281066 = 2;
        float r16281067 = 1;
        float r16281068 = 9;
        float r16281069 = r16281067 / r16281068;
        float r16281070 = r16281067 * r16281069;
        float r16281071 = r16281069 * r16281069;
        float r16281072 = r16281070 + r16281071;
        float r16281073 = r16281069 * r16281067;
        float r16281074 = r16281072 + r16281073;
        float r16281075 = r16281066 * r16281074;
        return r16281075;
}

double f_id() {
        double r16281076 = 2;
        double r16281077 = 1;
        double r16281078 = 9;
        double r16281079 = r16281077 / r16281078;
        double r16281080 = r16281077 * r16281079;
        double r16281081 = r16281079 * r16281079;
        double r16281082 = r16281080 + r16281081;
        double r16281083 = r16281079 * r16281077;
        double r16281084 = r16281082 + r16281083;
        double r16281085 = r16281076 * r16281084;
        return r16281085;
}


double f_of() {
        float r16281086 = 2;
        float r16281087 = 1;
        float r16281088 = 9;
        float r16281089 = r16281087 / r16281088;
        float r16281090 = r16281087 * r16281089;
        float r16281091 = r16281089 * r16281089;
        float r16281092 = r16281090 + r16281091;
        float r16281093 = r16281089 * r16281087;
        float r16281094 = r16281092 + r16281093;
        float r16281095 = r16281086 * r16281094;
        return r16281095;
}

double f_od() {
        double r16281096 = 2;
        double r16281097 = 1;
        double r16281098 = 9;
        double r16281099 = r16281097 / r16281098;
        double r16281100 = r16281097 * r16281099;
        double r16281101 = r16281099 * r16281099;
        double r16281102 = r16281100 + r16281101;
        double r16281103 = r16281099 * r16281097;
        double r16281104 = r16281102 + r16281103;
        double r16281105 = r16281096 * r16281104;
        return r16281105;
}

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 r16281106, r16281107, r16281108, r16281109, r16281110, r16281111, r16281112, r16281113, r16281114, r16281115;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r16281106, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r16281107, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r16281108, "9", 10, MPFR_RNDN);
        mpfr_init(r16281109);
        mpfr_init(r16281110);
        mpfr_init(r16281111);
        mpfr_init(r16281112);
        mpfr_init(r16281113);
        mpfr_init(r16281114);
        mpfr_init(r16281115);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r16281109, r16281107, r16281108, MPFR_RNDN);
        mpfr_mul(r16281110, r16281107, r16281109, MPFR_RNDN);
        mpfr_mul(r16281111, r16281109, r16281109, MPFR_RNDN);
        mpfr_add(r16281112, r16281110, r16281111, MPFR_RNDN);
        mpfr_mul(r16281113, r16281109, r16281107, MPFR_RNDN);
        mpfr_add(r16281114, r16281112, r16281113, MPFR_RNDN);
        mpfr_mul(r16281115, r16281106, r16281114, MPFR_RNDN);
        return mpfr_get_d(r16281115, MPFR_RNDN);
}

static mpfr_t r16281116, r16281117, r16281118, r16281119, r16281120, r16281121, r16281122, r16281123, r16281124, r16281125;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r16281116, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r16281117, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r16281118, "9", 10, MPFR_RNDN);
        mpfr_init(r16281119);
        mpfr_init(r16281120);
        mpfr_init(r16281121);
        mpfr_init(r16281122);
        mpfr_init(r16281123);
        mpfr_init(r16281124);
        mpfr_init(r16281125);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r16281119, r16281117, r16281118, MPFR_RNDN);
        mpfr_mul(r16281120, r16281117, r16281119, MPFR_RNDN);
        mpfr_mul(r16281121, r16281119, r16281119, MPFR_RNDN);
        mpfr_add(r16281122, r16281120, r16281121, MPFR_RNDN);
        mpfr_mul(r16281123, r16281119, r16281117, MPFR_RNDN);
        mpfr_add(r16281124, r16281122, r16281123, MPFR_RNDN);
        mpfr_mul(r16281125, r16281116, r16281124, MPFR_RNDN);
        return mpfr_get_d(r16281125, MPFR_RNDN);
}

static mpfr_t r16281126, r16281127, r16281128, r16281129, r16281130, r16281131, r16281132, r16281133, r16281134, r16281135;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r16281126, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r16281127, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r16281128, "9", 10, MPFR_RNDN);
        mpfr_init(r16281129);
        mpfr_init(r16281130);
        mpfr_init(r16281131);
        mpfr_init(r16281132);
        mpfr_init(r16281133);
        mpfr_init(r16281134);
        mpfr_init(r16281135);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r16281129, r16281127, r16281128, MPFR_RNDN);
        mpfr_mul(r16281130, r16281127, r16281129, MPFR_RNDN);
        mpfr_mul(r16281131, r16281129, r16281129, MPFR_RNDN);
        mpfr_add(r16281132, r16281130, r16281131, MPFR_RNDN);
        mpfr_mul(r16281133, r16281129, r16281127, MPFR_RNDN);
        mpfr_add(r16281134, r16281132, r16281133, MPFR_RNDN);
        mpfr_mul(r16281135, r16281126, r16281134, MPFR_RNDN);
        return mpfr_get_d(r16281135, MPFR_RNDN);
}