#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 r58651 = x;
        float r58652 = 1;
        float r58653 = r58651 + r58652;
        float r58654 = sqrt(r58653);
        float r58655 = sqrt(r58651);
        float r58656 = r58654 - r58655;
        return r58656;
}

double f_id(double x) {
        double r58657 = x;
        double r58658 = 1;
        double r58659 = r58657 + r58658;
        double r58660 = sqrt(r58659);
        double r58661 = sqrt(r58657);
        double r58662 = r58660 - r58661;
        return r58662;
}


double f_of(float x) {
        float r58663 = 1;
        float r58664 = x;
        float r58665 = r58664 + r58663;
        float r58666 = sqrt(r58665);
        float r58667 = sqrt(r58664);
        float r58668 = r58666 + r58667;
        float r58669 = r58663 / r58668;
        return r58669;
}

double f_od(double x) {
        double r58670 = 1;
        double r58671 = x;
        double r58672 = r58671 + r58670;
        double r58673 = sqrt(r58672);
        double r58674 = sqrt(r58671);
        double r58675 = r58673 + r58674;
        double r58676 = r58670 / r58675;
        return r58676;
}

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 r58677, r58678, r58679, r58680, r58681, r58682;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r58677);
        mpfr_init_set_str(r58678, "1", 10, MPFR_RNDN);
        mpfr_init(r58679);
        mpfr_init(r58680);
        mpfr_init(r58681);
        mpfr_init(r58682);
}

double f_im(double x) {
        mpfr_set_d(r58677, x, MPFR_RNDN);
        ;
        mpfr_add(r58679, r58677, r58678, MPFR_RNDN);
        mpfr_sqrt(r58680, r58679, MPFR_RNDN);
        mpfr_sqrt(r58681, r58677, MPFR_RNDN);
        mpfr_sub(r58682, r58680, r58681, MPFR_RNDN);
        return mpfr_get_d(r58682, MPFR_RNDN);
}

static mpfr_t r58683, r58684, r58685, r58686, r58687, r58688, r58689;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r58683, "1", 10, MPFR_RNDN);
        mpfr_init(r58684);
        mpfr_init(r58685);
        mpfr_init(r58686);
        mpfr_init(r58687);
        mpfr_init(r58688);
        mpfr_init(r58689);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r58684, x, MPFR_RNDN);
        mpfr_add(r58685, r58684, r58683, MPFR_RNDN);
        mpfr_sqrt(r58686, r58685, MPFR_RNDN);
        mpfr_sqrt(r58687, r58684, MPFR_RNDN);
        mpfr_add(r58688, r58686, r58687, MPFR_RNDN);
        mpfr_div(r58689, r58683, r58688, MPFR_RNDN);
        return mpfr_get_d(r58689, MPFR_RNDN);
}

static mpfr_t r58690, r58691, r58692, r58693, r58694, r58695, r58696;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r58690, "1", 10, MPFR_RNDN);
        mpfr_init(r58691);
        mpfr_init(r58692);
        mpfr_init(r58693);
        mpfr_init(r58694);
        mpfr_init(r58695);
        mpfr_init(r58696);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r58691, x, MPFR_RNDN);
        mpfr_add(r58692, r58691, r58690, MPFR_RNDN);
        mpfr_sqrt(r58693, r58692, MPFR_RNDN);
        mpfr_sqrt(r58694, r58691, MPFR_RNDN);
        mpfr_add(r58695, r58693, r58694, MPFR_RNDN);
        mpfr_div(r58696, r58690, r58695, MPFR_RNDN);
        return mpfr_get_d(r58696, MPFR_RNDN);
}