#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 r23360 = N;
        float r23361 = 1;
        float r23362 = r23360 + r23361;
        float r23363 = atan(r23362);
        float r23364 = atan(r23360);
        float r23365 = r23363 - r23364;
        return r23365;
}

double f_id(double N) {
        double r23366 = N;
        double r23367 = 1;
        double r23368 = r23366 + r23367;
        double r23369 = atan(r23368);
        double r23370 = atan(r23366);
        double r23371 = r23369 - r23370;
        return r23371;
}


double f_of(float N) {
        float r23372 = 1;
        float r23373 = 0;
        float r23374 = r23372 + r23373;
        float r23375 = N;
        float r23376 = r23375 + r23372;
        float r23377 = r23376 * r23375;
        float r23378 = cbrt(r23377);
        float r23379 = r23378 * r23378;
        float r23380 = r23379 * r23378;
        float r23381 = r23372 + r23380;
        float r23382 = atan2(r23374, r23381);
        return r23382;
}

double f_od(double N) {
        double r23383 = 1;
        double r23384 = 0;
        double r23385 = r23383 + r23384;
        double r23386 = N;
        double r23387 = r23386 + r23383;
        double r23388 = r23387 * r23386;
        double r23389 = cbrt(r23388);
        double r23390 = r23389 * r23389;
        double r23391 = r23390 * r23389;
        double r23392 = r23383 + r23391;
        double r23393 = atan2(r23385, r23392);
        return r23393;
}

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 r23394, r23395, r23396, r23397, r23398, r23399;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r23394);
        mpfr_init_set_str(r23395, "1", 10, MPFR_RNDN);
        mpfr_init(r23396);
        mpfr_init(r23397);
        mpfr_init(r23398);
        mpfr_init(r23399);
}

double f_im(double N) {
        mpfr_set_d(r23394, N, MPFR_RNDN);
        ;
        mpfr_add(r23396, r23394, r23395, MPFR_RNDN);
        mpfr_atan(r23397, r23396, MPFR_RNDN);
        mpfr_atan(r23398, r23394, MPFR_RNDN);
        mpfr_sub(r23399, r23397, r23398, MPFR_RNDN);
        return mpfr_get_d(r23399, MPFR_RNDN);
}

static mpfr_t r23400, r23401, r23402, r23403, r23404, r23405, r23406, r23407, r23408, r23409, r23410;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r23400, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r23401, "0", 10, MPFR_RNDN);
        mpfr_init(r23402);
        mpfr_init(r23403);
        mpfr_init(r23404);
        mpfr_init(r23405);
        mpfr_init(r23406);
        mpfr_init(r23407);
        mpfr_init(r23408);
        mpfr_init(r23409);
        mpfr_init(r23410);
}

double f_fm(double N) {
        ;
        ;
        mpfr_add(r23402, r23400, r23401, MPFR_RNDN);
        mpfr_set_d(r23403, N, MPFR_RNDN);
        mpfr_add(r23404, r23403, r23400, MPFR_RNDN);
        mpfr_mul(r23405, r23404, r23403, MPFR_RNDN);
        mpfr_cbrt(r23406, r23405, MPFR_RNDN);
        mpfr_mul(r23407, r23406, r23406, MPFR_RNDN);
        mpfr_mul(r23408, r23407, r23406, MPFR_RNDN);
        mpfr_add(r23409, r23400, r23408, MPFR_RNDN);
        mpfr_atan2(r23410, r23402, r23409, MPFR_RNDN);
        return mpfr_get_d(r23410, MPFR_RNDN);
}

static mpfr_t r23411, r23412, r23413, r23414, r23415, r23416, r23417, r23418, r23419, r23420, r23421;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r23411, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r23412, "0", 10, MPFR_RNDN);
        mpfr_init(r23413);
        mpfr_init(r23414);
        mpfr_init(r23415);
        mpfr_init(r23416);
        mpfr_init(r23417);
        mpfr_init(r23418);
        mpfr_init(r23419);
        mpfr_init(r23420);
        mpfr_init(r23421);
}

double f_dm(double N) {
        ;
        ;
        mpfr_add(r23413, r23411, r23412, MPFR_RNDN);
        mpfr_set_d(r23414, N, MPFR_RNDN);
        mpfr_add(r23415, r23414, r23411, MPFR_RNDN);
        mpfr_mul(r23416, r23415, r23414, MPFR_RNDN);
        mpfr_cbrt(r23417, r23416, MPFR_RNDN);
        mpfr_mul(r23418, r23417, r23417, MPFR_RNDN);
        mpfr_mul(r23419, r23418, r23417, MPFR_RNDN);
        mpfr_add(r23420, r23411, r23419, MPFR_RNDN);
        mpfr_atan2(r23421, r23413, r23420, MPFR_RNDN);
        return mpfr_get_d(r23421, MPFR_RNDN);
}