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

char *name = "NMSE example 3.5";

double f_if(float N) {
        float r16922 = N;
        float r16923 = 1.0f;
        float r16924 = r16922 + r16923;
        float r16925 = atan(r16924);
        float r16926 = atan(r16922);
        float r16927 = r16925 - r16926;
        return r16927;
}

double f_id(double N) {
        double r16928 = N;
        double r16929 = 1.0;
        double r16930 = r16928 + r16929;
        double r16931 = atan(r16930);
        double r16932 = atan(r16928);
        double r16933 = r16931 - r16932;
        return r16933;
}


double f_of(float N) {
        float r16934 = 1.0f;
        float r16935 = 0.0f;
        float r16936 = r16934 - r16935;
        float r16937 = N;
        float r16938 = r16934 + r16937;
        float r16939 = fma(r16937, r16938, r16934);
        float r16940 = atan2(r16936, r16939);
        return r16940;
}

double f_od(double N) {
        double r16941 = 1.0;
        double r16942 = 0.0;
        double r16943 = r16941 - r16942;
        double r16944 = N;
        double r16945 = r16941 + r16944;
        double r16946 = fma(r16944, r16945, r16941);
        double r16947 = atan2(r16943, r16946);
        return r16947;
}

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 r16948, r16949, r16950, r16951, r16952, r16953;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r16948);
        mpfr_init_set_str(r16949, "1", 10, MPFR_RNDN);
        mpfr_init(r16950);
        mpfr_init(r16951);
        mpfr_init(r16952);
        mpfr_init(r16953);
}

double f_im(double N) {
        mpfr_set_d(r16948, N, MPFR_RNDN);
        ;
        mpfr_add(r16950, r16948, r16949, MPFR_RNDN);
        mpfr_atan(r16951, r16950, MPFR_RNDN);
        mpfr_atan(r16952, r16948, MPFR_RNDN);
        mpfr_sub(r16953, r16951, r16952, MPFR_RNDN);
        return mpfr_get_d(r16953, MPFR_RNDN);
}

static mpfr_t r16954, r16955, r16956, r16957, r16958, r16959, r16960;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r16954, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r16955, "0", 10, MPFR_RNDN);
        mpfr_init(r16956);
        mpfr_init(r16957);
        mpfr_init(r16958);
        mpfr_init(r16959);
        mpfr_init(r16960);
}

double f_fm(double N) {
        ;
        ;
        mpfr_sub(r16956, r16954, r16955, MPFR_RNDN);
        mpfr_set_d(r16957, N, MPFR_RNDN);
        mpfr_add(r16958, r16954, r16957, MPFR_RNDN);
        mpfr_fma(r16959, r16957, r16958, r16954, MPFR_RNDN);
        mpfr_atan2(r16960, r16956, r16959, MPFR_RNDN);
        return mpfr_get_d(r16960, MPFR_RNDN);
}

static mpfr_t r16961, r16962, r16963, r16964, r16965, r16966, r16967;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r16961, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r16962, "0", 10, MPFR_RNDN);
        mpfr_init(r16963);
        mpfr_init(r16964);
        mpfr_init(r16965);
        mpfr_init(r16966);
        mpfr_init(r16967);
}

double f_dm(double N) {
        ;
        ;
        mpfr_sub(r16963, r16961, r16962, MPFR_RNDN);
        mpfr_set_d(r16964, N, MPFR_RNDN);
        mpfr_add(r16965, r16961, r16964, MPFR_RNDN);
        mpfr_fma(r16966, r16964, r16965, r16961, MPFR_RNDN);
        mpfr_atan2(r16967, r16963, r16966, MPFR_RNDN);
        return mpfr_get_d(r16967, MPFR_RNDN);
}