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

char *name = "Asymptote C";

double f_if(float x) {
        float r26705 = x;
        float r26706 = 1;
        float r26707 = r26705 + r26706;
        float r26708 = r26705 / r26707;
        float r26709 = r26705 - r26706;
        float r26710 = r26707 / r26709;
        float r26711 = r26708 - r26710;
        return r26711;
}

double f_id(double x) {
        double r26712 = x;
        double r26713 = 1;
        double r26714 = r26712 + r26713;
        double r26715 = r26712 / r26714;
        double r26716 = r26712 - r26713;
        double r26717 = r26714 / r26716;
        double r26718 = r26715 - r26717;
        return r26718;
}


double f_of(float x) {
        float r26719 = x;
        float r26720 = 1;
        float r26721 = r26719 + r26720;
        float r26722 = r26719 / r26721;
        float r26723 = r26719 - r26720;
        float r26724 = r26721 / r26723;
        float r26725 = r26722 - r26724;
        float r26726 = 1.215708945304996e-08;
        bool r26727 = r26725 <= r26726;
        float r26728 = 3;
        float r26729 = -r26728;
        float r26730 = r26729 / r26719;
        float r26731 = r26728 / r26719;
        float r26732 = r26720 + r26731;
        float r26733 = r26719 * r26719;
        float r26734 = r26732 / r26733;
        float r26735 = r26730 - r26734;
        float r26736 = r26733 - r26721;
        float r26737 = r26719 * r26736;
        float r26738 = r26721 * r26721;
        float r26739 = pow(r26719, r26728);
        float r26740 = r26739 - r26720;
        float r26741 = r26738 / r26740;
        float r26742 = r26733 * r26733;
        float r26743 = r26742 - r26738;
        float r26744 = r26741 * r26743;
        float r26745 = r26737 - r26744;
        float r26746 = r26720 + r26719;
        float r26747 = r26733 - r26746;
        float r26748 = r26747 * r26746;
        float r26749 = r26745 / r26748;
        float r26750 = r26727 ? r26735 : r26749;
        return r26750;
}

double f_od(double x) {
        double r26751 = x;
        double r26752 = 1;
        double r26753 = r26751 + r26752;
        double r26754 = r26751 / r26753;
        double r26755 = r26751 - r26752;
        double r26756 = r26753 / r26755;
        double r26757 = r26754 - r26756;
        double r26758 = 1.215708945304996e-08;
        bool r26759 = r26757 <= r26758;
        double r26760 = 3;
        double r26761 = -r26760;
        double r26762 = r26761 / r26751;
        double r26763 = r26760 / r26751;
        double r26764 = r26752 + r26763;
        double r26765 = r26751 * r26751;
        double r26766 = r26764 / r26765;
        double r26767 = r26762 - r26766;
        double r26768 = r26765 - r26753;
        double r26769 = r26751 * r26768;
        double r26770 = r26753 * r26753;
        double r26771 = pow(r26751, r26760);
        double r26772 = r26771 - r26752;
        double r26773 = r26770 / r26772;
        double r26774 = r26765 * r26765;
        double r26775 = r26774 - r26770;
        double r26776 = r26773 * r26775;
        double r26777 = r26769 - r26776;
        double r26778 = r26752 + r26751;
        double r26779 = r26765 - r26778;
        double r26780 = r26779 * r26778;
        double r26781 = r26777 / r26780;
        double r26782 = r26759 ? r26767 : r26781;
        return r26782;
}

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 r26783, r26784, r26785, r26786, r26787, r26788, r26789;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26783);
        mpfr_init_set_str(r26784, "1", 10, MPFR_RNDN);
        mpfr_init(r26785);
        mpfr_init(r26786);
        mpfr_init(r26787);
        mpfr_init(r26788);
        mpfr_init(r26789);
}

double f_im(double x) {
        mpfr_set_d(r26783, x, MPFR_RNDN);
        ;
        mpfr_add(r26785, r26783, r26784, MPFR_RNDN);
        mpfr_div(r26786, r26783, r26785, MPFR_RNDN);
        mpfr_sub(r26787, r26783, r26784, MPFR_RNDN);
        mpfr_div(r26788, r26785, r26787, MPFR_RNDN);
        mpfr_sub(r26789, r26786, r26788, MPFR_RNDN);
        return mpfr_get_d(r26789, MPFR_RNDN);
}

static mpfr_t r26790, r26791, r26792, r26793, r26794, r26795, r26796, r26797, r26798, r26799, r26800, r26801, r26802, r26803, r26804, r26805, r26806, r26807, r26808, r26809, r26810, r26811, r26812, r26813, r26814, r26815, r26816, r26817, r26818, r26819, r26820, r26821;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26790);
        mpfr_init_set_str(r26791, "1", 10, MPFR_RNDN);
        mpfr_init(r26792);
        mpfr_init(r26793);
        mpfr_init(r26794);
        mpfr_init(r26795);
        mpfr_init(r26796);
        mpfr_init_set_str(r26797, "1.215708945304996e-08", 10, MPFR_RNDN);
        mpfr_init(r26798);
        mpfr_init_set_str(r26799, "3", 10, MPFR_RNDN);
        mpfr_init(r26800);
        mpfr_init(r26801);
        mpfr_init(r26802);
        mpfr_init(r26803);
        mpfr_init(r26804);
        mpfr_init(r26805);
        mpfr_init(r26806);
        mpfr_init(r26807);
        mpfr_init(r26808);
        mpfr_init(r26809);
        mpfr_init(r26810);
        mpfr_init(r26811);
        mpfr_init(r26812);
        mpfr_init(r26813);
        mpfr_init(r26814);
        mpfr_init(r26815);
        mpfr_init(r26816);
        mpfr_init(r26817);
        mpfr_init(r26818);
        mpfr_init(r26819);
        mpfr_init(r26820);
        mpfr_init(r26821);
}

double f_fm(double x) {
        mpfr_set_d(r26790, x, MPFR_RNDN);
        ;
        mpfr_add(r26792, r26790, r26791, MPFR_RNDN);
        mpfr_div(r26793, r26790, r26792, MPFR_RNDN);
        mpfr_sub(r26794, r26790, r26791, MPFR_RNDN);
        mpfr_div(r26795, r26792, r26794, MPFR_RNDN);
        mpfr_sub(r26796, r26793, r26795, MPFR_RNDN);
        ;
        mpfr_set_si(r26798, mpfr_cmp(r26796, r26797) <= 0, MPFR_RNDN);
        ;
        mpfr_neg(r26800, r26799, MPFR_RNDN);
        mpfr_div(r26801, r26800, r26790, MPFR_RNDN);
        mpfr_div(r26802, r26799, r26790, MPFR_RNDN);
        mpfr_add(r26803, r26791, r26802, MPFR_RNDN);
        mpfr_mul(r26804, r26790, r26790, MPFR_RNDN);
        mpfr_div(r26805, r26803, r26804, MPFR_RNDN);
        mpfr_sub(r26806, r26801, r26805, MPFR_RNDN);
        mpfr_sub(r26807, r26804, r26792, MPFR_RNDN);
        mpfr_mul(r26808, r26790, r26807, MPFR_RNDN);
        mpfr_mul(r26809, r26792, r26792, MPFR_RNDN);
        mpfr_pow(r26810, r26790, r26799, MPFR_RNDN);
        mpfr_sub(r26811, r26810, r26791, MPFR_RNDN);
        mpfr_div(r26812, r26809, r26811, MPFR_RNDN);
        mpfr_mul(r26813, r26804, r26804, MPFR_RNDN);
        mpfr_sub(r26814, r26813, r26809, MPFR_RNDN);
        mpfr_mul(r26815, r26812, r26814, MPFR_RNDN);
        mpfr_sub(r26816, r26808, r26815, MPFR_RNDN);
        mpfr_add(r26817, r26791, r26790, MPFR_RNDN);
        mpfr_sub(r26818, r26804, r26817, MPFR_RNDN);
        mpfr_mul(r26819, r26818, r26817, MPFR_RNDN);
        mpfr_div(r26820, r26816, r26819, MPFR_RNDN);
        if (mpfr_get_si(r26798, MPFR_RNDN)) { mpfr_set(r26821, r26806, MPFR_RNDN); } else { mpfr_set(r26821, r26820, MPFR_RNDN); };
        return mpfr_get_d(r26821, MPFR_RNDN);
}

static mpfr_t r26822, r26823, r26824, r26825, r26826, r26827, r26828, r26829, r26830, r26831, r26832, r26833, r26834, r26835, r26836, r26837, r26838, r26839, r26840, r26841, r26842, r26843, r26844, r26845, r26846, r26847, r26848, r26849, r26850, r26851, r26852, r26853;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26822);
        mpfr_init_set_str(r26823, "1", 10, MPFR_RNDN);
        mpfr_init(r26824);
        mpfr_init(r26825);
        mpfr_init(r26826);
        mpfr_init(r26827);
        mpfr_init(r26828);
        mpfr_init_set_str(r26829, "1.215708945304996e-08", 10, MPFR_RNDN);
        mpfr_init(r26830);
        mpfr_init_set_str(r26831, "3", 10, MPFR_RNDN);
        mpfr_init(r26832);
        mpfr_init(r26833);
        mpfr_init(r26834);
        mpfr_init(r26835);
        mpfr_init(r26836);
        mpfr_init(r26837);
        mpfr_init(r26838);
        mpfr_init(r26839);
        mpfr_init(r26840);
        mpfr_init(r26841);
        mpfr_init(r26842);
        mpfr_init(r26843);
        mpfr_init(r26844);
        mpfr_init(r26845);
        mpfr_init(r26846);
        mpfr_init(r26847);
        mpfr_init(r26848);
        mpfr_init(r26849);
        mpfr_init(r26850);
        mpfr_init(r26851);
        mpfr_init(r26852);
        mpfr_init(r26853);
}

double f_dm(double x) {
        mpfr_set_d(r26822, x, MPFR_RNDN);
        ;
        mpfr_add(r26824, r26822, r26823, MPFR_RNDN);
        mpfr_div(r26825, r26822, r26824, MPFR_RNDN);
        mpfr_sub(r26826, r26822, r26823, MPFR_RNDN);
        mpfr_div(r26827, r26824, r26826, MPFR_RNDN);
        mpfr_sub(r26828, r26825, r26827, MPFR_RNDN);
        ;
        mpfr_set_si(r26830, mpfr_cmp(r26828, r26829) <= 0, MPFR_RNDN);
        ;
        mpfr_neg(r26832, r26831, MPFR_RNDN);
        mpfr_div(r26833, r26832, r26822, MPFR_RNDN);
        mpfr_div(r26834, r26831, r26822, MPFR_RNDN);
        mpfr_add(r26835, r26823, r26834, MPFR_RNDN);
        mpfr_mul(r26836, r26822, r26822, MPFR_RNDN);
        mpfr_div(r26837, r26835, r26836, MPFR_RNDN);
        mpfr_sub(r26838, r26833, r26837, MPFR_RNDN);
        mpfr_sub(r26839, r26836, r26824, MPFR_RNDN);
        mpfr_mul(r26840, r26822, r26839, MPFR_RNDN);
        mpfr_mul(r26841, r26824, r26824, MPFR_RNDN);
        mpfr_pow(r26842, r26822, r26831, MPFR_RNDN);
        mpfr_sub(r26843, r26842, r26823, MPFR_RNDN);
        mpfr_div(r26844, r26841, r26843, MPFR_RNDN);
        mpfr_mul(r26845, r26836, r26836, MPFR_RNDN);
        mpfr_sub(r26846, r26845, r26841, MPFR_RNDN);
        mpfr_mul(r26847, r26844, r26846, MPFR_RNDN);
        mpfr_sub(r26848, r26840, r26847, MPFR_RNDN);
        mpfr_add(r26849, r26823, r26822, MPFR_RNDN);
        mpfr_sub(r26850, r26836, r26849, MPFR_RNDN);
        mpfr_mul(r26851, r26850, r26849, MPFR_RNDN);
        mpfr_div(r26852, r26848, r26851, MPFR_RNDN);
        if (mpfr_get_si(r26830, MPFR_RNDN)) { mpfr_set(r26853, r26838, MPFR_RNDN); } else { mpfr_set(r26853, r26852, MPFR_RNDN); };
        return mpfr_get_d(r26853, MPFR_RNDN);
}