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

char *name = "Jmat.Real.lambertw, newton loop step";

double f_if(float wj, float x) {
        float r26901 = wj;
        float r26902 = exp(r26901);
        float r26903 = r26901 * r26902;
        float r26904 = x;
        float r26905 = r26903 - r26904;
        float r26906 = r26902 + r26903;
        float r26907 = r26905 / r26906;
        float r26908 = r26901 - r26907;
        return r26908;
}

double f_id(double wj, double x) {
        double r26909 = wj;
        double r26910 = exp(r26909);
        double r26911 = r26909 * r26910;
        double r26912 = x;
        double r26913 = r26911 - r26912;
        double r26914 = r26910 + r26911;
        double r26915 = r26913 / r26914;
        double r26916 = r26909 - r26915;
        return r26916;
}


double f_of(float wj, float x) {
        float r26917 = wj;
        float r26918 = exp(r26917);
        float r26919 = r26917 * r26918;
        float r26920 = x;
        float r26921 = r26919 - r26920;
        float r26922 = r26918 + r26919;
        float r26923 = r26921 / r26922;
        float r26924 = r26917 - r26923;
        float r26925 = 1.5297742957850337e-09;
        bool r26926 = r26924 <= r26925;
        float r26927 = r26920 / r26918;
        float r26928 = 1;
        float r26929 = r26928 + r26917;
        float r26930 = r26927 / r26929;
        float r26931 = 4;
        float r26932 = pow(r26917, r26931);
        float r26933 = r26928 - r26917;
        float r26934 = r26917 * r26917;
        float r26935 = r26933 * r26934;
        float r26936 = r26932 + r26935;
        float r26937 = r26930 + r26936;
        float r26938 = r26917 / r26929;
        float r26939 = r26938 * r26938;
        float r26940 = r26934 - r26939;
        float r26941 = r26917 + r26938;
        float r26942 = r26940 / r26941;
        float r26943 = r26920 / r26922;
        float r26944 = r26942 + r26943;
        float r26945 = r26926 ? r26937 : r26944;
        return r26945;
}

double f_od(double wj, double x) {
        double r26946 = wj;
        double r26947 = exp(r26946);
        double r26948 = r26946 * r26947;
        double r26949 = x;
        double r26950 = r26948 - r26949;
        double r26951 = r26947 + r26948;
        double r26952 = r26950 / r26951;
        double r26953 = r26946 - r26952;
        double r26954 = 1.5297742957850337e-09;
        bool r26955 = r26953 <= r26954;
        double r26956 = r26949 / r26947;
        double r26957 = 1;
        double r26958 = r26957 + r26946;
        double r26959 = r26956 / r26958;
        double r26960 = 4;
        double r26961 = pow(r26946, r26960);
        double r26962 = r26957 - r26946;
        double r26963 = r26946 * r26946;
        double r26964 = r26962 * r26963;
        double r26965 = r26961 + r26964;
        double r26966 = r26959 + r26965;
        double r26967 = r26946 / r26958;
        double r26968 = r26967 * r26967;
        double r26969 = r26963 - r26968;
        double r26970 = r26946 + r26967;
        double r26971 = r26969 / r26970;
        double r26972 = r26949 / r26951;
        double r26973 = r26971 + r26972;
        double r26974 = r26955 ? r26966 : r26973;
        return r26974;
}

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 r26975, r26976, r26977, r26978, r26979, r26980, r26981, r26982;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(848);
        mpfr_init(r26975);
        mpfr_init(r26976);
        mpfr_init(r26977);
        mpfr_init(r26978);
        mpfr_init(r26979);
        mpfr_init(r26980);
        mpfr_init(r26981);
        mpfr_init(r26982);
}

double f_im(double wj, double x) {
        mpfr_set_d(r26975, wj, MPFR_RNDN);
        mpfr_exp(r26976, r26975, MPFR_RNDN);
        mpfr_mul(r26977, r26975, r26976, MPFR_RNDN);
        mpfr_set_d(r26978, x, MPFR_RNDN);
        mpfr_sub(r26979, r26977, r26978, MPFR_RNDN);
        mpfr_add(r26980, r26976, r26977, MPFR_RNDN);
        mpfr_div(r26981, r26979, r26980, MPFR_RNDN);
        mpfr_sub(r26982, r26975, r26981, MPFR_RNDN);
        return mpfr_get_d(r26982, MPFR_RNDN);
}

static mpfr_t r26983, r26984, r26985, r26986, r26987, r26988, r26989, r26990, r26991, r26992, r26993, r26994, r26995, r26996, r26997, r26998, r26999, r27000, r27001, r27002, r27003, r27004, r27005, r27006, r27007, r27008, r27009, r27010, r27011;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(848);
        mpfr_init(r26983);
        mpfr_init(r26984);
        mpfr_init(r26985);
        mpfr_init(r26986);
        mpfr_init(r26987);
        mpfr_init(r26988);
        mpfr_init(r26989);
        mpfr_init(r26990);
        mpfr_init_set_str(r26991, "1.5297742957850337e-09", 10, MPFR_RNDN);
        mpfr_init(r26992);
        mpfr_init(r26993);
        mpfr_init_set_str(r26994, "1", 10, MPFR_RNDN);
        mpfr_init(r26995);
        mpfr_init(r26996);
        mpfr_init_set_str(r26997, "4", 10, MPFR_RNDN);
        mpfr_init(r26998);
        mpfr_init(r26999);
        mpfr_init(r27000);
        mpfr_init(r27001);
        mpfr_init(r27002);
        mpfr_init(r27003);
        mpfr_init(r27004);
        mpfr_init(r27005);
        mpfr_init(r27006);
        mpfr_init(r27007);
        mpfr_init(r27008);
        mpfr_init(r27009);
        mpfr_init(r27010);
        mpfr_init(r27011);
}

double f_fm(double wj, double x) {
        mpfr_set_d(r26983, wj, MPFR_RNDN);
        mpfr_exp(r26984, r26983, MPFR_RNDN);
        mpfr_mul(r26985, r26983, r26984, MPFR_RNDN);
        mpfr_set_d(r26986, x, MPFR_RNDN);
        mpfr_sub(r26987, r26985, r26986, MPFR_RNDN);
        mpfr_add(r26988, r26984, r26985, MPFR_RNDN);
        mpfr_div(r26989, r26987, r26988, MPFR_RNDN);
        mpfr_sub(r26990, r26983, r26989, MPFR_RNDN);
        ;
        mpfr_set_si(r26992, mpfr_cmp(r26990, r26991) <= 0, MPFR_RNDN);
        mpfr_div(r26993, r26986, r26984, MPFR_RNDN);
        ;
        mpfr_add(r26995, r26994, r26983, MPFR_RNDN);
        mpfr_div(r26996, r26993, r26995, MPFR_RNDN);
        ;
        mpfr_pow(r26998, r26983, r26997, MPFR_RNDN);
        mpfr_sub(r26999, r26994, r26983, MPFR_RNDN);
        mpfr_mul(r27000, r26983, r26983, MPFR_RNDN);
        mpfr_mul(r27001, r26999, r27000, MPFR_RNDN);
        mpfr_add(r27002, r26998, r27001, MPFR_RNDN);
        mpfr_add(r27003, r26996, r27002, MPFR_RNDN);
        mpfr_div(r27004, r26983, r26995, MPFR_RNDN);
        mpfr_mul(r27005, r27004, r27004, MPFR_RNDN);
        mpfr_sub(r27006, r27000, r27005, MPFR_RNDN);
        mpfr_add(r27007, r26983, r27004, MPFR_RNDN);
        mpfr_div(r27008, r27006, r27007, MPFR_RNDN);
        mpfr_div(r27009, r26986, r26988, MPFR_RNDN);
        mpfr_add(r27010, r27008, r27009, MPFR_RNDN);
        if (mpfr_get_si(r26992, MPFR_RNDN)) { mpfr_set(r27011, r27003, MPFR_RNDN); } else { mpfr_set(r27011, r27010, MPFR_RNDN); };
        return mpfr_get_d(r27011, MPFR_RNDN);
}

static mpfr_t r27012, r27013, r27014, r27015, r27016, r27017, r27018, r27019, r27020, r27021, r27022, r27023, r27024, r27025, r27026, r27027, r27028, r27029, r27030, r27031, r27032, r27033, r27034, r27035, r27036, r27037, r27038, r27039, r27040;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(848);
        mpfr_init(r27012);
        mpfr_init(r27013);
        mpfr_init(r27014);
        mpfr_init(r27015);
        mpfr_init(r27016);
        mpfr_init(r27017);
        mpfr_init(r27018);
        mpfr_init(r27019);
        mpfr_init_set_str(r27020, "1.5297742957850337e-09", 10, MPFR_RNDN);
        mpfr_init(r27021);
        mpfr_init(r27022);
        mpfr_init_set_str(r27023, "1", 10, MPFR_RNDN);
        mpfr_init(r27024);
        mpfr_init(r27025);
        mpfr_init_set_str(r27026, "4", 10, MPFR_RNDN);
        mpfr_init(r27027);
        mpfr_init(r27028);
        mpfr_init(r27029);
        mpfr_init(r27030);
        mpfr_init(r27031);
        mpfr_init(r27032);
        mpfr_init(r27033);
        mpfr_init(r27034);
        mpfr_init(r27035);
        mpfr_init(r27036);
        mpfr_init(r27037);
        mpfr_init(r27038);
        mpfr_init(r27039);
        mpfr_init(r27040);
}

double f_dm(double wj, double x) {
        mpfr_set_d(r27012, wj, MPFR_RNDN);
        mpfr_exp(r27013, r27012, MPFR_RNDN);
        mpfr_mul(r27014, r27012, r27013, MPFR_RNDN);
        mpfr_set_d(r27015, x, MPFR_RNDN);
        mpfr_sub(r27016, r27014, r27015, MPFR_RNDN);
        mpfr_add(r27017, r27013, r27014, MPFR_RNDN);
        mpfr_div(r27018, r27016, r27017, MPFR_RNDN);
        mpfr_sub(r27019, r27012, r27018, MPFR_RNDN);
        ;
        mpfr_set_si(r27021, mpfr_cmp(r27019, r27020) <= 0, MPFR_RNDN);
        mpfr_div(r27022, r27015, r27013, MPFR_RNDN);
        ;
        mpfr_add(r27024, r27023, r27012, MPFR_RNDN);
        mpfr_div(r27025, r27022, r27024, MPFR_RNDN);
        ;
        mpfr_pow(r27027, r27012, r27026, MPFR_RNDN);
        mpfr_sub(r27028, r27023, r27012, MPFR_RNDN);
        mpfr_mul(r27029, r27012, r27012, MPFR_RNDN);
        mpfr_mul(r27030, r27028, r27029, MPFR_RNDN);
        mpfr_add(r27031, r27027, r27030, MPFR_RNDN);
        mpfr_add(r27032, r27025, r27031, MPFR_RNDN);
        mpfr_div(r27033, r27012, r27024, MPFR_RNDN);
        mpfr_mul(r27034, r27033, r27033, MPFR_RNDN);
        mpfr_sub(r27035, r27029, r27034, MPFR_RNDN);
        mpfr_add(r27036, r27012, r27033, MPFR_RNDN);
        mpfr_div(r27037, r27035, r27036, MPFR_RNDN);
        mpfr_div(r27038, r27015, r27017, MPFR_RNDN);
        mpfr_add(r27039, r27037, r27038, MPFR_RNDN);
        if (mpfr_get_si(r27021, MPFR_RNDN)) { mpfr_set(r27040, r27032, MPFR_RNDN); } else { mpfr_set(r27040, r27039, MPFR_RNDN); };
        return mpfr_get_d(r27040, MPFR_RNDN);
}