#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 r25758 = wj;
        float r25759 = exp(r25758);
        float r25760 = r25758 * r25759;
        float r25761 = x;
        float r25762 = r25760 - r25761;
        float r25763 = r25759 + r25760;
        float r25764 = r25762 / r25763;
        float r25765 = r25758 - r25764;
        return r25765;
}

double f_id(double wj, double x) {
        double r25766 = wj;
        double r25767 = exp(r25766);
        double r25768 = r25766 * r25767;
        double r25769 = x;
        double r25770 = r25768 - r25769;
        double r25771 = r25767 + r25768;
        double r25772 = r25770 / r25771;
        double r25773 = r25766 - r25772;
        return r25773;
}


double f_of(float wj, float x) {
        float r25774 = x;
        float r25775 = wj;
        float r25776 = exp(r25775);
        float r25777 = fma(r25775, r25776, r25776);
        float r25778 = r25774 / r25777;
        float r25779 = r25775 * r25775;
        float r25780 = 1;
        float r25781 = r25780 - r25775;
        float r25782 = 4;
        float r25783 = pow(r25775, r25782);
        float r25784 = fma(r25779, r25781, r25783);
        float r25785 = r25778 + r25784;
        return r25785;
}

double f_od(double wj, double x) {
        double r25786 = x;
        double r25787 = wj;
        double r25788 = exp(r25787);
        double r25789 = fma(r25787, r25788, r25788);
        double r25790 = r25786 / r25789;
        double r25791 = r25787 * r25787;
        double r25792 = 1;
        double r25793 = r25792 - r25787;
        double r25794 = 4;
        double r25795 = pow(r25787, r25794);
        double r25796 = fma(r25791, r25793, r25795);
        double r25797 = r25790 + r25796;
        return r25797;
}

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 r25798, r25799, r25800, r25801, r25802, r25803, r25804, r25805;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(848);
        mpfr_init(r25798);
        mpfr_init(r25799);
        mpfr_init(r25800);
        mpfr_init(r25801);
        mpfr_init(r25802);
        mpfr_init(r25803);
        mpfr_init(r25804);
        mpfr_init(r25805);
}

double f_im(double wj, double x) {
        mpfr_set_d(r25798, wj, MPFR_RNDN);
        mpfr_exp(r25799, r25798, MPFR_RNDN);
        mpfr_mul(r25800, r25798, r25799, MPFR_RNDN);
        mpfr_set_d(r25801, x, MPFR_RNDN);
        mpfr_sub(r25802, r25800, r25801, MPFR_RNDN);
        mpfr_add(r25803, r25799, r25800, MPFR_RNDN);
        mpfr_div(r25804, r25802, r25803, MPFR_RNDN);
        mpfr_sub(r25805, r25798, r25804, MPFR_RNDN);
        return mpfr_get_d(r25805, MPFR_RNDN);
}

static mpfr_t r25806, r25807, r25808, r25809, r25810, r25811, r25812, r25813, r25814, r25815, r25816, r25817;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(848);
        mpfr_init(r25806);
        mpfr_init(r25807);
        mpfr_init(r25808);
        mpfr_init(r25809);
        mpfr_init(r25810);
        mpfr_init(r25811);
        mpfr_init_set_str(r25812, "1", 10, MPFR_RNDN);
        mpfr_init(r25813);
        mpfr_init_set_str(r25814, "4", 10, MPFR_RNDN);
        mpfr_init(r25815);
        mpfr_init(r25816);
        mpfr_init(r25817);
}

double f_fm(double wj, double x) {
        mpfr_set_d(r25806, x, MPFR_RNDN);
        mpfr_set_d(r25807, wj, MPFR_RNDN);
        mpfr_exp(r25808, r25807, MPFR_RNDN);
        mpfr_fma(r25809, r25807, r25808, r25808, MPFR_RNDN);
        mpfr_div(r25810, r25806, r25809, MPFR_RNDN);
        mpfr_mul(r25811, r25807, r25807, MPFR_RNDN);
        ;
        mpfr_sub(r25813, r25812, r25807, MPFR_RNDN);
        ;
        mpfr_pow(r25815, r25807, r25814, MPFR_RNDN);
        mpfr_fma(r25816, r25811, r25813, r25815, MPFR_RNDN);
        mpfr_add(r25817, r25810, r25816, MPFR_RNDN);
        return mpfr_get_d(r25817, MPFR_RNDN);
}

static mpfr_t r25818, r25819, r25820, r25821, r25822, r25823, r25824, r25825, r25826, r25827, r25828, r25829;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(848);
        mpfr_init(r25818);
        mpfr_init(r25819);
        mpfr_init(r25820);
        mpfr_init(r25821);
        mpfr_init(r25822);
        mpfr_init(r25823);
        mpfr_init_set_str(r25824, "1", 10, MPFR_RNDN);
        mpfr_init(r25825);
        mpfr_init_set_str(r25826, "4", 10, MPFR_RNDN);
        mpfr_init(r25827);
        mpfr_init(r25828);
        mpfr_init(r25829);
}

double f_dm(double wj, double x) {
        mpfr_set_d(r25818, x, MPFR_RNDN);
        mpfr_set_d(r25819, wj, MPFR_RNDN);
        mpfr_exp(r25820, r25819, MPFR_RNDN);
        mpfr_fma(r25821, r25819, r25820, r25820, MPFR_RNDN);
        mpfr_div(r25822, r25818, r25821, MPFR_RNDN);
        mpfr_mul(r25823, r25819, r25819, MPFR_RNDN);
        ;
        mpfr_sub(r25825, r25824, r25819, MPFR_RNDN);
        ;
        mpfr_pow(r25827, r25819, r25826, MPFR_RNDN);
        mpfr_fma(r25828, r25823, r25825, r25827, MPFR_RNDN);
        mpfr_add(r25829, r25822, r25828, MPFR_RNDN);
        return mpfr_get_d(r25829, MPFR_RNDN);
}