#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 r41303 = 2;
        float r41304 = 1;
        float r41305 = 9;
        float r41306 = r41304 / r41305;
        float r41307 = r41304 * r41306;
        float r41308 = r41306 * r41306;
        float r41309 = r41307 + r41308;
        float r41310 = r41306 * r41304;
        float r41311 = r41309 + r41310;
        float r41312 = r41303 * r41311;
        return r41312;
}

double f_id() {
        double r41313 = 2;
        double r41314 = 1;
        double r41315 = 9;
        double r41316 = r41314 / r41315;
        double r41317 = r41314 * r41316;
        double r41318 = r41316 * r41316;
        double r41319 = r41317 + r41318;
        double r41320 = r41316 * r41314;
        double r41321 = r41319 + r41320;
        double r41322 = r41313 * r41321;
        return r41322;
}


double f_of() {
        float r41323 = 2;
        float r41324 = 1;
        float r41325 = 9;
        float r41326 = r41324 / r41325;
        float r41327 = r41324 * r41326;
        float r41328 = r41326 * r41326;
        float r41329 = r41327 + r41328;
        float r41330 = r41326 * r41324;
        float r41331 = r41329 + r41330;
        float r41332 = r41323 * r41331;
        return r41332;
}

double f_od() {
        double r41333 = 2;
        double r41334 = 1;
        double r41335 = 9;
        double r41336 = r41334 / r41335;
        double r41337 = r41334 * r41336;
        double r41338 = r41336 * r41336;
        double r41339 = r41337 + r41338;
        double r41340 = r41336 * r41334;
        double r41341 = r41339 + r41340;
        double r41342 = r41333 * r41341;
        return r41342;
}

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 r41343, r41344, r41345, r41346, r41347, r41348, r41349, r41350, r41351, r41352;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r41343, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r41344, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r41345, "9", 10, MPFR_RNDN);
        mpfr_init(r41346);
        mpfr_init(r41347);
        mpfr_init(r41348);
        mpfr_init(r41349);
        mpfr_init(r41350);
        mpfr_init(r41351);
        mpfr_init(r41352);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r41346, r41344, r41345, MPFR_RNDN);
        mpfr_mul(r41347, r41344, r41346, MPFR_RNDN);
        mpfr_mul(r41348, r41346, r41346, MPFR_RNDN);
        mpfr_add(r41349, r41347, r41348, MPFR_RNDN);
        mpfr_mul(r41350, r41346, r41344, MPFR_RNDN);
        mpfr_add(r41351, r41349, r41350, MPFR_RNDN);
        mpfr_mul(r41352, r41343, r41351, MPFR_RNDN);
        return mpfr_get_d(r41352, MPFR_RNDN);
}

static mpfr_t r41353, r41354, r41355, r41356, r41357, r41358, r41359, r41360, r41361, r41362;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r41353, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r41354, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r41355, "9", 10, MPFR_RNDN);
        mpfr_init(r41356);
        mpfr_init(r41357);
        mpfr_init(r41358);
        mpfr_init(r41359);
        mpfr_init(r41360);
        mpfr_init(r41361);
        mpfr_init(r41362);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r41356, r41354, r41355, MPFR_RNDN);
        mpfr_mul(r41357, r41354, r41356, MPFR_RNDN);
        mpfr_mul(r41358, r41356, r41356, MPFR_RNDN);
        mpfr_add(r41359, r41357, r41358, MPFR_RNDN);
        mpfr_mul(r41360, r41356, r41354, MPFR_RNDN);
        mpfr_add(r41361, r41359, r41360, MPFR_RNDN);
        mpfr_mul(r41362, r41353, r41361, MPFR_RNDN);
        return mpfr_get_d(r41362, MPFR_RNDN);
}

static mpfr_t r41363, r41364, r41365, r41366, r41367, r41368, r41369, r41370, r41371, r41372;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r41363, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r41364, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r41365, "9", 10, MPFR_RNDN);
        mpfr_init(r41366);
        mpfr_init(r41367);
        mpfr_init(r41368);
        mpfr_init(r41369);
        mpfr_init(r41370);
        mpfr_init(r41371);
        mpfr_init(r41372);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r41366, r41364, r41365, MPFR_RNDN);
        mpfr_mul(r41367, r41364, r41366, MPFR_RNDN);
        mpfr_mul(r41368, r41366, r41366, MPFR_RNDN);
        mpfr_add(r41369, r41367, r41368, MPFR_RNDN);
        mpfr_mul(r41370, r41366, r41364, MPFR_RNDN);
        mpfr_add(r41371, r41369, r41370, MPFR_RNDN);
        mpfr_mul(r41372, r41363, r41371, MPFR_RNDN);
        return mpfr_get_d(r41372, MPFR_RNDN);
}