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

char *name = "2atan (example 3.5)";

double f_if(float N) {
        float r20345 = N;
        float r20346 = 1.0f;
        float r20347 = r20345 + r20346;
        float r20348 = atan(r20347);
        float r20349 = atan(r20345);
        float r20350 = r20348 - r20349;
        return r20350;
}

double f_id(double N) {
        double r20351 = N;
        double r20352 = 1.0;
        double r20353 = r20351 + r20352;
        double r20354 = atan(r20353);
        double r20355 = atan(r20351);
        double r20356 = r20354 - r20355;
        return r20356;
}


double f_of(float N) {
        float r20357 = 1.0f;
        float r20358 = 0.0f;
        float r20359 = r20357 + r20358;
        float r20360 = N;
        float r20361 = r20360 + r20357;
        float r20362 = r20361 * r20360;
        float r20363 = r20362 + r20357;
        float r20364 = atan2(r20359, r20363);
        return r20364;
}

double f_od(double N) {
        double r20365 = 1.0;
        double r20366 = 0.0;
        double r20367 = r20365 + r20366;
        double r20368 = N;
        double r20369 = r20368 + r20365;
        double r20370 = r20369 * r20368;
        double r20371 = r20370 + r20365;
        double r20372 = atan2(r20367, r20371);
        return r20372;
}

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 r20373, r20374, r20375, r20376, r20377, r20378;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r20373);
        mpfr_init_set_str(r20374, "1", 10, MPFR_RNDN);
        mpfr_init(r20375);
        mpfr_init(r20376);
        mpfr_init(r20377);
        mpfr_init(r20378);
}

double f_im(double N) {
        mpfr_set_d(r20373, N, MPFR_RNDN);
        ;
        mpfr_add(r20375, r20373, r20374, MPFR_RNDN);
        mpfr_atan(r20376, r20375, MPFR_RNDN);
        mpfr_atan(r20377, r20373, MPFR_RNDN);
        mpfr_sub(r20378, r20376, r20377, MPFR_RNDN);
        return mpfr_get_d(r20378, MPFR_RNDN);
}

static mpfr_t r20379, r20380, r20381, r20382, r20383, r20384, r20385, r20386;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r20379, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r20380, "0", 10, MPFR_RNDN);
        mpfr_init(r20381);
        mpfr_init(r20382);
        mpfr_init(r20383);
        mpfr_init(r20384);
        mpfr_init(r20385);
        mpfr_init(r20386);
}

double f_fm(double N) {
        ;
        ;
        mpfr_add(r20381, r20379, r20380, MPFR_RNDN);
        mpfr_set_d(r20382, N, MPFR_RNDN);
        mpfr_add(r20383, r20382, r20379, MPFR_RNDN);
        mpfr_mul(r20384, r20383, r20382, MPFR_RNDN);
        mpfr_add(r20385, r20384, r20379, MPFR_RNDN);
        mpfr_atan2(r20386, r20381, r20385, MPFR_RNDN);
        return mpfr_get_d(r20386, MPFR_RNDN);
}

static mpfr_t r20387, r20388, r20389, r20390, r20391, r20392, r20393, r20394;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r20387, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r20388, "0", 10, MPFR_RNDN);
        mpfr_init(r20389);
        mpfr_init(r20390);
        mpfr_init(r20391);
        mpfr_init(r20392);
        mpfr_init(r20393);
        mpfr_init(r20394);
}

double f_dm(double N) {
        ;
        ;
        mpfr_add(r20389, r20387, r20388, MPFR_RNDN);
        mpfr_set_d(r20390, N, MPFR_RNDN);
        mpfr_add(r20391, r20390, r20387, MPFR_RNDN);
        mpfr_mul(r20392, r20391, r20390, MPFR_RNDN);
        mpfr_add(r20393, r20392, r20387, MPFR_RNDN);
        mpfr_atan2(r20394, r20389, r20393, MPFR_RNDN);
        return mpfr_get_d(r20394, MPFR_RNDN);
}