#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 r27520 = N;
        float r27521 = 1;
        float r27522 = r27520 + r27521;
        float r27523 = atan(r27522);
        float r27524 = atan(r27520);
        float r27525 = r27523 - r27524;
        return r27525;
}

double f_id(double N) {
        double r27526 = N;
        double r27527 = 1;
        double r27528 = r27526 + r27527;
        double r27529 = atan(r27528);
        double r27530 = atan(r27526);
        double r27531 = r27529 - r27530;
        return r27531;
}


double f_of(float N) {
        float r27532 = 1;
        float r27533 = N;
        float r27534 = r27533 + r27532;
        float r27535 = r27534 * r27533;
        float r27536 = r27532 + r27535;
        float r27537 = atan2(r27532, r27536);
        return r27537;
}

double f_od(double N) {
        double r27538 = 1;
        double r27539 = N;
        double r27540 = r27539 + r27538;
        double r27541 = r27540 * r27539;
        double r27542 = r27538 + r27541;
        double r27543 = atan2(r27538, r27542);
        return r27543;
}

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 r27544, r27545, r27546, r27547, r27548, r27549;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r27544);
        mpfr_init_set_str(r27545, "1", 10, MPFR_RNDN);
        mpfr_init(r27546);
        mpfr_init(r27547);
        mpfr_init(r27548);
        mpfr_init(r27549);
}

double f_im(double N) {
        mpfr_set_d(r27544, N, MPFR_RNDN);
        ;
        mpfr_add(r27546, r27544, r27545, MPFR_RNDN);
        mpfr_atan(r27547, r27546, MPFR_RNDN);
        mpfr_atan(r27548, r27544, MPFR_RNDN);
        mpfr_sub(r27549, r27547, r27548, MPFR_RNDN);
        return mpfr_get_d(r27549, MPFR_RNDN);
}

static mpfr_t r27550, r27551, r27552, r27553, r27554, r27555;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r27550, "1", 10, MPFR_RNDN);
        mpfr_init(r27551);
        mpfr_init(r27552);
        mpfr_init(r27553);
        mpfr_init(r27554);
        mpfr_init(r27555);
}

double f_fm(double N) {
        ;
        mpfr_set_d(r27551, N, MPFR_RNDN);
        mpfr_add(r27552, r27551, r27550, MPFR_RNDN);
        mpfr_mul(r27553, r27552, r27551, MPFR_RNDN);
        mpfr_add(r27554, r27550, r27553, MPFR_RNDN);
        mpfr_atan2(r27555, r27550, r27554, MPFR_RNDN);
        return mpfr_get_d(r27555, MPFR_RNDN);
}

static mpfr_t r27556, r27557, r27558, r27559, r27560, r27561;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r27556, "1", 10, MPFR_RNDN);
        mpfr_init(r27557);
        mpfr_init(r27558);
        mpfr_init(r27559);
        mpfr_init(r27560);
        mpfr_init(r27561);
}

double f_dm(double N) {
        ;
        mpfr_set_d(r27557, N, MPFR_RNDN);
        mpfr_add(r27558, r27557, r27556, MPFR_RNDN);
        mpfr_mul(r27559, r27558, r27557, MPFR_RNDN);
        mpfr_add(r27560, r27556, r27559, MPFR_RNDN);
        mpfr_atan2(r27561, r27556, r27560, MPFR_RNDN);
        return mpfr_get_d(r27561, MPFR_RNDN);
}