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

char *name = "Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, H";

double f_if(float x, float y) {
        float r35072 = x;
        float r35073 = 1.0;
        float r35074 = y;
        float r35075 = r35073 - r35074;
        float r35076 = r35072 * r35075;
        return r35076;
}

double f_id(double x, double y) {
        double r35077 = x;
        double r35078 = 1.0;
        double r35079 = y;
        double r35080 = r35078 - r35079;
        double r35081 = r35077 * r35080;
        return r35081;
}


double f_of(float x, float y) {
        float r35082 = x;
        float r35083 = 1.0;
        float r35084 = y;
        float r35085 = r35083 - r35084;
        float r35086 = r35082 * r35085;
        return r35086;
}

double f_od(double x, double y) {
        double r35087 = x;
        double r35088 = 1.0;
        double r35089 = y;
        double r35090 = r35088 - r35089;
        double r35091 = r35087 * r35090;
        return r35091;
}

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 r35092, r35093, r35094, r35095, r35096;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r35092);
        mpfr_init_set_str(r35093, "1.0", 10, MPFR_RNDN);
        mpfr_init(r35094);
        mpfr_init(r35095);
        mpfr_init(r35096);
}

double f_im(double x, double y) {
        mpfr_set_d(r35092, x, MPFR_RNDN);
        ;
        mpfr_set_d(r35094, y, MPFR_RNDN);
        mpfr_sub(r35095, r35093, r35094, MPFR_RNDN);
        mpfr_mul(r35096, r35092, r35095, MPFR_RNDN);
        return mpfr_get_d(r35096, MPFR_RNDN);
}

static mpfr_t r35097, r35098, r35099, r35100, r35101;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r35097);
        mpfr_init_set_str(r35098, "1.0", 10, MPFR_RNDN);
        mpfr_init(r35099);
        mpfr_init(r35100);
        mpfr_init(r35101);
}

double f_fm(double x, double y) {
        mpfr_set_d(r35097, x, MPFR_RNDN);
        ;
        mpfr_set_d(r35099, y, MPFR_RNDN);
        mpfr_sub(r35100, r35098, r35099, MPFR_RNDN);
        mpfr_mul(r35101, r35097, r35100, MPFR_RNDN);
        return mpfr_get_d(r35101, MPFR_RNDN);
}

static mpfr_t r35102, r35103, r35104, r35105, r35106;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r35102);
        mpfr_init_set_str(r35103, "1.0", 10, MPFR_RNDN);
        mpfr_init(r35104);
        mpfr_init(r35105);
        mpfr_init(r35106);
}

double f_dm(double x, double y) {
        mpfr_set_d(r35102, x, MPFR_RNDN);
        ;
        mpfr_set_d(r35104, y, MPFR_RNDN);
        mpfr_sub(r35105, r35103, r35104, MPFR_RNDN);
        mpfr_mul(r35106, r35102, r35105, MPFR_RNDN);
        return mpfr_get_d(r35106, MPFR_RNDN);
}