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

char *name = "Jmat.Real.erfi, branch x less than or equal to 0.5";

double f_if(float x) {
        float r26701 = 1;
        float r26702 = atan2(1.0, 0.0);
        float r26703 = sqrt(r26702);
        float r26704 = r26701 / r26703;
        float r26705 = 2;
        float r26706 = x;
        float r26707 = fabs(r26706);
        float r26708 = r26705 * r26707;
        float r26709 = 3;
        float r26710 = r26705 / r26709;
        float r26711 = r26707 * r26707;
        float r26712 = r26711 * r26707;
        float r26713 = r26710 * r26712;
        float r26714 = r26708 + r26713;
        float r26715 = 5;
        float r26716 = r26701 / r26715;
        float r26717 = r26712 * r26707;
        float r26718 = r26717 * r26707;
        float r26719 = r26716 * r26718;
        float r26720 = r26714 + r26719;
        float r26721 = 21;
        float r26722 = r26701 / r26721;
        float r26723 = r26718 * r26707;
        float r26724 = r26723 * r26707;
        float r26725 = r26722 * r26724;
        float r26726 = r26720 + r26725;
        float r26727 = r26704 * r26726;
        float r26728 = fabs(r26727);
        return r26728;
}

double f_id(double x) {
        double r26729 = 1;
        double r26730 = atan2(1.0, 0.0);
        double r26731 = sqrt(r26730);
        double r26732 = r26729 / r26731;
        double r26733 = 2;
        double r26734 = x;
        double r26735 = fabs(r26734);
        double r26736 = r26733 * r26735;
        double r26737 = 3;
        double r26738 = r26733 / r26737;
        double r26739 = r26735 * r26735;
        double r26740 = r26739 * r26735;
        double r26741 = r26738 * r26740;
        double r26742 = r26736 + r26741;
        double r26743 = 5;
        double r26744 = r26729 / r26743;
        double r26745 = r26740 * r26735;
        double r26746 = r26745 * r26735;
        double r26747 = r26744 * r26746;
        double r26748 = r26742 + r26747;
        double r26749 = 21;
        double r26750 = r26729 / r26749;
        double r26751 = r26746 * r26735;
        double r26752 = r26751 * r26735;
        double r26753 = r26750 * r26752;
        double r26754 = r26748 + r26753;
        double r26755 = r26732 * r26754;
        double r26756 = fabs(r26755);
        return r26756;
}


double f_of(float x) {
        float r26757 = 1;
        float r26758 = atan2(1.0, 0.0);
        float r26759 = r26757 / r26758;
        float r26760 = sqrt(r26759);
        float r26761 = 2/3;
        float r26762 = x;
        float r26763 = fabs(r26762);
        float r26764 = 3;
        float r26765 = pow(r26763, r26764);
        float r26766 = r26761 * r26765;
        float r26767 = 2;
        float r26768 = r26767 * r26763;
        float r26769 = 1/21;
        float r26770 = 7;
        float r26771 = pow(r26763, r26770);
        float r26772 = r26769 * r26771;
        float r26773 = 1/5;
        float r26774 = 5;
        float r26775 = pow(r26763, r26774);
        float r26776 = r26773 * r26775;
        float r26777 = r26772 + r26776;
        float r26778 = r26768 + r26777;
        float r26779 = r26766 + r26778;
        float r26780 = r26760 * r26779;
        float r26781 = fabs(r26780);
        return r26781;
}

double f_od(double x) {
        double r26782 = 1;
        double r26783 = atan2(1.0, 0.0);
        double r26784 = r26782 / r26783;
        double r26785 = sqrt(r26784);
        double r26786 = 2/3;
        double r26787 = x;
        double r26788 = fabs(r26787);
        double r26789 = 3;
        double r26790 = pow(r26788, r26789);
        double r26791 = r26786 * r26790;
        double r26792 = 2;
        double r26793 = r26792 * r26788;
        double r26794 = 1/21;
        double r26795 = 7;
        double r26796 = pow(r26788, r26795);
        double r26797 = r26794 * r26796;
        double r26798 = 1/5;
        double r26799 = 5;
        double r26800 = pow(r26788, r26799);
        double r26801 = r26798 * r26800;
        double r26802 = r26797 + r26801;
        double r26803 = r26793 + r26802;
        double r26804 = r26791 + r26803;
        double r26805 = r26785 * r26804;
        double r26806 = fabs(r26805);
        return r26806;
}

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 r26807, r26808, r26809, r26810, r26811, r26812, r26813, r26814, r26815, r26816, r26817, r26818, r26819, r26820, r26821, r26822, r26823, r26824, r26825, r26826, r26827, r26828, r26829, r26830, r26831, r26832, r26833, r26834;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r26807, "1", 10, MPFR_RNDN);
        mpfr_init(r26808);
        mpfr_init(r26809);
        mpfr_init(r26810);
        mpfr_init_set_str(r26811, "2", 10, MPFR_RNDN);
        mpfr_init(r26812);
        mpfr_init(r26813);
        mpfr_init(r26814);
        mpfr_init_set_str(r26815, "3", 10, MPFR_RNDN);
        mpfr_init(r26816);
        mpfr_init(r26817);
        mpfr_init(r26818);
        mpfr_init(r26819);
        mpfr_init(r26820);
        mpfr_init_set_str(r26821, "5", 10, MPFR_RNDN);
        mpfr_init(r26822);
        mpfr_init(r26823);
        mpfr_init(r26824);
        mpfr_init(r26825);
        mpfr_init(r26826);
        mpfr_init_set_str(r26827, "21", 10, MPFR_RNDN);
        mpfr_init(r26828);
        mpfr_init(r26829);
        mpfr_init(r26830);
        mpfr_init(r26831);
        mpfr_init(r26832);
        mpfr_init(r26833);
        mpfr_init(r26834);
}

double f_im(double x) {
        ;
        mpfr_const_pi(r26808, MPFR_RNDN);
        mpfr_sqrt(r26809, r26808, MPFR_RNDN);
        mpfr_div(r26810, r26807, r26809, MPFR_RNDN);
        ;
        mpfr_set_d(r26812, x, MPFR_RNDN);
        mpfr_abs(r26813, r26812, MPFR_RNDN);
        mpfr_mul(r26814, r26811, r26813, MPFR_RNDN);
        ;
        mpfr_div(r26816, r26811, r26815, MPFR_RNDN);
        mpfr_mul(r26817, r26813, r26813, MPFR_RNDN);
        mpfr_mul(r26818, r26817, r26813, MPFR_RNDN);
        mpfr_mul(r26819, r26816, r26818, MPFR_RNDN);
        mpfr_add(r26820, r26814, r26819, MPFR_RNDN);
        ;
        mpfr_div(r26822, r26807, r26821, MPFR_RNDN);
        mpfr_mul(r26823, r26818, r26813, MPFR_RNDN);
        mpfr_mul(r26824, r26823, r26813, MPFR_RNDN);
        mpfr_mul(r26825, r26822, r26824, MPFR_RNDN);
        mpfr_add(r26826, r26820, r26825, MPFR_RNDN);
        ;
        mpfr_div(r26828, r26807, r26827, MPFR_RNDN);
        mpfr_mul(r26829, r26824, r26813, MPFR_RNDN);
        mpfr_mul(r26830, r26829, r26813, MPFR_RNDN);
        mpfr_mul(r26831, r26828, r26830, MPFR_RNDN);
        mpfr_add(r26832, r26826, r26831, MPFR_RNDN);
        mpfr_mul(r26833, r26810, r26832, MPFR_RNDN);
        mpfr_abs(r26834, r26833, MPFR_RNDN);
        return mpfr_get_d(r26834, MPFR_RNDN);
}

static mpfr_t r26835, r26836, r26837, r26838, r26839, r26840, r26841, r26842, r26843, r26844, r26845, r26846, r26847, r26848, r26849, r26850, r26851, r26852, r26853, r26854, r26855, r26856, r26857, r26858, r26859;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r26835, "1", 10, MPFR_RNDN);
        mpfr_init(r26836);
        mpfr_init(r26837);
        mpfr_init(r26838);
        mpfr_init_set_str(r26839, "2/3", 10, MPFR_RNDN);
        mpfr_init(r26840);
        mpfr_init(r26841);
        mpfr_init_set_str(r26842, "3", 10, MPFR_RNDN);
        mpfr_init(r26843);
        mpfr_init(r26844);
        mpfr_init_set_str(r26845, "2", 10, MPFR_RNDN);
        mpfr_init(r26846);
        mpfr_init_set_str(r26847, "1/21", 10, MPFR_RNDN);
        mpfr_init_set_str(r26848, "7", 10, MPFR_RNDN);
        mpfr_init(r26849);
        mpfr_init(r26850);
        mpfr_init_set_str(r26851, "1/5", 10, MPFR_RNDN);
        mpfr_init_set_str(r26852, "5", 10, MPFR_RNDN);
        mpfr_init(r26853);
        mpfr_init(r26854);
        mpfr_init(r26855);
        mpfr_init(r26856);
        mpfr_init(r26857);
        mpfr_init(r26858);
        mpfr_init(r26859);
}

double f_fm(double x) {
        ;
        mpfr_const_pi(r26836, MPFR_RNDN);
        mpfr_div(r26837, r26835, r26836, MPFR_RNDN);
        mpfr_sqrt(r26838, r26837, MPFR_RNDN);
        ;
        mpfr_set_d(r26840, x, MPFR_RNDN);
        mpfr_abs(r26841, r26840, MPFR_RNDN);
        ;
        mpfr_pow(r26843, r26841, r26842, MPFR_RNDN);
        mpfr_mul(r26844, r26839, r26843, MPFR_RNDN);
        ;
        mpfr_mul(r26846, r26845, r26841, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26849, r26841, r26848, MPFR_RNDN);
        mpfr_mul(r26850, r26847, r26849, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26853, r26841, r26852, MPFR_RNDN);
        mpfr_mul(r26854, r26851, r26853, MPFR_RNDN);
        mpfr_add(r26855, r26850, r26854, MPFR_RNDN);
        mpfr_add(r26856, r26846, r26855, MPFR_RNDN);
        mpfr_add(r26857, r26844, r26856, MPFR_RNDN);
        mpfr_mul(r26858, r26838, r26857, MPFR_RNDN);
        mpfr_abs(r26859, r26858, MPFR_RNDN);
        return mpfr_get_d(r26859, MPFR_RNDN);
}

static mpfr_t r26860, r26861, r26862, r26863, r26864, r26865, r26866, r26867, r26868, r26869, r26870, r26871, r26872, r26873, r26874, r26875, r26876, r26877, r26878, r26879, r26880, r26881, r26882, r26883, r26884;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r26860, "1", 10, MPFR_RNDN);
        mpfr_init(r26861);
        mpfr_init(r26862);
        mpfr_init(r26863);
        mpfr_init_set_str(r26864, "2/3", 10, MPFR_RNDN);
        mpfr_init(r26865);
        mpfr_init(r26866);
        mpfr_init_set_str(r26867, "3", 10, MPFR_RNDN);
        mpfr_init(r26868);
        mpfr_init(r26869);
        mpfr_init_set_str(r26870, "2", 10, MPFR_RNDN);
        mpfr_init(r26871);
        mpfr_init_set_str(r26872, "1/21", 10, MPFR_RNDN);
        mpfr_init_set_str(r26873, "7", 10, MPFR_RNDN);
        mpfr_init(r26874);
        mpfr_init(r26875);
        mpfr_init_set_str(r26876, "1/5", 10, MPFR_RNDN);
        mpfr_init_set_str(r26877, "5", 10, MPFR_RNDN);
        mpfr_init(r26878);
        mpfr_init(r26879);
        mpfr_init(r26880);
        mpfr_init(r26881);
        mpfr_init(r26882);
        mpfr_init(r26883);
        mpfr_init(r26884);
}

double f_dm(double x) {
        ;
        mpfr_const_pi(r26861, MPFR_RNDN);
        mpfr_div(r26862, r26860, r26861, MPFR_RNDN);
        mpfr_sqrt(r26863, r26862, MPFR_RNDN);
        ;
        mpfr_set_d(r26865, x, MPFR_RNDN);
        mpfr_abs(r26866, r26865, MPFR_RNDN);
        ;
        mpfr_pow(r26868, r26866, r26867, MPFR_RNDN);
        mpfr_mul(r26869, r26864, r26868, MPFR_RNDN);
        ;
        mpfr_mul(r26871, r26870, r26866, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26874, r26866, r26873, MPFR_RNDN);
        mpfr_mul(r26875, r26872, r26874, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r26878, r26866, r26877, MPFR_RNDN);
        mpfr_mul(r26879, r26876, r26878, MPFR_RNDN);
        mpfr_add(r26880, r26875, r26879, MPFR_RNDN);
        mpfr_add(r26881, r26871, r26880, MPFR_RNDN);
        mpfr_add(r26882, r26869, r26881, MPFR_RNDN);
        mpfr_mul(r26883, r26863, r26882, MPFR_RNDN);
        mpfr_abs(r26884, r26883, MPFR_RNDN);
        return mpfr_get_d(r26884, MPFR_RNDN);
}