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

char *name = "Main:bigenough3 from C";

double f_if(float x) {
        float r46798 = x;
        float r46799 = 1.0;
        float r46800 = r46798 + r46799;
        float r46801 = sqrt(r46800);
        float r46802 = sqrt(r46798);
        float r46803 = r46801 - r46802;
        return r46803;
}

double f_id(double x) {
        double r46804 = x;
        double r46805 = 1.0;
        double r46806 = r46804 + r46805;
        double r46807 = sqrt(r46806);
        double r46808 = sqrt(r46804);
        double r46809 = r46807 - r46808;
        return r46809;
}


double f_of(float x) {
        float r46810 = 1.0;
        float r46811 = x;
        float r46812 = r46811 + r46810;
        float r46813 = sqrt(r46812);
        float r46814 = sqrt(r46811);
        float r46815 = r46813 + r46814;
        float r46816 = r46810 / r46815;
        return r46816;
}

double f_od(double x) {
        double r46817 = 1.0;
        double r46818 = x;
        double r46819 = r46818 + r46817;
        double r46820 = sqrt(r46819);
        double r46821 = sqrt(r46818);
        double r46822 = r46820 + r46821;
        double r46823 = r46817 / r46822;
        return r46823;
}

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 r46824, r46825, r46826, r46827, r46828, r46829;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r46824);
        mpfr_init_set_str(r46825, "1.0", 10, MPFR_RNDN);
        mpfr_init(r46826);
        mpfr_init(r46827);
        mpfr_init(r46828);
        mpfr_init(r46829);
}

double f_im(double x) {
        mpfr_set_d(r46824, x, MPFR_RNDN);
        ;
        mpfr_add(r46826, r46824, r46825, MPFR_RNDN);
        mpfr_sqrt(r46827, r46826, MPFR_RNDN);
        mpfr_sqrt(r46828, r46824, MPFR_RNDN);
        mpfr_sub(r46829, r46827, r46828, MPFR_RNDN);
        return mpfr_get_d(r46829, MPFR_RNDN);
}

static mpfr_t r46830, r46831, r46832, r46833, r46834, r46835, r46836;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r46830, "1.0", 10, MPFR_RNDN);
        mpfr_init(r46831);
        mpfr_init(r46832);
        mpfr_init(r46833);
        mpfr_init(r46834);
        mpfr_init(r46835);
        mpfr_init(r46836);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r46831, x, MPFR_RNDN);
        mpfr_add(r46832, r46831, r46830, MPFR_RNDN);
        mpfr_sqrt(r46833, r46832, MPFR_RNDN);
        mpfr_sqrt(r46834, r46831, MPFR_RNDN);
        mpfr_add(r46835, r46833, r46834, MPFR_RNDN);
        mpfr_div(r46836, r46830, r46835, MPFR_RNDN);
        return mpfr_get_d(r46836, MPFR_RNDN);
}

static mpfr_t r46837, r46838, r46839, r46840, r46841, r46842, r46843;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r46837, "1.0", 10, MPFR_RNDN);
        mpfr_init(r46838);
        mpfr_init(r46839);
        mpfr_init(r46840);
        mpfr_init(r46841);
        mpfr_init(r46842);
        mpfr_init(r46843);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r46838, x, MPFR_RNDN);
        mpfr_add(r46839, r46838, r46837, MPFR_RNDN);
        mpfr_sqrt(r46840, r46839, MPFR_RNDN);
        mpfr_sqrt(r46841, r46838, MPFR_RNDN);
        mpfr_add(r46842, r46840, r46841, MPFR_RNDN);
        mpfr_div(r46843, r46837, r46842, MPFR_RNDN);
        return mpfr_get_d(r46843, MPFR_RNDN);
}