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

char *name = "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1";

double f_if(float x, float y, float z, float t) {
        float r24223 = x;
        float r24224 = y;
        float r24225 = z;
        float r24226 = r24224 / r24225;
        float r24227 = t;
        float r24228 = r24226 * r24227;
        float r24229 = r24228 / r24227;
        float r24230 = r24223 * r24229;
        return r24230;
}

double f_id(double x, double y, double z, double t) {
        double r24231 = x;
        double r24232 = y;
        double r24233 = z;
        double r24234 = r24232 / r24233;
        double r24235 = t;
        double r24236 = r24234 * r24235;
        double r24237 = r24236 / r24235;
        double r24238 = r24231 * r24237;
        return r24238;
}


double f_of(float x, float y, float z, float __attribute__((unused)) t) {
        float r24239 = x;
        float r24240 = y;
        float r24241 = r24239 * r24240;
        float r24242 = -1.7124367751371198e+269;
        bool r24243 = r24241 <= r24242;
        float r24244 = z;
        float r24245 = r24240 / r24244;
        float r24246 = r24239 * r24245;
        float r24247 = -7.851297223846804e-276;
        bool r24248 = r24241 <= r24247;
        float r24249 = r24241 / r24244;
        float r24250 = 2.278079078415076e-304;
        bool r24251 = r24241 <= r24250;
        float r24252 = 4.059792223425976e+280;
        bool r24253 = r24241 <= r24252;
        float r24254 = r24253 ? r24249 : r24246;
        float r24255 = r24251 ? r24246 : r24254;
        float r24256 = r24248 ? r24249 : r24255;
        float r24257 = r24243 ? r24246 : r24256;
        return r24257;
}

double f_od(double x, double y, double z, double __attribute__((unused)) t) {
        double r24258 = x;
        double r24259 = y;
        double r24260 = r24258 * r24259;
        double r24261 = -1.7124367751371198e+269;
        bool r24262 = r24260 <= r24261;
        double r24263 = z;
        double r24264 = r24259 / r24263;
        double r24265 = r24258 * r24264;
        double r24266 = -7.851297223846804e-276;
        bool r24267 = r24260 <= r24266;
        double r24268 = r24260 / r24263;
        double r24269 = 2.278079078415076e-304;
        bool r24270 = r24260 <= r24269;
        double r24271 = 4.059792223425976e+280;
        bool r24272 = r24260 <= r24271;
        double r24273 = r24272 ? r24268 : r24265;
        double r24274 = r24270 ? r24265 : r24273;
        double r24275 = r24267 ? r24268 : r24274;
        double r24276 = r24262 ? r24265 : r24275;
        return r24276;
}

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 r24277, r24278, r24279, r24280, r24281, r24282, r24283, r24284;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r24277);
        mpfr_init(r24278);
        mpfr_init(r24279);
        mpfr_init(r24280);
        mpfr_init(r24281);
        mpfr_init(r24282);
        mpfr_init(r24283);
        mpfr_init(r24284);
}

double f_im(double x, double y, double z, double t) {
        mpfr_set_d(r24277, x, MPFR_RNDN);
        mpfr_set_d(r24278, y, MPFR_RNDN);
        mpfr_set_d(r24279, z, MPFR_RNDN);
        mpfr_div(r24280, r24278, r24279, MPFR_RNDN);
        mpfr_set_d(r24281, t, MPFR_RNDN);
        mpfr_mul(r24282, r24280, r24281, MPFR_RNDN);
        mpfr_div(r24283, r24282, r24281, MPFR_RNDN);
        mpfr_mul(r24284, r24277, r24283, MPFR_RNDN);
        return mpfr_get_d(r24284, MPFR_RNDN);
}

static mpfr_t r24285, r24286, r24287, r24288, r24289, r24290, r24291, r24292, r24293, r24294, r24295, r24296, r24297, r24298, r24299, r24300, r24301, r24302, r24303;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r24285);
        mpfr_init(r24286);
        mpfr_init(r24287);
        mpfr_init_set_str(r24288, "-1.7124367751371198e+269", 10, MPFR_RNDN);
        mpfr_init(r24289);
        mpfr_init(r24290);
        mpfr_init(r24291);
        mpfr_init(r24292);
        mpfr_init_set_str(r24293, "-7.851297223846804e-276", 10, MPFR_RNDN);
        mpfr_init(r24294);
        mpfr_init(r24295);
        mpfr_init_set_str(r24296, "2.278079078415076e-304", 10, MPFR_RNDN);
        mpfr_init(r24297);
        mpfr_init_set_str(r24298, "4.059792223425976e+280", 10, MPFR_RNDN);
        mpfr_init(r24299);
        mpfr_init(r24300);
        mpfr_init(r24301);
        mpfr_init(r24302);
        mpfr_init(r24303);
}

double f_fm(double x, double y, double z, double __attribute__((unused)) t) {
        mpfr_set_d(r24285, x, MPFR_RNDN);
        mpfr_set_d(r24286, y, MPFR_RNDN);
        mpfr_mul(r24287, r24285, r24286, MPFR_RNDN);
        ;
        mpfr_set_si(r24289, mpfr_cmp(r24287, r24288) <= 0, MPFR_RNDN);
        mpfr_set_d(r24290, z, MPFR_RNDN);
        mpfr_div(r24291, r24286, r24290, MPFR_RNDN);
        mpfr_mul(r24292, r24285, r24291, MPFR_RNDN);
        ;
        mpfr_set_si(r24294, mpfr_cmp(r24287, r24293) <= 0, MPFR_RNDN);
        mpfr_div(r24295, r24287, r24290, MPFR_RNDN);
        ;
        mpfr_set_si(r24297, mpfr_cmp(r24287, r24296) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r24299, mpfr_cmp(r24287, r24298) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r24299, MPFR_RNDN)) { mpfr_set(r24300, r24295, MPFR_RNDN); } else { mpfr_set(r24300, r24292, MPFR_RNDN); };
        if (mpfr_get_si(r24297, MPFR_RNDN)) { mpfr_set(r24301, r24292, MPFR_RNDN); } else { mpfr_set(r24301, r24300, MPFR_RNDN); };
        if (mpfr_get_si(r24294, MPFR_RNDN)) { mpfr_set(r24302, r24295, MPFR_RNDN); } else { mpfr_set(r24302, r24301, MPFR_RNDN); };
        if (mpfr_get_si(r24289, MPFR_RNDN)) { mpfr_set(r24303, r24292, MPFR_RNDN); } else { mpfr_set(r24303, r24302, MPFR_RNDN); };
        return mpfr_get_d(r24303, MPFR_RNDN);
}

static mpfr_t r24304, r24305, r24306, r24307, r24308, r24309, r24310, r24311, r24312, r24313, r24314, r24315, r24316, r24317, r24318, r24319, r24320, r24321, r24322;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r24304);
        mpfr_init(r24305);
        mpfr_init(r24306);
        mpfr_init_set_str(r24307, "-1.7124367751371198e+269", 10, MPFR_RNDN);
        mpfr_init(r24308);
        mpfr_init(r24309);
        mpfr_init(r24310);
        mpfr_init(r24311);
        mpfr_init_set_str(r24312, "-7.851297223846804e-276", 10, MPFR_RNDN);
        mpfr_init(r24313);
        mpfr_init(r24314);
        mpfr_init_set_str(r24315, "2.278079078415076e-304", 10, MPFR_RNDN);
        mpfr_init(r24316);
        mpfr_init_set_str(r24317, "4.059792223425976e+280", 10, MPFR_RNDN);
        mpfr_init(r24318);
        mpfr_init(r24319);
        mpfr_init(r24320);
        mpfr_init(r24321);
        mpfr_init(r24322);
}

double f_dm(double x, double y, double z, double __attribute__((unused)) t) {
        mpfr_set_d(r24304, x, MPFR_RNDN);
        mpfr_set_d(r24305, y, MPFR_RNDN);
        mpfr_mul(r24306, r24304, r24305, MPFR_RNDN);
        ;
        mpfr_set_si(r24308, mpfr_cmp(r24306, r24307) <= 0, MPFR_RNDN);
        mpfr_set_d(r24309, z, MPFR_RNDN);
        mpfr_div(r24310, r24305, r24309, MPFR_RNDN);
        mpfr_mul(r24311, r24304, r24310, MPFR_RNDN);
        ;
        mpfr_set_si(r24313, mpfr_cmp(r24306, r24312) <= 0, MPFR_RNDN);
        mpfr_div(r24314, r24306, r24309, MPFR_RNDN);
        ;
        mpfr_set_si(r24316, mpfr_cmp(r24306, r24315) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r24318, mpfr_cmp(r24306, r24317) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r24318, MPFR_RNDN)) { mpfr_set(r24319, r24314, MPFR_RNDN); } else { mpfr_set(r24319, r24311, MPFR_RNDN); };
        if (mpfr_get_si(r24316, MPFR_RNDN)) { mpfr_set(r24320, r24311, MPFR_RNDN); } else { mpfr_set(r24320, r24319, MPFR_RNDN); };
        if (mpfr_get_si(r24313, MPFR_RNDN)) { mpfr_set(r24321, r24314, MPFR_RNDN); } else { mpfr_set(r24321, r24320, MPFR_RNDN); };
        if (mpfr_get_si(r24308, MPFR_RNDN)) { mpfr_set(r24322, r24311, MPFR_RNDN); } else { mpfr_set(r24322, r24321, MPFR_RNDN); };
        return mpfr_get_d(r24322, MPFR_RNDN);
}