#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 r22925 = 2;
        float r22926 = 1;
        float r22927 = 9;
        float r22928 = r22926 / r22927;
        float r22929 = r22926 * r22928;
        float r22930 = r22928 * r22928;
        float r22931 = r22929 + r22930;
        float r22932 = r22928 * r22926;
        float r22933 = r22931 + r22932;
        float r22934 = r22925 * r22933;
        return r22934;
}

double f_id() {
        double r22935 = 2;
        double r22936 = 1;
        double r22937 = 9;
        double r22938 = r22936 / r22937;
        double r22939 = r22936 * r22938;
        double r22940 = r22938 * r22938;
        double r22941 = r22939 + r22940;
        double r22942 = r22938 * r22936;
        double r22943 = r22941 + r22942;
        double r22944 = r22935 * r22943;
        return r22944;
}


double f_of() {
        float r22945 = 2;
        float r22946 = 1;
        float r22947 = 9;
        float r22948 = r22946 / r22947;
        float r22949 = r22948 * r22948;
        float r22950 = r22948 + r22949;
        float r22951 = r22948 + r22950;
        float r22952 = r22945 * r22951;
        return r22952;
}

double f_od() {
        double r22953 = 2;
        double r22954 = 1;
        double r22955 = 9;
        double r22956 = r22954 / r22955;
        double r22957 = r22956 * r22956;
        double r22958 = r22956 + r22957;
        double r22959 = r22956 + r22958;
        double r22960 = r22953 * r22959;
        return r22960;
}

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 r22961, r22962, r22963, r22964, r22965, r22966, r22967, r22968, r22969, r22970;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22961, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22962, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22963, "9", 10, MPFR_RNDN);
        mpfr_init(r22964);
        mpfr_init(r22965);
        mpfr_init(r22966);
        mpfr_init(r22967);
        mpfr_init(r22968);
        mpfr_init(r22969);
        mpfr_init(r22970);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r22964, r22962, r22963, MPFR_RNDN);
        mpfr_mul(r22965, r22962, r22964, MPFR_RNDN);
        mpfr_mul(r22966, r22964, r22964, MPFR_RNDN);
        mpfr_add(r22967, r22965, r22966, MPFR_RNDN);
        mpfr_mul(r22968, r22964, r22962, MPFR_RNDN);
        mpfr_add(r22969, r22967, r22968, MPFR_RNDN);
        mpfr_mul(r22970, r22961, r22969, MPFR_RNDN);
        return mpfr_get_d(r22970, MPFR_RNDN);
}

static mpfr_t r22971, r22972, r22973, r22974, r22975, r22976, r22977, r22978;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22971, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22972, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22973, "9", 10, MPFR_RNDN);
        mpfr_init(r22974);
        mpfr_init(r22975);
        mpfr_init(r22976);
        mpfr_init(r22977);
        mpfr_init(r22978);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r22974, r22972, r22973, MPFR_RNDN);
        mpfr_mul(r22975, r22974, r22974, MPFR_RNDN);
        mpfr_add(r22976, r22974, r22975, MPFR_RNDN);
        mpfr_add(r22977, r22974, r22976, MPFR_RNDN);
        mpfr_mul(r22978, r22971, r22977, MPFR_RNDN);
        return mpfr_get_d(r22978, MPFR_RNDN);
}

static mpfr_t r22979, r22980, r22981, r22982, r22983, r22984, r22985, r22986;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22979, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r22980, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22981, "9", 10, MPFR_RNDN);
        mpfr_init(r22982);
        mpfr_init(r22983);
        mpfr_init(r22984);
        mpfr_init(r22985);
        mpfr_init(r22986);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r22982, r22980, r22981, MPFR_RNDN);
        mpfr_mul(r22983, r22982, r22982, MPFR_RNDN);
        mpfr_add(r22984, r22982, r22983, MPFR_RNDN);
        mpfr_add(r22985, r22982, r22984, MPFR_RNDN);
        mpfr_mul(r22986, r22979, r22985, MPFR_RNDN);
        return mpfr_get_d(r22986, MPFR_RNDN);
}