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

char *name = "2sqrt (example 3.1)";

double f_if(float x) {
        float r27363 = x;
        float r27364 = 1;
        float r27365 = r27363 + r27364;
        float r27366 = sqrt(r27365);
        float r27367 = sqrt(r27363);
        float r27368 = r27366 - r27367;
        return r27368;
}

double f_id(double x) {
        double r27369 = x;
        double r27370 = 1;
        double r27371 = r27369 + r27370;
        double r27372 = sqrt(r27371);
        double r27373 = sqrt(r27369);
        double r27374 = r27372 - r27373;
        return r27374;
}


double f_of(float x) {
        float r27375 = 1;
        float r27376 = x;
        float r27377 = r27376 + r27375;
        float r27378 = sqrt(r27377);
        float r27379 = sqrt(r27376);
        float r27380 = r27378 + r27379;
        float r27381 = r27375 / r27380;
        return r27381;
}

double f_od(double x) {
        double r27382 = 1;
        double r27383 = x;
        double r27384 = r27383 + r27382;
        double r27385 = sqrt(r27384);
        double r27386 = sqrt(r27383);
        double r27387 = r27385 + r27386;
        double r27388 = r27382 / r27387;
        return r27388;
}

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 r27389, r27390, r27391, r27392, r27393, r27394;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r27389);
        mpfr_init_set_str(r27390, "1", 10, MPFR_RNDN);
        mpfr_init(r27391);
        mpfr_init(r27392);
        mpfr_init(r27393);
        mpfr_init(r27394);
}

double f_im(double x) {
        mpfr_set_d(r27389, x, MPFR_RNDN);
        ;
        mpfr_add(r27391, r27389, r27390, MPFR_RNDN);
        mpfr_sqrt(r27392, r27391, MPFR_RNDN);
        mpfr_sqrt(r27393, r27389, MPFR_RNDN);
        mpfr_sub(r27394, r27392, r27393, MPFR_RNDN);
        return mpfr_get_d(r27394, MPFR_RNDN);
}

static mpfr_t r27395, r27396, r27397, r27398, r27399, r27400, r27401;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r27395, "1", 10, MPFR_RNDN);
        mpfr_init(r27396);
        mpfr_init(r27397);
        mpfr_init(r27398);
        mpfr_init(r27399);
        mpfr_init(r27400);
        mpfr_init(r27401);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r27396, x, MPFR_RNDN);
        mpfr_add(r27397, r27396, r27395, MPFR_RNDN);
        mpfr_sqrt(r27398, r27397, MPFR_RNDN);
        mpfr_sqrt(r27399, r27396, MPFR_RNDN);
        mpfr_add(r27400, r27398, r27399, MPFR_RNDN);
        mpfr_div(r27401, r27395, r27400, MPFR_RNDN);
        return mpfr_get_d(r27401, MPFR_RNDN);
}

static mpfr_t r27402, r27403, r27404, r27405, r27406, r27407, r27408;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r27402, "1", 10, MPFR_RNDN);
        mpfr_init(r27403);
        mpfr_init(r27404);
        mpfr_init(r27405);
        mpfr_init(r27406);
        mpfr_init(r27407);
        mpfr_init(r27408);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r27403, x, MPFR_RNDN);
        mpfr_add(r27404, r27403, r27402, MPFR_RNDN);
        mpfr_sqrt(r27405, r27404, MPFR_RNDN);
        mpfr_sqrt(r27406, r27403, MPFR_RNDN);
        mpfr_add(r27407, r27405, r27406, MPFR_RNDN);
        mpfr_div(r27408, r27402, r27407, MPFR_RNDN);
        return mpfr_get_d(r27408, MPFR_RNDN);
}