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

char *name = "Asymptote A";

double f_if(float x) {
        float r26895 = 1;
        float r26896 = x;
        float r26897 = r26896 + r26895;
        float r26898 = r26895 / r26897;
        float r26899 = r26896 - r26895;
        float r26900 = r26895 / r26899;
        float r26901 = r26898 - r26900;
        return r26901;
}

double f_id(double x) {
        double r26902 = 1;
        double r26903 = x;
        double r26904 = r26903 + r26902;
        double r26905 = r26902 / r26904;
        double r26906 = r26903 - r26902;
        double r26907 = r26902 / r26906;
        double r26908 = r26905 - r26907;
        return r26908;
}


double f_of(float x) {
        float r26909 = 1;
        float r26910 = x;
        float r26911 = r26910 + r26909;
        float r26912 = r26909 / r26911;
        float r26913 = -r26909;
        float r26914 = r26913 + r26913;
        float r26915 = r26910 - r26909;
        float r26916 = r26914 / r26915;
        float r26917 = r26912 * r26916;
        return r26917;
}

double f_od(double x) {
        double r26918 = 1;
        double r26919 = x;
        double r26920 = r26919 + r26918;
        double r26921 = r26918 / r26920;
        double r26922 = -r26918;
        double r26923 = r26922 + r26922;
        double r26924 = r26919 - r26918;
        double r26925 = r26923 / r26924;
        double r26926 = r26921 * r26925;
        return r26926;
}

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 r26927, r26928, r26929, r26930, r26931, r26932, r26933;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(848);
        mpfr_init_set_str(r26927, "1", 10, MPFR_RNDN);
        mpfr_init(r26928);
        mpfr_init(r26929);
        mpfr_init(r26930);
        mpfr_init(r26931);
        mpfr_init(r26932);
        mpfr_init(r26933);
}

double f_im(double x) {
        ;
        mpfr_set_d(r26928, x, MPFR_RNDN);
        mpfr_add(r26929, r26928, r26927, MPFR_RNDN);
        mpfr_div(r26930, r26927, r26929, MPFR_RNDN);
        mpfr_sub(r26931, r26928, r26927, MPFR_RNDN);
        mpfr_div(r26932, r26927, r26931, MPFR_RNDN);
        mpfr_sub(r26933, r26930, r26932, MPFR_RNDN);
        return mpfr_get_d(r26933, MPFR_RNDN);
}

static mpfr_t r26934, r26935, r26936, r26937, r26938, r26939, r26940, r26941, r26942;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(848);
        mpfr_init_set_str(r26934, "1", 10, MPFR_RNDN);
        mpfr_init(r26935);
        mpfr_init(r26936);
        mpfr_init(r26937);
        mpfr_init(r26938);
        mpfr_init(r26939);
        mpfr_init(r26940);
        mpfr_init(r26941);
        mpfr_init(r26942);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r26935, x, MPFR_RNDN);
        mpfr_add(r26936, r26935, r26934, MPFR_RNDN);
        mpfr_div(r26937, r26934, r26936, MPFR_RNDN);
        mpfr_neg(r26938, r26934, MPFR_RNDN);
        mpfr_add(r26939, r26938, r26938, MPFR_RNDN);
        mpfr_sub(r26940, r26935, r26934, MPFR_RNDN);
        mpfr_div(r26941, r26939, r26940, MPFR_RNDN);
        mpfr_mul(r26942, r26937, r26941, MPFR_RNDN);
        return mpfr_get_d(r26942, MPFR_RNDN);
}

static mpfr_t r26943, r26944, r26945, r26946, r26947, r26948, r26949, r26950, r26951;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(848);
        mpfr_init_set_str(r26943, "1", 10, MPFR_RNDN);
        mpfr_init(r26944);
        mpfr_init(r26945);
        mpfr_init(r26946);
        mpfr_init(r26947);
        mpfr_init(r26948);
        mpfr_init(r26949);
        mpfr_init(r26950);
        mpfr_init(r26951);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r26944, x, MPFR_RNDN);
        mpfr_add(r26945, r26944, r26943, MPFR_RNDN);
        mpfr_div(r26946, r26943, r26945, MPFR_RNDN);
        mpfr_neg(r26947, r26943, MPFR_RNDN);
        mpfr_add(r26948, r26947, r26947, MPFR_RNDN);
        mpfr_sub(r26949, r26944, r26943, MPFR_RNDN);
        mpfr_div(r26950, r26948, r26949, MPFR_RNDN);
        mpfr_mul(r26951, r26946, r26950, MPFR_RNDN);
        return mpfr_get_d(r26951, MPFR_RNDN);
}