#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 r26433 = x;
        float r26434 = y;
        float r26435 = z;
        float r26436 = r26434 / r26435;
        float r26437 = t;
        float r26438 = r26436 * r26437;
        float r26439 = r26438 / r26437;
        float r26440 = r26433 * r26439;
        return r26440;
}

double f_id(double x, double y, double z, double t) {
        double r26441 = x;
        double r26442 = y;
        double r26443 = z;
        double r26444 = r26442 / r26443;
        double r26445 = t;
        double r26446 = r26444 * r26445;
        double r26447 = r26446 / r26445;
        double r26448 = r26441 * r26447;
        return r26448;
}


double f_of(float x, float y, float z, float __attribute__((unused)) t) {
        float r26449 = x;
        float r26450 = y;
        float r26451 = r26449 * r26450;
        float r26452 = -3.3292212885791176e+213;
        bool r26453 = r26451 <= r26452;
        float r26454 = z;
        float r26455 = r26450 / r26454;
        float r26456 = r26449 * r26455;
        float r26457 = -3.2642610934559712e-288;
        bool r26458 = r26451 <= r26457;
        float r26459 = r26451 / r26454;
        float r26460 = 2.2378145291046333e-303;
        bool r26461 = r26451 <= r26460;
        float r26462 = 1.2401857462065563e+246;
        bool r26463 = r26451 <= r26462;
        float r26464 = r26463 ? r26459 : r26456;
        float r26465 = r26461 ? r26456 : r26464;
        float r26466 = r26458 ? r26459 : r26465;
        float r26467 = r26453 ? r26456 : r26466;
        return r26467;
}

double f_od(double x, double y, double z, double __attribute__((unused)) t) {
        double r26468 = x;
        double r26469 = y;
        double r26470 = r26468 * r26469;
        double r26471 = -3.3292212885791176e+213;
        bool r26472 = r26470 <= r26471;
        double r26473 = z;
        double r26474 = r26469 / r26473;
        double r26475 = r26468 * r26474;
        double r26476 = -3.2642610934559712e-288;
        bool r26477 = r26470 <= r26476;
        double r26478 = r26470 / r26473;
        double r26479 = 2.2378145291046333e-303;
        bool r26480 = r26470 <= r26479;
        double r26481 = 1.2401857462065563e+246;
        bool r26482 = r26470 <= r26481;
        double r26483 = r26482 ? r26478 : r26475;
        double r26484 = r26480 ? r26475 : r26483;
        double r26485 = r26477 ? r26478 : r26484;
        double r26486 = r26472 ? r26475 : r26485;
        return r26486;
}

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 r26487, r26488, r26489, r26490, r26491, r26492, r26493, r26494;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r26487);
        mpfr_init(r26488);
        mpfr_init(r26489);
        mpfr_init(r26490);
        mpfr_init(r26491);
        mpfr_init(r26492);
        mpfr_init(r26493);
        mpfr_init(r26494);
}

double f_im(double x, double y, double z, double t) {
        mpfr_set_d(r26487, x, MPFR_RNDN);
        mpfr_set_d(r26488, y, MPFR_RNDN);
        mpfr_set_d(r26489, z, MPFR_RNDN);
        mpfr_div(r26490, r26488, r26489, MPFR_RNDN);
        mpfr_set_d(r26491, t, MPFR_RNDN);
        mpfr_mul(r26492, r26490, r26491, MPFR_RNDN);
        mpfr_div(r26493, r26492, r26491, MPFR_RNDN);
        mpfr_mul(r26494, r26487, r26493, MPFR_RNDN);
        return mpfr_get_d(r26494, MPFR_RNDN);
}

static mpfr_t r26495, r26496, r26497, r26498, r26499, r26500, r26501, r26502, r26503, r26504, r26505, r26506, r26507, r26508, r26509, r26510, r26511, r26512, r26513;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26495);
        mpfr_init(r26496);
        mpfr_init(r26497);
        mpfr_init_set_str(r26498, "-3.3292212885791176e+213", 10, MPFR_RNDN);
        mpfr_init(r26499);
        mpfr_init(r26500);
        mpfr_init(r26501);
        mpfr_init(r26502);
        mpfr_init_set_str(r26503, "-3.2642610934559712e-288", 10, MPFR_RNDN);
        mpfr_init(r26504);
        mpfr_init(r26505);
        mpfr_init_set_str(r26506, "2.2378145291046333e-303", 10, MPFR_RNDN);
        mpfr_init(r26507);
        mpfr_init_set_str(r26508, "1.2401857462065563e+246", 10, MPFR_RNDN);
        mpfr_init(r26509);
        mpfr_init(r26510);
        mpfr_init(r26511);
        mpfr_init(r26512);
        mpfr_init(r26513);
}

double f_fm(double x, double y, double z, double __attribute__((unused)) t) {
        mpfr_set_d(r26495, x, MPFR_RNDN);
        mpfr_set_d(r26496, y, MPFR_RNDN);
        mpfr_mul(r26497, r26495, r26496, MPFR_RNDN);
        ;
        mpfr_set_si(r26499, mpfr_cmp(r26497, r26498) <= 0, MPFR_RNDN);
        mpfr_set_d(r26500, z, MPFR_RNDN);
        mpfr_div(r26501, r26496, r26500, MPFR_RNDN);
        mpfr_mul(r26502, r26495, r26501, MPFR_RNDN);
        ;
        mpfr_set_si(r26504, mpfr_cmp(r26497, r26503) <= 0, MPFR_RNDN);
        mpfr_div(r26505, r26497, r26500, MPFR_RNDN);
        ;
        mpfr_set_si(r26507, mpfr_cmp(r26497, r26506) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r26509, mpfr_cmp(r26497, r26508) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r26509, MPFR_RNDN)) { mpfr_set(r26510, r26505, MPFR_RNDN); } else { mpfr_set(r26510, r26502, MPFR_RNDN); };
        if (mpfr_get_si(r26507, MPFR_RNDN)) { mpfr_set(r26511, r26502, MPFR_RNDN); } else { mpfr_set(r26511, r26510, MPFR_RNDN); };
        if (mpfr_get_si(r26504, MPFR_RNDN)) { mpfr_set(r26512, r26505, MPFR_RNDN); } else { mpfr_set(r26512, r26511, MPFR_RNDN); };
        if (mpfr_get_si(r26499, MPFR_RNDN)) { mpfr_set(r26513, r26502, MPFR_RNDN); } else { mpfr_set(r26513, r26512, MPFR_RNDN); };
        return mpfr_get_d(r26513, MPFR_RNDN);
}

static mpfr_t r26514, r26515, r26516, r26517, r26518, r26519, r26520, r26521, r26522, r26523, r26524, r26525, r26526, r26527, r26528, r26529, r26530, r26531, r26532;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r26514);
        mpfr_init(r26515);
        mpfr_init(r26516);
        mpfr_init_set_str(r26517, "-3.3292212885791176e+213", 10, MPFR_RNDN);
        mpfr_init(r26518);
        mpfr_init(r26519);
        mpfr_init(r26520);
        mpfr_init(r26521);
        mpfr_init_set_str(r26522, "-3.2642610934559712e-288", 10, MPFR_RNDN);
        mpfr_init(r26523);
        mpfr_init(r26524);
        mpfr_init_set_str(r26525, "2.2378145291046333e-303", 10, MPFR_RNDN);
        mpfr_init(r26526);
        mpfr_init_set_str(r26527, "1.2401857462065563e+246", 10, MPFR_RNDN);
        mpfr_init(r26528);
        mpfr_init(r26529);
        mpfr_init(r26530);
        mpfr_init(r26531);
        mpfr_init(r26532);
}

double f_dm(double x, double y, double z, double __attribute__((unused)) t) {
        mpfr_set_d(r26514, x, MPFR_RNDN);
        mpfr_set_d(r26515, y, MPFR_RNDN);
        mpfr_mul(r26516, r26514, r26515, MPFR_RNDN);
        ;
        mpfr_set_si(r26518, mpfr_cmp(r26516, r26517) <= 0, MPFR_RNDN);
        mpfr_set_d(r26519, z, MPFR_RNDN);
        mpfr_div(r26520, r26515, r26519, MPFR_RNDN);
        mpfr_mul(r26521, r26514, r26520, MPFR_RNDN);
        ;
        mpfr_set_si(r26523, mpfr_cmp(r26516, r26522) <= 0, MPFR_RNDN);
        mpfr_div(r26524, r26516, r26519, MPFR_RNDN);
        ;
        mpfr_set_si(r26526, mpfr_cmp(r26516, r26525) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r26528, mpfr_cmp(r26516, r26527) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r26528, MPFR_RNDN)) { mpfr_set(r26529, r26524, MPFR_RNDN); } else { mpfr_set(r26529, r26521, MPFR_RNDN); };
        if (mpfr_get_si(r26526, MPFR_RNDN)) { mpfr_set(r26530, r26521, MPFR_RNDN); } else { mpfr_set(r26530, r26529, MPFR_RNDN); };
        if (mpfr_get_si(r26523, MPFR_RNDN)) { mpfr_set(r26531, r26524, MPFR_RNDN); } else { mpfr_set(r26531, r26530, MPFR_RNDN); };
        if (mpfr_get_si(r26518, MPFR_RNDN)) { mpfr_set(r26532, r26521, MPFR_RNDN); } else { mpfr_set(r26532, r26531, MPFR_RNDN); };
        return mpfr_get_d(r26532, MPFR_RNDN);
}