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

char *name = "NMSE problem 3.3.1";

double f_if(float x) {
        float r26924 = 1.0f;
        float r26925 = x;
        float r26926 = r26925 + r26924;
        float r26927 = r26924 / r26926;
        float r26928 = r26924 / r26925;
        float r26929 = r26927 - r26928;
        return r26929;
}

double f_id(double x) {
        double r26930 = 1.0;
        double r26931 = x;
        double r26932 = r26931 + r26930;
        double r26933 = r26930 / r26932;
        double r26934 = r26930 / r26931;
        double r26935 = r26933 - r26934;
        return r26935;
}


double f_of(float x) {
        float r26936 = 1.0f;
        float r26937 = -r26936;
        float r26938 = x;
        float r26939 = r26936 + r26938;
        float r26940 = r26937 / r26939;
        float r26941 = r26940 / r26938;
        return r26941;
}

double f_od(double x) {
        double r26942 = 1.0;
        double r26943 = -r26942;
        double r26944 = x;
        double r26945 = r26942 + r26944;
        double r26946 = r26943 / r26945;
        double r26947 = r26946 / r26944;
        return r26947;
}

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 r26948, r26949, r26950, r26951, r26952, r26953;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(912);
        mpfr_init_set_str(r26948, "1", 10, MPFR_RNDN);
        mpfr_init(r26949);
        mpfr_init(r26950);
        mpfr_init(r26951);
        mpfr_init(r26952);
        mpfr_init(r26953);
}

double f_im(double x) {
        ;
        mpfr_set_d(r26949, x, MPFR_RNDN);
        mpfr_add(r26950, r26949, r26948, MPFR_RNDN);
        mpfr_div(r26951, r26948, r26950, MPFR_RNDN);
        mpfr_div(r26952, r26948, r26949, MPFR_RNDN);
        mpfr_sub(r26953, r26951, r26952, MPFR_RNDN);
        return mpfr_get_d(r26953, MPFR_RNDN);
}

static mpfr_t r26954, r26955, r26956, r26957, r26958, r26959;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(912);
        mpfr_init_set_str(r26954, "1", 10, MPFR_RNDN);
        mpfr_init(r26955);
        mpfr_init(r26956);
        mpfr_init(r26957);
        mpfr_init(r26958);
        mpfr_init(r26959);
}

double f_fm(double x) {
        ;
        mpfr_neg(r26955, r26954, MPFR_RNDN);
        mpfr_set_d(r26956, x, MPFR_RNDN);
        mpfr_add(r26957, r26954, r26956, MPFR_RNDN);
        mpfr_div(r26958, r26955, r26957, MPFR_RNDN);
        mpfr_div(r26959, r26958, r26956, MPFR_RNDN);
        return mpfr_get_d(r26959, MPFR_RNDN);
}

static mpfr_t r26960, r26961, r26962, r26963, r26964, r26965;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(912);
        mpfr_init_set_str(r26960, "1", 10, MPFR_RNDN);
        mpfr_init(r26961);
        mpfr_init(r26962);
        mpfr_init(r26963);
        mpfr_init(r26964);
        mpfr_init(r26965);
}

double f_dm(double x) {
        ;
        mpfr_neg(r26961, r26960, MPFR_RNDN);
        mpfr_set_d(r26962, x, MPFR_RNDN);
        mpfr_add(r26963, r26960, r26962, MPFR_RNDN);
        mpfr_div(r26964, r26961, r26963, MPFR_RNDN);
        mpfr_div(r26965, r26964, r26962, MPFR_RNDN);
        return mpfr_get_d(r26965, MPFR_RNDN);
}

