#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 r17362 = N;
        float r17363 = 1.0f;
        float r17364 = r17362 + r17363;
        float r17365 = atan(r17364);
        float r17366 = atan(r17362);
        float r17367 = r17365 - r17366;
        return r17367;
}

double f_id(double N) {
        double r17368 = N;
        double r17369 = 1.0;
        double r17370 = r17368 + r17369;
        double r17371 = atan(r17370);
        double r17372 = atan(r17368);
        double r17373 = r17371 - r17372;
        return r17373;
}


double f_of(float N) {
        float r17374 = 1.0f;
        float r17375 = 0.0f;
        float r17376 = r17374 - r17375;
        float r17377 = N;
        float r17378 = r17377 + r17374;
        float r17379 = r17378 * r17377;
        float r17380 = r17374 + r17379;
        float r17381 = atan2(r17376, r17380);
        return r17381;
}

double f_od(double N) {
        double r17382 = 1.0;
        double r17383 = 0.0;
        double r17384 = r17382 - r17383;
        double r17385 = N;
        double r17386 = r17385 + r17382;
        double r17387 = r17386 * r17385;
        double r17388 = r17382 + r17387;
        double r17389 = atan2(r17384, r17388);
        return r17389;
}

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 r17390, r17391, r17392, r17393, r17394, r17395;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17390);
        mpfr_init_set_str(r17391, "1", 10, MPFR_RNDN);
        mpfr_init(r17392);
        mpfr_init(r17393);
        mpfr_init(r17394);
        mpfr_init(r17395);
}

double f_im(double N) {
        mpfr_set_d(r17390, N, MPFR_RNDN);
        ;
        mpfr_add(r17392, r17390, r17391, MPFR_RNDN);
        mpfr_atan(r17393, r17392, MPFR_RNDN);
        mpfr_atan(r17394, r17390, MPFR_RNDN);
        mpfr_sub(r17395, r17393, r17394, MPFR_RNDN);
        return mpfr_get_d(r17395, MPFR_RNDN);
}

static mpfr_t r17396, r17397, r17398, r17399, r17400, r17401, r17402, r17403;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r17396, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r17397, "0", 10, MPFR_RNDN);
        mpfr_init(r17398);
        mpfr_init(r17399);
        mpfr_init(r17400);
        mpfr_init(r17401);
        mpfr_init(r17402);
        mpfr_init(r17403);
}

double f_fm(double N) {
        ;
        ;
        mpfr_sub(r17398, r17396, r17397, MPFR_RNDN);
        mpfr_set_d(r17399, N, MPFR_RNDN);
        mpfr_add(r17400, r17399, r17396, MPFR_RNDN);
        mpfr_mul(r17401, r17400, r17399, MPFR_RNDN);
        mpfr_add(r17402, r17396, r17401, MPFR_RNDN);
        mpfr_atan2(r17403, r17398, r17402, MPFR_RNDN);
        return mpfr_get_d(r17403, MPFR_RNDN);
}

static mpfr_t r17404, r17405, r17406, r17407, r17408, r17409, r17410, r17411;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r17404, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r17405, "0", 10, MPFR_RNDN);
        mpfr_init(r17406);
        mpfr_init(r17407);
        mpfr_init(r17408);
        mpfr_init(r17409);
        mpfr_init(r17410);
        mpfr_init(r17411);
}

double f_dm(double N) {
        ;
        ;
        mpfr_sub(r17406, r17404, r17405, MPFR_RNDN);
        mpfr_set_d(r17407, N, MPFR_RNDN);
        mpfr_add(r17408, r17407, r17404, MPFR_RNDN);
        mpfr_mul(r17409, r17408, r17407, MPFR_RNDN);
        mpfr_add(r17410, r17404, r17409, MPFR_RNDN);
        mpfr_atan2(r17411, r17406, r17410, MPFR_RNDN);
        return mpfr_get_d(r17411, MPFR_RNDN);
}