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

char *name = "Data.Colour.RGB:hslsv from colour-2.3.3, B";

double f_if(float x, float y, float z, float t, float a) {
        float r56946 = 60.0;
        float r56947 = x;
        float r56948 = y;
        float r56949 = r56947 - r56948;
        float r56950 = r56946 * r56949;
        float r56951 = z;
        float r56952 = t;
        float r56953 = r56951 - r56952;
        float r56954 = r56950 / r56953;
        float r56955 = a;
        float r56956 = 120.0;
        float r56957 = r56955 * r56956;
        float r56958 = r56954 + r56957;
        return r56958;
}

double f_id(double x, double y, double z, double t, double a) {
        double r56959 = 60.0;
        double r56960 = x;
        double r56961 = y;
        double r56962 = r56960 - r56961;
        double r56963 = r56959 * r56962;
        double r56964 = z;
        double r56965 = t;
        double r56966 = r56964 - r56965;
        double r56967 = r56963 / r56966;
        double r56968 = a;
        double r56969 = 120.0;
        double r56970 = r56968 * r56969;
        double r56971 = r56967 + r56970;
        return r56971;
}


double f_of(float x, float y, float z, float t, float a) {
        float r56972 = 60.0;
        float r56973 = z;
        float r56974 = t;
        float r56975 = r56973 - r56974;
        float r56976 = x;
        float r56977 = y;
        float r56978 = r56976 - r56977;
        float r56979 = r56975 / r56978;
        float r56980 = r56972 / r56979;
        float r56981 = a;
        float r56982 = 120.0;
        float r56983 = r56981 * r56982;
        float r56984 = r56980 + r56983;
        return r56984;
}

double f_od(double x, double y, double z, double t, double a) {
        double r56985 = 60.0;
        double r56986 = z;
        double r56987 = t;
        double r56988 = r56986 - r56987;
        double r56989 = x;
        double r56990 = y;
        double r56991 = r56989 - r56990;
        double r56992 = r56988 / r56991;
        double r56993 = r56985 / r56992;
        double r56994 = a;
        double r56995 = 120.0;
        double r56996 = r56994 * r56995;
        double r56997 = r56993 + r56996;
        return r56997;
}

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 r56998, r56999, r57000, r57001, r57002, r57003, r57004, r57005, r57006, r57007, r57008, r57009, r57010;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2192);
        mpfr_init_set_str(r56998, "60.0", 10, MPFR_RNDN);
        mpfr_init(r56999);
        mpfr_init(r57000);
        mpfr_init(r57001);
        mpfr_init(r57002);
        mpfr_init(r57003);
        mpfr_init(r57004);
        mpfr_init(r57005);
        mpfr_init(r57006);
        mpfr_init(r57007);
        mpfr_init_set_str(r57008, "120.0", 10, MPFR_RNDN);
        mpfr_init(r57009);
        mpfr_init(r57010);
}

double f_im(double x, double y, double z, double t, double a) {
        ;
        mpfr_set_d(r56999, x, MPFR_RNDN);
        mpfr_set_d(r57000, y, MPFR_RNDN);
        mpfr_sub(r57001, r56999, r57000, MPFR_RNDN);
        mpfr_mul(r57002, r56998, r57001, MPFR_RNDN);
        mpfr_set_d(r57003, z, MPFR_RNDN);
        mpfr_set_d(r57004, t, MPFR_RNDN);
        mpfr_sub(r57005, r57003, r57004, MPFR_RNDN);
        mpfr_div(r57006, r57002, r57005, MPFR_RNDN);
        mpfr_set_d(r57007, a, MPFR_RNDN);
        ;
        mpfr_mul(r57009, r57007, r57008, MPFR_RNDN);
        mpfr_add(r57010, r57006, r57009, MPFR_RNDN);
        return mpfr_get_d(r57010, MPFR_RNDN);
}

static mpfr_t r57011, r57012, r57013, r57014, r57015, r57016, r57017, r57018, r57019, r57020, r57021, r57022, r57023;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2192);
        mpfr_init_set_str(r57011, "60.0", 10, MPFR_RNDN);
        mpfr_init(r57012);
        mpfr_init(r57013);
        mpfr_init(r57014);
        mpfr_init(r57015);
        mpfr_init(r57016);
        mpfr_init(r57017);
        mpfr_init(r57018);
        mpfr_init(r57019);
        mpfr_init(r57020);
        mpfr_init_set_str(r57021, "120.0", 10, MPFR_RNDN);
        mpfr_init(r57022);
        mpfr_init(r57023);
}

double f_fm(double x, double y, double z, double t, double a) {
        ;
        mpfr_set_d(r57012, z, MPFR_RNDN);
        mpfr_set_d(r57013, t, MPFR_RNDN);
        mpfr_sub(r57014, r57012, r57013, MPFR_RNDN);
        mpfr_set_d(r57015, x, MPFR_RNDN);
        mpfr_set_d(r57016, y, MPFR_RNDN);
        mpfr_sub(r57017, r57015, r57016, MPFR_RNDN);
        mpfr_div(r57018, r57014, r57017, MPFR_RNDN);
        mpfr_div(r57019, r57011, r57018, MPFR_RNDN);
        mpfr_set_d(r57020, a, MPFR_RNDN);
        ;
        mpfr_mul(r57022, r57020, r57021, MPFR_RNDN);
        mpfr_add(r57023, r57019, r57022, MPFR_RNDN);
        return mpfr_get_d(r57023, MPFR_RNDN);
}

static mpfr_t r57024, r57025, r57026, r57027, r57028, r57029, r57030, r57031, r57032, r57033, r57034, r57035, r57036;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2192);
        mpfr_init_set_str(r57024, "60.0", 10, MPFR_RNDN);
        mpfr_init(r57025);
        mpfr_init(r57026);
        mpfr_init(r57027);
        mpfr_init(r57028);
        mpfr_init(r57029);
        mpfr_init(r57030);
        mpfr_init(r57031);
        mpfr_init(r57032);
        mpfr_init(r57033);
        mpfr_init_set_str(r57034, "120.0", 10, MPFR_RNDN);
        mpfr_init(r57035);
        mpfr_init(r57036);
}

double f_dm(double x, double y, double z, double t, double a) {
        ;
        mpfr_set_d(r57025, z, MPFR_RNDN);
        mpfr_set_d(r57026, t, MPFR_RNDN);
        mpfr_sub(r57027, r57025, r57026, MPFR_RNDN);
        mpfr_set_d(r57028, x, MPFR_RNDN);
        mpfr_set_d(r57029, y, MPFR_RNDN);
        mpfr_sub(r57030, r57028, r57029, MPFR_RNDN);
        mpfr_div(r57031, r57027, r57030, MPFR_RNDN);
        mpfr_div(r57032, r57024, r57031, MPFR_RNDN);
        mpfr_set_d(r57033, a, MPFR_RNDN);
        ;
        mpfr_mul(r57035, r57033, r57034, MPFR_RNDN);
        mpfr_add(r57036, r57032, r57035, MPFR_RNDN);
        return mpfr_get_d(r57036, MPFR_RNDN);
}