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

char *name = "Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, F";

double f_if(float x) {
        float r35064 = x;
        float r35065 = 1.0;
        float r35066 = 3.0;
        float r35067 = r35065 / r35066;
        float r35068 = r35064 + r35067;
        return r35068;
}

double f_id(double x) {
        double r35069 = x;
        double r35070 = 1.0;
        double r35071 = 3.0;
        double r35072 = r35070 / r35071;
        double r35073 = r35069 + r35072;
        return r35073;
}


double f_of(float x) {
        float r35074 = x;
        float r35075 = 1.0;
        float r35076 = 3.0;
        float r35077 = r35075 / r35076;
        float r35078 = r35074 + r35077;
        return r35078;
}

double f_od(double x) {
        double r35079 = x;
        double r35080 = 1.0;
        double r35081 = 3.0;
        double r35082 = r35080 / r35081;
        double r35083 = r35079 + r35082;
        return r35083;
}

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 r35084, r35085, r35086, r35087, r35088;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r35084);
        mpfr_init_set_str(r35085, "1.0", 10, MPFR_RNDN);
        mpfr_init_set_str(r35086, "3.0", 10, MPFR_RNDN);
        mpfr_init(r35087);
        mpfr_init(r35088);
}

double f_im(double x) {
        mpfr_set_d(r35084, x, MPFR_RNDN);
        ;
        ;
        mpfr_div(r35087, r35085, r35086, MPFR_RNDN);
        mpfr_add(r35088, r35084, r35087, MPFR_RNDN);
        return mpfr_get_d(r35088, MPFR_RNDN);
}

static mpfr_t r35089, r35090, r35091, r35092, r35093;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r35089);
        mpfr_init_set_str(r35090, "1.0", 10, MPFR_RNDN);
        mpfr_init_set_str(r35091, "3.0", 10, MPFR_RNDN);
        mpfr_init(r35092);
        mpfr_init(r35093);
}

double f_fm(double x) {
        mpfr_set_d(r35089, x, MPFR_RNDN);
        ;
        ;
        mpfr_div(r35092, r35090, r35091, MPFR_RNDN);
        mpfr_add(r35093, r35089, r35092, MPFR_RNDN);
        return mpfr_get_d(r35093, MPFR_RNDN);
}

static mpfr_t r35094, r35095, r35096, r35097, r35098;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r35094);
        mpfr_init_set_str(r35095, "1.0", 10, MPFR_RNDN);
        mpfr_init_set_str(r35096, "3.0", 10, MPFR_RNDN);
        mpfr_init(r35097);
        mpfr_init(r35098);
}

double f_dm(double x) {
        mpfr_set_d(r35094, x, MPFR_RNDN);
        ;
        ;
        mpfr_div(r35097, r35095, r35096, MPFR_RNDN);
        mpfr_add(r35098, r35094, r35097, MPFR_RNDN);
        return mpfr_get_d(r35098, MPFR_RNDN);
}