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

char *name = "Asymptote B";

double f_if(float x) {
        float r10615 = 1;
        float r10616 = x;
        float r10617 = r10616 - r10615;
        float r10618 = r10615 / r10617;
        float r10619 = r10616 + r10615;
        float r10620 = r10616 / r10619;
        float r10621 = r10618 + r10620;
        return r10621;
}

double f_id(double x) {
        double r10622 = 1;
        double r10623 = x;
        double r10624 = r10623 - r10622;
        double r10625 = r10622 / r10624;
        double r10626 = r10623 + r10622;
        double r10627 = r10623 / r10626;
        double r10628 = r10625 + r10627;
        return r10628;
}


double f_of(float x) {
        float r10629 = 1;
        float r10630 = x;
        float r10631 = r10630 - r10629;
        float r10632 = r10629 / r10631;
        float r10633 = r10630 + r10629;
        float r10634 = r10630 / r10633;
        float r10635 = r10632 + r10634;
        return r10635;
}

double f_od(double x) {
        double r10636 = 1;
        double r10637 = x;
        double r10638 = r10637 - r10636;
        double r10639 = r10636 / r10638;
        double r10640 = r10637 + r10636;
        double r10641 = r10637 / r10640;
        double r10642 = r10639 + r10641;
        return r10642;
}

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 r10643, r10644, r10645, r10646, r10647, r10648, r10649;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r10643, "1", 10, MPFR_RNDN);
        mpfr_init(r10644);
        mpfr_init(r10645);
        mpfr_init(r10646);
        mpfr_init(r10647);
        mpfr_init(r10648);
        mpfr_init(r10649);
}

double f_im(double x) {
        ;
        mpfr_set_d(r10644, x, MPFR_RNDN);
        mpfr_sub(r10645, r10644, r10643, MPFR_RNDN);
        mpfr_div(r10646, r10643, r10645, MPFR_RNDN);
        mpfr_add(r10647, r10644, r10643, MPFR_RNDN);
        mpfr_div(r10648, r10644, r10647, MPFR_RNDN);
        mpfr_add(r10649, r10646, r10648, MPFR_RNDN);
        return mpfr_get_d(r10649, MPFR_RNDN);
}

static mpfr_t r10650, r10651, r10652, r10653, r10654, r10655, r10656;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r10650, "1", 10, MPFR_RNDN);
        mpfr_init(r10651);
        mpfr_init(r10652);
        mpfr_init(r10653);
        mpfr_init(r10654);
        mpfr_init(r10655);
        mpfr_init(r10656);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r10651, x, MPFR_RNDN);
        mpfr_sub(r10652, r10651, r10650, MPFR_RNDN);
        mpfr_div(r10653, r10650, r10652, MPFR_RNDN);
        mpfr_add(r10654, r10651, r10650, MPFR_RNDN);
        mpfr_div(r10655, r10651, r10654, MPFR_RNDN);
        mpfr_add(r10656, r10653, r10655, MPFR_RNDN);
        return mpfr_get_d(r10656, MPFR_RNDN);
}

static mpfr_t r10657, r10658, r10659, r10660, r10661, r10662, r10663;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r10657, "1", 10, MPFR_RNDN);
        mpfr_init(r10658);
        mpfr_init(r10659);
        mpfr_init(r10660);
        mpfr_init(r10661);
        mpfr_init(r10662);
        mpfr_init(r10663);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r10658, x, MPFR_RNDN);
        mpfr_sub(r10659, r10658, r10657, MPFR_RNDN);
        mpfr_div(r10660, r10657, r10659, MPFR_RNDN);
        mpfr_add(r10661, r10658, r10657, MPFR_RNDN);
        mpfr_div(r10662, r10658, r10661, MPFR_RNDN);
        mpfr_add(r10663, r10660, r10662, MPFR_RNDN);
        return mpfr_get_d(r10663, MPFR_RNDN);
}