#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 r40857 = 2;
        float r40858 = 1;
        float r40859 = 9;
        float r40860 = r40858 / r40859;
        float r40861 = r40858 * r40860;
        float r40862 = r40860 * r40860;
        float r40863 = r40861 + r40862;
        float r40864 = r40860 * r40858;
        float r40865 = r40863 + r40864;
        float r40866 = r40857 * r40865;
        return r40866;
}

double f_id() {
        double r40867 = 2;
        double r40868 = 1;
        double r40869 = 9;
        double r40870 = r40868 / r40869;
        double r40871 = r40868 * r40870;
        double r40872 = r40870 * r40870;
        double r40873 = r40871 + r40872;
        double r40874 = r40870 * r40868;
        double r40875 = r40873 + r40874;
        double r40876 = r40867 * r40875;
        return r40876;
}


double f_of() {
        float r40877 = 2;
        float r40878 = 1;
        float r40879 = 9;
        float r40880 = r40878 / r40879;
        float r40881 = r40878 * r40880;
        float r40882 = r40880 * r40880;
        float r40883 = r40881 + r40882;
        float r40884 = r40880 * r40878;
        float r40885 = r40883 + r40884;
        float r40886 = r40877 * r40885;
        return r40886;
}

double f_od() {
        double r40887 = 2;
        double r40888 = 1;
        double r40889 = 9;
        double r40890 = r40888 / r40889;
        double r40891 = r40888 * r40890;
        double r40892 = r40890 * r40890;
        double r40893 = r40891 + r40892;
        double r40894 = r40890 * r40888;
        double r40895 = r40893 + r40894;
        double r40896 = r40887 * r40895;
        return r40896;
}

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 r40897, r40898, r40899, r40900, r40901, r40902, r40903, r40904, r40905, r40906;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r40897, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r40898, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r40899, "9", 10, MPFR_RNDN);
        mpfr_init(r40900);
        mpfr_init(r40901);
        mpfr_init(r40902);
        mpfr_init(r40903);
        mpfr_init(r40904);
        mpfr_init(r40905);
        mpfr_init(r40906);
}

double f_im() {
        ;
        ;
        ;
        mpfr_div(r40900, r40898, r40899, MPFR_RNDN);
        mpfr_mul(r40901, r40898, r40900, MPFR_RNDN);
        mpfr_mul(r40902, r40900, r40900, MPFR_RNDN);
        mpfr_add(r40903, r40901, r40902, MPFR_RNDN);
        mpfr_mul(r40904, r40900, r40898, MPFR_RNDN);
        mpfr_add(r40905, r40903, r40904, MPFR_RNDN);
        mpfr_mul(r40906, r40897, r40905, MPFR_RNDN);
        return mpfr_get_d(r40906, MPFR_RNDN);
}

static mpfr_t r40907, r40908, r40909, r40910, r40911, r40912, r40913, r40914, r40915, r40916;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r40907, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r40908, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r40909, "9", 10, MPFR_RNDN);
        mpfr_init(r40910);
        mpfr_init(r40911);
        mpfr_init(r40912);
        mpfr_init(r40913);
        mpfr_init(r40914);
        mpfr_init(r40915);
        mpfr_init(r40916);
}

double f_fm() {
        ;
        ;
        ;
        mpfr_div(r40910, r40908, r40909, MPFR_RNDN);
        mpfr_mul(r40911, r40908, r40910, MPFR_RNDN);
        mpfr_mul(r40912, r40910, r40910, MPFR_RNDN);
        mpfr_add(r40913, r40911, r40912, MPFR_RNDN);
        mpfr_mul(r40914, r40910, r40908, MPFR_RNDN);
        mpfr_add(r40915, r40913, r40914, MPFR_RNDN);
        mpfr_mul(r40916, r40907, r40915, MPFR_RNDN);
        return mpfr_get_d(r40916, MPFR_RNDN);
}

static mpfr_t r40917, r40918, r40919, r40920, r40921, r40922, r40923, r40924, r40925, r40926;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r40917, "2", 10, MPFR_RNDN);
        mpfr_init_set_str(r40918, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r40919, "9", 10, MPFR_RNDN);
        mpfr_init(r40920);
        mpfr_init(r40921);
        mpfr_init(r40922);
        mpfr_init(r40923);
        mpfr_init(r40924);
        mpfr_init(r40925);
        mpfr_init(r40926);
}

double f_dm() {
        ;
        ;
        ;
        mpfr_div(r40920, r40918, r40919, MPFR_RNDN);
        mpfr_mul(r40921, r40918, r40920, MPFR_RNDN);
        mpfr_mul(r40922, r40920, r40920, MPFR_RNDN);
        mpfr_add(r40923, r40921, r40922, MPFR_RNDN);
        mpfr_mul(r40924, r40920, r40918, MPFR_RNDN);
        mpfr_add(r40925, r40923, r40924, MPFR_RNDN);
        mpfr_mul(r40926, r40917, r40925, MPFR_RNDN);
        return mpfr_get_d(r40926, MPFR_RNDN);
}