#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 r26563 = wj;
        float r26564 = exp(r26563);
        float r26565 = r26563 * r26564;
        float r26566 = x;
        float r26567 = r26565 - r26566;
        float r26568 = r26564 + r26565;
        float r26569 = r26567 / r26568;
        float r26570 = r26563 - r26569;
        return r26570;
}

double f_id(double wj, double x) {
        double r26571 = wj;
        double r26572 = exp(r26571);
        double r26573 = r26571 * r26572;
        double r26574 = x;
        double r26575 = r26573 - r26574;
        double r26576 = r26572 + r26573;
        double r26577 = r26575 / r26576;
        double r26578 = r26571 - r26577;
        return r26578;
}


double f_of(float wj, float x) {
        float r26579 = wj;
        float r26580 = r26579 * r26579;
        float r26581 = 5.891369677321354e-14;
        bool r26582 = r26580 <= r26581;
        float r26583 = 2;
        float r26584 = pow(r26579, r26583);
        float r26585 = x;
        float r26586 = r26584 + r26585;
        float r26587 = r26579 * r26585;
        float r26588 = r26583 * r26587;
        float r26589 = r26586 - r26588;
        float r26590 = 1;
        float r26591 = r26590 + r26579;
        float r26592 = r26579 / r26591;
        float r26593 = r26579 - r26592;
        float r26594 = exp(r26579);
        float r26595 = r26579 * r26594;
        float r26596 = r26594 + r26595;
        float r26597 = r26585 / r26596;
        float r26598 = r26593 + r26597;
        float r26599 = r26582 ? r26589 : r26598;
        return r26599;
}

double f_od(double wj, double x) {
        double r26600 = wj;
        double r26601 = r26600 * r26600;
        double r26602 = 5.891369677321354e-14;
        bool r26603 = r26601 <= r26602;
        double r26604 = 2;
        double r26605 = pow(r26600, r26604);
        double r26606 = x;
        double r26607 = r26605 + r26606;
        double r26608 = r26600 * r26606;
        double r26609 = r26604 * r26608;
        double r26610 = r26607 - r26609;
        double r26611 = 1;
        double r26612 = r26611 + r26600;
        double r26613 = r26600 / r26612;
        double r26614 = r26600 - r26613;
        double r26615 = exp(r26600);
        double r26616 = r26600 * r26615;
        double r26617 = r26615 + r26616;
        double r26618 = r26606 / r26617;
        double r26619 = r26614 + r26618;
        double r26620 = r26603 ? r26610 : r26619;
        return r26620;
}

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 r26621, r26622, r26623, r26624, r26625, r26626, r26627, r26628;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(848);
        mpfr_init(r26621);
        mpfr_init(r26622);
        mpfr_init(r26623);
        mpfr_init(r26624);
        mpfr_init(r26625);
        mpfr_init(r26626);
        mpfr_init(r26627);
        mpfr_init(r26628);
}

double f_im(double wj, double x) {
        mpfr_set_d(r26621, wj, MPFR_RNDN);
        mpfr_exp(r26622, r26621, MPFR_RNDN);
        mpfr_mul(r26623, r26621, r26622, MPFR_RNDN);
        mpfr_set_d(r26624, x, MPFR_RNDN);
        mpfr_sub(r26625, r26623, r26624, MPFR_RNDN);
        mpfr_add(r26626, r26622, r26623, MPFR_RNDN);
        mpfr_div(r26627, r26625, r26626, MPFR_RNDN);
        mpfr_sub(r26628, r26621, r26627, MPFR_RNDN);
        return mpfr_get_d(r26628, MPFR_RNDN);
}

static mpfr_t r26629, r26630, r26631, r26632, r26633, r26634, r26635, r26636, r26637, r26638, r26639, r26640, r26641, r26642, r26643, r26644, r26645, r26646, r26647, r26648, r26649;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(848);
        mpfr_init(r26629);
        mpfr_init(r26630);
        mpfr_init_set_str(r26631, "5.891369677321354e-14", 10, MPFR_RNDN);
        mpfr_init(r26632);
        mpfr_init_set_str(r26633, "2", 10, MPFR_RNDN);
        mpfr_init(r26634);
        mpfr_init(r26635);
        mpfr_init(r26636);
        mpfr_init(r26637);
        mpfr_init(r26638);
        mpfr_init(r26639);
        mpfr_init_set_str(r26640, "1", 10, MPFR_RNDN);
        mpfr_init(r26641);
        mpfr_init(r26642);
        mpfr_init(r26643);
        mpfr_init(r26644);
        mpfr_init(r26645);
        mpfr_init(r26646);
        mpfr_init(r26647);
        mpfr_init(r26648);
        mpfr_init(r26649);
}

double f_fm(double wj, double x) {
        mpfr_set_d(r26629, wj, MPFR_RNDN);
        mpfr_mul(r26630, r26629, r26629, MPFR_RNDN);
        ;
        mpfr_set_si(r26632, mpfr_cmp(r26630, r26631) <= 0, MPFR_RNDN);
        ;
        mpfr_pow(r26634, r26629, r26633, MPFR_RNDN);
        mpfr_set_d(r26635, x, MPFR_RNDN);
        mpfr_add(r26636, r26634, r26635, MPFR_RNDN);
        mpfr_mul(r26637, r26629, r26635, MPFR_RNDN);
        mpfr_mul(r26638, r26633, r26637, MPFR_RNDN);
        mpfr_sub(r26639, r26636, r26638, MPFR_RNDN);
        ;
        mpfr_add(r26641, r26640, r26629, MPFR_RNDN);
        mpfr_div(r26642, r26629, r26641, MPFR_RNDN);
        mpfr_sub(r26643, r26629, r26642, MPFR_RNDN);
        mpfr_exp(r26644, r26629, MPFR_RNDN);
        mpfr_mul(r26645, r26629, r26644, MPFR_RNDN);
        mpfr_add(r26646, r26644, r26645, MPFR_RNDN);
        mpfr_div(r26647, r26635, r26646, MPFR_RNDN);
        mpfr_add(r26648, r26643, r26647, MPFR_RNDN);
        if (mpfr_get_si(r26632, MPFR_RNDN)) { mpfr_set(r26649, r26639, MPFR_RNDN); } else { mpfr_set(r26649, r26648, MPFR_RNDN); };
        return mpfr_get_d(r26649, MPFR_RNDN);
}

static mpfr_t r26650, r26651, r26652, r26653, r26654, r26655, r26656, r26657, r26658, r26659, r26660, r26661, r26662, r26663, r26664, r26665, r26666, r26667, r26668, r26669, r26670;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(848);
        mpfr_init(r26650);
        mpfr_init(r26651);
        mpfr_init_set_str(r26652, "5.891369677321354e-14", 10, MPFR_RNDN);
        mpfr_init(r26653);
        mpfr_init_set_str(r26654, "2", 10, MPFR_RNDN);
        mpfr_init(r26655);
        mpfr_init(r26656);
        mpfr_init(r26657);
        mpfr_init(r26658);
        mpfr_init(r26659);
        mpfr_init(r26660);
        mpfr_init_set_str(r26661, "1", 10, MPFR_RNDN);
        mpfr_init(r26662);
        mpfr_init(r26663);
        mpfr_init(r26664);
        mpfr_init(r26665);
        mpfr_init(r26666);
        mpfr_init(r26667);
        mpfr_init(r26668);
        mpfr_init(r26669);
        mpfr_init(r26670);
}

double f_dm(double wj, double x) {
        mpfr_set_d(r26650, wj, MPFR_RNDN);
        mpfr_mul(r26651, r26650, r26650, MPFR_RNDN);
        ;
        mpfr_set_si(r26653, mpfr_cmp(r26651, r26652) <= 0, MPFR_RNDN);
        ;
        mpfr_pow(r26655, r26650, r26654, MPFR_RNDN);
        mpfr_set_d(r26656, x, MPFR_RNDN);
        mpfr_add(r26657, r26655, r26656, MPFR_RNDN);
        mpfr_mul(r26658, r26650, r26656, MPFR_RNDN);
        mpfr_mul(r26659, r26654, r26658, MPFR_RNDN);
        mpfr_sub(r26660, r26657, r26659, MPFR_RNDN);
        ;
        mpfr_add(r26662, r26661, r26650, MPFR_RNDN);
        mpfr_div(r26663, r26650, r26662, MPFR_RNDN);
        mpfr_sub(r26664, r26650, r26663, MPFR_RNDN);
        mpfr_exp(r26665, r26650, MPFR_RNDN);
        mpfr_mul(r26666, r26650, r26665, MPFR_RNDN);
        mpfr_add(r26667, r26665, r26666, MPFR_RNDN);
        mpfr_div(r26668, r26656, r26667, MPFR_RNDN);
        mpfr_add(r26669, r26664, r26668, MPFR_RNDN);
        if (mpfr_get_si(r26653, MPFR_RNDN)) { mpfr_set(r26670, r26660, MPFR_RNDN); } else { mpfr_set(r26670, r26669, MPFR_RNDN); };
        return mpfr_get_d(r26670, MPFR_RNDN);
}