#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "Quotient of products";

double f_if(float a1, float a2, float b1, float b2) {
        float r27228 = a1;
        float r27229 = a2;
        float r27230 = r27228 * r27229;
        float r27231 = b1;
        float r27232 = b2;
        float r27233 = r27231 * r27232;
        float r27234 = r27230 / r27233;
        return r27234;
}

double f_id(double a1, double a2, double b1, double b2) {
        double r27235 = a1;
        double r27236 = a2;
        double r27237 = r27235 * r27236;
        double r27238 = b1;
        double r27239 = b2;
        double r27240 = r27238 * r27239;
        double r27241 = r27237 / r27240;
        return r27241;
}


double f_of(float a1, float a2, float b1, float b2) {
        float r27242 = b2;
        float r27243 = a1;
        float r27244 = a2;
        float r27245 = r27243 * r27244;
        float r27246 = r27242 / r27245;
        float r27247 = -1.863876160696964e+274;
        bool r27248 = r27246 <= r27247;
        float r27249 = b1;
        float r27250 = r27249 * r27242;
        float r27251 = r27250 / r27244;
        float r27252 = r27243 / r27251;
        float r27253 = -4.7730160798000866e-170;
        bool r27254 = r27246 <= r27253;
        float r27255 = 1;
        float r27256 = r27255 / r27249;
        float r27257 = r27246 / r27256;
        float r27258 = r27255 / r27257;
        float r27259 = 1.1036717243454331e-206;
        bool r27260 = r27246 <= r27259;
        float r27261 = r27249 / r27244;
        float r27262 = r27243 / r27261;
        float r27263 = r27262 / r27242;
        float r27264 = 3.309194595868243e+284;
        bool r27265 = r27246 <= r27264;
        float r27266 = r27265 ? r27258 : r27252;
        float r27267 = r27260 ? r27263 : r27266;
        float r27268 = r27254 ? r27258 : r27267;
        float r27269 = r27248 ? r27252 : r27268;
        return r27269;
}

double f_od(double a1, double a2, double b1, double b2) {
        double r27270 = b2;
        double r27271 = a1;
        double r27272 = a2;
        double r27273 = r27271 * r27272;
        double r27274 = r27270 / r27273;
        double r27275 = -1.863876160696964e+274;
        bool r27276 = r27274 <= r27275;
        double r27277 = b1;
        double r27278 = r27277 * r27270;
        double r27279 = r27278 / r27272;
        double r27280 = r27271 / r27279;
        double r27281 = -4.7730160798000866e-170;
        bool r27282 = r27274 <= r27281;
        double r27283 = 1;
        double r27284 = r27283 / r27277;
        double r27285 = r27274 / r27284;
        double r27286 = r27283 / r27285;
        double r27287 = 1.1036717243454331e-206;
        bool r27288 = r27274 <= r27287;
        double r27289 = r27277 / r27272;
        double r27290 = r27271 / r27289;
        double r27291 = r27290 / r27270;
        double r27292 = 3.309194595868243e+284;
        bool r27293 = r27274 <= r27292;
        double r27294 = r27293 ? r27286 : r27280;
        double r27295 = r27288 ? r27291 : r27294;
        double r27296 = r27282 ? r27286 : r27295;
        double r27297 = r27276 ? r27280 : r27296;
        return r27297;
}

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 r27298, r27299, r27300, r27301, r27302, r27303, r27304;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r27298);
        mpfr_init(r27299);
        mpfr_init(r27300);
        mpfr_init(r27301);
        mpfr_init(r27302);
        mpfr_init(r27303);
        mpfr_init(r27304);
}

double f_im(double a1, double a2, double b1, double b2) {
        mpfr_set_d(r27298, a1, MPFR_RNDN);
        mpfr_set_d(r27299, a2, MPFR_RNDN);
        mpfr_mul(r27300, r27298, r27299, MPFR_RNDN);
        mpfr_set_d(r27301, b1, MPFR_RNDN);
        mpfr_set_d(r27302, b2, MPFR_RNDN);
        mpfr_mul(r27303, r27301, r27302, MPFR_RNDN);
        mpfr_div(r27304, r27300, r27303, MPFR_RNDN);
        return mpfr_get_d(r27304, MPFR_RNDN);
}

static mpfr_t r27305, r27306, r27307, r27308, r27309, r27310, r27311, r27312, r27313, r27314, r27315, r27316, r27317, r27318, r27319, r27320, r27321, r27322, r27323, r27324, r27325, r27326, r27327, r27328, r27329, r27330, r27331, r27332;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r27305);
        mpfr_init(r27306);
        mpfr_init(r27307);
        mpfr_init(r27308);
        mpfr_init(r27309);
        mpfr_init_set_str(r27310, "-1.863876160696964e+274", 10, MPFR_RNDN);
        mpfr_init(r27311);
        mpfr_init(r27312);
        mpfr_init(r27313);
        mpfr_init(r27314);
        mpfr_init(r27315);
        mpfr_init_set_str(r27316, "-4.7730160798000866e-170", 10, MPFR_RNDN);
        mpfr_init(r27317);
        mpfr_init_set_str(r27318, "1", 10, MPFR_RNDN);
        mpfr_init(r27319);
        mpfr_init(r27320);
        mpfr_init(r27321);
        mpfr_init_set_str(r27322, "1.1036717243454331e-206", 10, MPFR_RNDN);
        mpfr_init(r27323);
        mpfr_init(r27324);
        mpfr_init(r27325);
        mpfr_init(r27326);
        mpfr_init_set_str(r27327, "3.309194595868243e+284", 10, MPFR_RNDN);
        mpfr_init(r27328);
        mpfr_init(r27329);
        mpfr_init(r27330);
        mpfr_init(r27331);
        mpfr_init(r27332);
}

double f_fm(double a1, double a2, double b1, double b2) {
        mpfr_set_d(r27305, b2, MPFR_RNDN);
        mpfr_set_d(r27306, a1, MPFR_RNDN);
        mpfr_set_d(r27307, a2, MPFR_RNDN);
        mpfr_mul(r27308, r27306, r27307, MPFR_RNDN);
        mpfr_div(r27309, r27305, r27308, MPFR_RNDN);
        ;
        mpfr_set_si(r27311, mpfr_cmp(r27309, r27310) <= 0, MPFR_RNDN);
        mpfr_set_d(r27312, b1, MPFR_RNDN);
        mpfr_mul(r27313, r27312, r27305, MPFR_RNDN);
        mpfr_div(r27314, r27313, r27307, MPFR_RNDN);
        mpfr_div(r27315, r27306, r27314, MPFR_RNDN);
        ;
        mpfr_set_si(r27317, mpfr_cmp(r27309, r27316) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r27319, r27318, r27312, MPFR_RNDN);
        mpfr_div(r27320, r27309, r27319, MPFR_RNDN);
        mpfr_div(r27321, r27318, r27320, MPFR_RNDN);
        ;
        mpfr_set_si(r27323, mpfr_cmp(r27309, r27322) <= 0, MPFR_RNDN);
        mpfr_div(r27324, r27312, r27307, MPFR_RNDN);
        mpfr_div(r27325, r27306, r27324, MPFR_RNDN);
        mpfr_div(r27326, r27325, r27305, MPFR_RNDN);
        ;
        mpfr_set_si(r27328, mpfr_cmp(r27309, r27327) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r27328, MPFR_RNDN)) { mpfr_set(r27329, r27321, MPFR_RNDN); } else { mpfr_set(r27329, r27315, MPFR_RNDN); };
        if (mpfr_get_si(r27323, MPFR_RNDN)) { mpfr_set(r27330, r27326, MPFR_RNDN); } else { mpfr_set(r27330, r27329, MPFR_RNDN); };
        if (mpfr_get_si(r27317, MPFR_RNDN)) { mpfr_set(r27331, r27321, MPFR_RNDN); } else { mpfr_set(r27331, r27330, MPFR_RNDN); };
        if (mpfr_get_si(r27311, MPFR_RNDN)) { mpfr_set(r27332, r27315, MPFR_RNDN); } else { mpfr_set(r27332, r27331, MPFR_RNDN); };
        return mpfr_get_d(r27332, MPFR_RNDN);
}

static mpfr_t r27333, r27334, r27335, r27336, r27337, r27338, r27339, r27340, r27341, r27342, r27343, r27344, r27345, r27346, r27347, r27348, r27349, r27350, r27351, r27352, r27353, r27354, r27355, r27356, r27357, r27358, r27359, r27360;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r27333);
        mpfr_init(r27334);
        mpfr_init(r27335);
        mpfr_init(r27336);
        mpfr_init(r27337);
        mpfr_init_set_str(r27338, "-1.863876160696964e+274", 10, MPFR_RNDN);
        mpfr_init(r27339);
        mpfr_init(r27340);
        mpfr_init(r27341);
        mpfr_init(r27342);
        mpfr_init(r27343);
        mpfr_init_set_str(r27344, "-4.7730160798000866e-170", 10, MPFR_RNDN);
        mpfr_init(r27345);
        mpfr_init_set_str(r27346, "1", 10, MPFR_RNDN);
        mpfr_init(r27347);
        mpfr_init(r27348);
        mpfr_init(r27349);
        mpfr_init_set_str(r27350, "1.1036717243454331e-206", 10, MPFR_RNDN);
        mpfr_init(r27351);
        mpfr_init(r27352);
        mpfr_init(r27353);
        mpfr_init(r27354);
        mpfr_init_set_str(r27355, "3.309194595868243e+284", 10, MPFR_RNDN);
        mpfr_init(r27356);
        mpfr_init(r27357);
        mpfr_init(r27358);
        mpfr_init(r27359);
        mpfr_init(r27360);
}

double f_dm(double a1, double a2, double b1, double b2) {
        mpfr_set_d(r27333, b2, MPFR_RNDN);
        mpfr_set_d(r27334, a1, MPFR_RNDN);
        mpfr_set_d(r27335, a2, MPFR_RNDN);
        mpfr_mul(r27336, r27334, r27335, MPFR_RNDN);
        mpfr_div(r27337, r27333, r27336, MPFR_RNDN);
        ;
        mpfr_set_si(r27339, mpfr_cmp(r27337, r27338) <= 0, MPFR_RNDN);
        mpfr_set_d(r27340, b1, MPFR_RNDN);
        mpfr_mul(r27341, r27340, r27333, MPFR_RNDN);
        mpfr_div(r27342, r27341, r27335, MPFR_RNDN);
        mpfr_div(r27343, r27334, r27342, MPFR_RNDN);
        ;
        mpfr_set_si(r27345, mpfr_cmp(r27337, r27344) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r27347, r27346, r27340, MPFR_RNDN);
        mpfr_div(r27348, r27337, r27347, MPFR_RNDN);
        mpfr_div(r27349, r27346, r27348, MPFR_RNDN);
        ;
        mpfr_set_si(r27351, mpfr_cmp(r27337, r27350) <= 0, MPFR_RNDN);
        mpfr_div(r27352, r27340, r27335, MPFR_RNDN);
        mpfr_div(r27353, r27334, r27352, MPFR_RNDN);
        mpfr_div(r27354, r27353, r27333, MPFR_RNDN);
        ;
        mpfr_set_si(r27356, mpfr_cmp(r27337, r27355) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r27356, MPFR_RNDN)) { mpfr_set(r27357, r27349, MPFR_RNDN); } else { mpfr_set(r27357, r27343, MPFR_RNDN); };
        if (mpfr_get_si(r27351, MPFR_RNDN)) { mpfr_set(r27358, r27354, MPFR_RNDN); } else { mpfr_set(r27358, r27357, MPFR_RNDN); };
        if (mpfr_get_si(r27345, MPFR_RNDN)) { mpfr_set(r27359, r27349, MPFR_RNDN); } else { mpfr_set(r27359, r27358, MPFR_RNDN); };
        if (mpfr_get_si(r27339, MPFR_RNDN)) { mpfr_set(r27360, r27343, MPFR_RNDN); } else { mpfr_set(r27360, r27359, MPFR_RNDN); };
        return mpfr_get_d(r27360, MPFR_RNDN);
}