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

char *name = "expax (section 3.5)";

double f_if(float a, float x) {
        float r26910 = a;
        float r26911 = x;
        float r26912 = r26910 * r26911;
        float r26913 = exp(r26912);
        float r26914 = 1;
        float r26915 = r26913 - r26914;
        return r26915;
}

double f_id(double a, double x) {
        double r26916 = a;
        double r26917 = x;
        double r26918 = r26916 * r26917;
        double r26919 = exp(r26918);
        double r26920 = 1;
        double r26921 = r26919 - r26920;
        return r26921;
}


double f_of(float a, float x) {
        float r26922 = a;
        float r26923 = x;
        float r26924 = r26922 * r26923;
        float r26925 = exp(r26924);
        float r26926 = 1;
        float r26927 = r26925 - r26926;
        float r26928 = -2.6761772081146965e-06;
        bool r26929 = r26927 <= r26928;
        float r26930 = cbrt(r26927);
        float r26931 = r26930 * r26930;
        float r26932 = sqrt(r26925);
        float r26933 = r26932 + r26926;
        float r26934 = r26932 - r26926;
        float r26935 = exp(r26934);
        float r26936 = log(r26935);
        float r26937 = r26933 * r26936;
        float r26938 = cbrt(r26937);
        float r26939 = r26931 * r26938;
        float r26940 = r26924 * r26924;
        float r26941 = 1/6;
        float r26942 = r26924 * r26941;
        float r26943 = 1/2;
        float r26944 = r26942 + r26943;
        float r26945 = r26940 * r26944;
        float r26946 = r26945 + r26924;
        float r26947 = r26929 ? r26939 : r26946;
        return r26947;
}

double f_od(double a, double x) {
        double r26948 = a;
        double r26949 = x;
        double r26950 = r26948 * r26949;
        double r26951 = exp(r26950);
        double r26952 = 1;
        double r26953 = r26951 - r26952;
        double r26954 = -2.6761772081146965e-06;
        bool r26955 = r26953 <= r26954;
        double r26956 = cbrt(r26953);
        double r26957 = r26956 * r26956;
        double r26958 = sqrt(r26951);
        double r26959 = r26958 + r26952;
        double r26960 = r26958 - r26952;
        double r26961 = exp(r26960);
        double r26962 = log(r26961);
        double r26963 = r26959 * r26962;
        double r26964 = cbrt(r26963);
        double r26965 = r26957 * r26964;
        double r26966 = r26950 * r26950;
        double r26967 = 1/6;
        double r26968 = r26950 * r26967;
        double r26969 = 1/2;
        double r26970 = r26968 + r26969;
        double r26971 = r26966 * r26970;
        double r26972 = r26971 + r26950;
        double r26973 = r26955 ? r26965 : r26972;
        return r26973;
}

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 r26974, r26975, r26976, r26977, r26978, r26979;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26974);
        mpfr_init(r26975);
        mpfr_init(r26976);
        mpfr_init(r26977);
        mpfr_init_set_str(r26978, "1", 10, MPFR_RNDN);
        mpfr_init(r26979);
}

double f_im(double a, double x) {
        mpfr_set_d(r26974, a, MPFR_RNDN);
        mpfr_set_d(r26975, x, MPFR_RNDN);
        mpfr_mul(r26976, r26974, r26975, MPFR_RNDN);
        mpfr_exp(r26977, r26976, MPFR_RNDN);
        ;
        mpfr_sub(r26979, r26977, r26978, MPFR_RNDN);
        return mpfr_get_d(r26979, MPFR_RNDN);
}

static mpfr_t r26980, r26981, r26982, r26983, r26984, r26985, r26986, r26987, r26988, r26989, r26990, r26991, r26992, r26993, r26994, r26995, r26996, r26997, r26998, r26999, r27000, r27001, r27002, r27003, r27004, r27005;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26980);
        mpfr_init(r26981);
        mpfr_init(r26982);
        mpfr_init(r26983);
        mpfr_init_set_str(r26984, "1", 10, MPFR_RNDN);
        mpfr_init(r26985);
        mpfr_init_set_str(r26986, "-2.6761772081146965e-06", 10, MPFR_RNDN);
        mpfr_init(r26987);
        mpfr_init(r26988);
        mpfr_init(r26989);
        mpfr_init(r26990);
        mpfr_init(r26991);
        mpfr_init(r26992);
        mpfr_init(r26993);
        mpfr_init(r26994);
        mpfr_init(r26995);
        mpfr_init(r26996);
        mpfr_init(r26997);
        mpfr_init(r26998);
        mpfr_init_set_str(r26999, "1/6", 10, MPFR_RNDN);
        mpfr_init(r27000);
        mpfr_init_set_str(r27001, "1/2", 10, MPFR_RNDN);
        mpfr_init(r27002);
        mpfr_init(r27003);
        mpfr_init(r27004);
        mpfr_init(r27005);
}

double f_fm(double a, double x) {
        mpfr_set_d(r26980, a, MPFR_RNDN);
        mpfr_set_d(r26981, x, MPFR_RNDN);
        mpfr_mul(r26982, r26980, r26981, MPFR_RNDN);
        mpfr_exp(r26983, r26982, MPFR_RNDN);
        ;
        mpfr_sub(r26985, r26983, r26984, MPFR_RNDN);
        ;
        mpfr_set_si(r26987, mpfr_cmp(r26985, r26986) <= 0, MPFR_RNDN);
        mpfr_cbrt(r26988, r26985, MPFR_RNDN);
        mpfr_mul(r26989, r26988, r26988, MPFR_RNDN);
        mpfr_sqrt(r26990, r26983, MPFR_RNDN);
        mpfr_add(r26991, r26990, r26984, MPFR_RNDN);
        mpfr_sub(r26992, r26990, r26984, MPFR_RNDN);
        mpfr_exp(r26993, r26992, MPFR_RNDN);
        mpfr_log(r26994, r26993, MPFR_RNDN);
        mpfr_mul(r26995, r26991, r26994, MPFR_RNDN);
        mpfr_cbrt(r26996, r26995, MPFR_RNDN);
        mpfr_mul(r26997, r26989, r26996, MPFR_RNDN);
        mpfr_mul(r26998, r26982, r26982, MPFR_RNDN);
        ;
        mpfr_mul(r27000, r26982, r26999, MPFR_RNDN);
        ;
        mpfr_add(r27002, r27000, r27001, MPFR_RNDN);
        mpfr_mul(r27003, r26998, r27002, MPFR_RNDN);
        mpfr_add(r27004, r27003, r26982, MPFR_RNDN);
        if (mpfr_get_si(r26987, MPFR_RNDN)) { mpfr_set(r27005, r26997, MPFR_RNDN); } else { mpfr_set(r27005, r27004, MPFR_RNDN); };
        return mpfr_get_d(r27005, MPFR_RNDN);
}

static mpfr_t r27006, r27007, r27008, r27009, r27010, r27011, r27012, r27013, r27014, r27015, r27016, r27017, r27018, r27019, r27020, r27021, r27022, r27023, r27024, r27025, r27026, r27027, r27028, r27029, r27030, r27031;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r27006);
        mpfr_init(r27007);
        mpfr_init(r27008);
        mpfr_init(r27009);
        mpfr_init_set_str(r27010, "1", 10, MPFR_RNDN);
        mpfr_init(r27011);
        mpfr_init_set_str(r27012, "-2.6761772081146965e-06", 10, MPFR_RNDN);
        mpfr_init(r27013);
        mpfr_init(r27014);
        mpfr_init(r27015);
        mpfr_init(r27016);
        mpfr_init(r27017);
        mpfr_init(r27018);
        mpfr_init(r27019);
        mpfr_init(r27020);
        mpfr_init(r27021);
        mpfr_init(r27022);
        mpfr_init(r27023);
        mpfr_init(r27024);
        mpfr_init_set_str(r27025, "1/6", 10, MPFR_RNDN);
        mpfr_init(r27026);
        mpfr_init_set_str(r27027, "1/2", 10, MPFR_RNDN);
        mpfr_init(r27028);
        mpfr_init(r27029);
        mpfr_init(r27030);
        mpfr_init(r27031);
}

double f_dm(double a, double x) {
        mpfr_set_d(r27006, a, MPFR_RNDN);
        mpfr_set_d(r27007, x, MPFR_RNDN);
        mpfr_mul(r27008, r27006, r27007, MPFR_RNDN);
        mpfr_exp(r27009, r27008, MPFR_RNDN);
        ;
        mpfr_sub(r27011, r27009, r27010, MPFR_RNDN);
        ;
        mpfr_set_si(r27013, mpfr_cmp(r27011, r27012) <= 0, MPFR_RNDN);
        mpfr_cbrt(r27014, r27011, MPFR_RNDN);
        mpfr_mul(r27015, r27014, r27014, MPFR_RNDN);
        mpfr_sqrt(r27016, r27009, MPFR_RNDN);
        mpfr_add(r27017, r27016, r27010, MPFR_RNDN);
        mpfr_sub(r27018, r27016, r27010, MPFR_RNDN);
        mpfr_exp(r27019, r27018, MPFR_RNDN);
        mpfr_log(r27020, r27019, MPFR_RNDN);
        mpfr_mul(r27021, r27017, r27020, MPFR_RNDN);
        mpfr_cbrt(r27022, r27021, MPFR_RNDN);
        mpfr_mul(r27023, r27015, r27022, MPFR_RNDN);
        mpfr_mul(r27024, r27008, r27008, MPFR_RNDN);
        ;
        mpfr_mul(r27026, r27008, r27025, MPFR_RNDN);
        ;
        mpfr_add(r27028, r27026, r27027, MPFR_RNDN);
        mpfr_mul(r27029, r27024, r27028, MPFR_RNDN);
        mpfr_add(r27030, r27029, r27008, MPFR_RNDN);
        if (mpfr_get_si(r27013, MPFR_RNDN)) { mpfr_set(r27031, r27023, MPFR_RNDN); } else { mpfr_set(r27031, r27030, MPFR_RNDN); };
        return mpfr_get_d(r27031, MPFR_RNDN);
}