#include #include #include #include #include char *name = "Jmat.Real.lambertw, newton loop step"; double f_if(float wj, float x) { float r19584 = wj; float r19585 = exp(r19584); float r19586 = r19584 * r19585; float r19587 = x; float r19588 = r19586 - r19587; float r19589 = r19585 + r19586; float r19590 = r19588 / r19589; float r19591 = r19584 - r19590; return r19591; } double f_id(double wj, double x) { double r19592 = wj; double r19593 = exp(r19592); double r19594 = r19592 * r19593; double r19595 = x; double r19596 = r19594 - r19595; double r19597 = r19593 + r19594; double r19598 = r19596 / r19597; double r19599 = r19592 - r19598; return r19599; } double f_of(float wj, float x) { float r19600 = wj; float r19601 = 50.41445541381836f; bool r19602 = r19600 <= r19601; float r19603 = exp(r19600); float r19604 = r19600 * r19603; float r19605 = x; float r19606 = r19604 - r19605; float r19607 = r19603 + r19604; float r19608 = r19606 / r19607; float r19609 = r19600 - r19608; float r19610 = 1.0f; float r19611 = r19610 + r19600; float r19612 = r19600 / r19611; float r19613 = r19600 - r19612; float r19614 = r19605 / r19607; float r19615 = r19613 + r19614; float r19616 = r19602 ? r19609 : r19615; return r19616; } double f_od(double wj, double x) { double r19617 = wj; double r19618 = 50.41445541381836; bool r19619 = r19617 <= r19618; double r19620 = exp(r19617); double r19621 = r19617 * r19620; double r19622 = x; double r19623 = r19621 - r19622; double r19624 = r19620 + r19621; double r19625 = r19623 / r19624; double r19626 = r19617 - r19625; double r19627 = 1.0; double r19628 = r19627 + r19617; double r19629 = r19617 / r19628; double r19630 = r19617 - r19629; double r19631 = r19622 / r19624; double r19632 = r19630 + r19631; double r19633 = r19619 ? r19626 : r19632; return r19633; } 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 r19634, r19635, r19636, r19637, r19638, r19639, r19640, r19641; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r19634); mpfr_init(r19635); mpfr_init(r19636); mpfr_init(r19637); mpfr_init(r19638); mpfr_init(r19639); mpfr_init(r19640); mpfr_init(r19641); } double f_im(double wj, double x) { mpfr_set_d(r19634, wj, MPFR_RNDN); mpfr_exp(r19635, r19634, MPFR_RNDN); mpfr_mul(r19636, r19634, r19635, MPFR_RNDN); mpfr_set_d(r19637, x, MPFR_RNDN); mpfr_sub(r19638, r19636, r19637, MPFR_RNDN); mpfr_add(r19639, r19635, r19636, MPFR_RNDN); mpfr_div(r19640, r19638, r19639, MPFR_RNDN); mpfr_sub(r19641, r19634, r19640, MPFR_RNDN); return mpfr_get_d(r19641, MPFR_RNDN); } static mpfr_t r19642, r19643, r19644, r19645, r19646, r19647, r19648, r19649, r19650, r19651, r19652, r19653, r19654, r19655, r19656, r19657, r19658; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r19642); mpfr_init_set_str(r19643, "50.414455f0", 10, MPFR_RNDN); mpfr_init(r19644); mpfr_init(r19645); mpfr_init(r19646); mpfr_init(r19647); mpfr_init(r19648); mpfr_init(r19649); mpfr_init(r19650); mpfr_init(r19651); mpfr_init_set_str(r19652, "1", 10, MPFR_RNDN); mpfr_init(r19653); mpfr_init(r19654); mpfr_init(r19655); mpfr_init(r19656); mpfr_init(r19657); mpfr_init(r19658); } double f_fm(double wj, double x) { mpfr_set_d(r19642, wj, MPFR_RNDN); ; mpfr_set_si(r19644, mpfr_cmp(r19642, r19643) <= 0, MPFR_RNDN); mpfr_exp(r19645, r19642, MPFR_RNDN); mpfr_mul(r19646, r19642, r19645, MPFR_RNDN); mpfr_set_d(r19647, x, MPFR_RNDN); mpfr_sub(r19648, r19646, r19647, MPFR_RNDN); mpfr_add(r19649, r19645, r19646, MPFR_RNDN); mpfr_div(r19650, r19648, r19649, MPFR_RNDN); mpfr_sub(r19651, r19642, r19650, MPFR_RNDN); ; mpfr_add(r19653, r19652, r19642, MPFR_RNDN); mpfr_div(r19654, r19642, r19653, MPFR_RNDN); mpfr_sub(r19655, r19642, r19654, MPFR_RNDN); mpfr_div(r19656, r19647, r19649, MPFR_RNDN); mpfr_add(r19657, r19655, r19656, MPFR_RNDN); if (mpfr_get_si(r19644, MPFR_RNDN)) { mpfr_set(r19658, r19651, MPFR_RNDN); } else { mpfr_set(r19658, r19657, MPFR_RNDN); }; return mpfr_get_d(r19658, MPFR_RNDN); } static mpfr_t r19659, r19660, r19661, r19662, r19663, r19664, r19665, r19666, r19667, r19668, r19669, r19670, r19671, r19672, r19673, r19674, r19675; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r19659); mpfr_init_set_str(r19660, "50.414455f0", 10, MPFR_RNDN); mpfr_init(r19661); mpfr_init(r19662); mpfr_init(r19663); mpfr_init(r19664); mpfr_init(r19665); mpfr_init(r19666); mpfr_init(r19667); mpfr_init(r19668); mpfr_init_set_str(r19669, "1", 10, MPFR_RNDN); mpfr_init(r19670); mpfr_init(r19671); mpfr_init(r19672); mpfr_init(r19673); mpfr_init(r19674); mpfr_init(r19675); } double f_dm(double wj, double x) { mpfr_set_d(r19659, wj, MPFR_RNDN); ; mpfr_set_si(r19661, mpfr_cmp(r19659, r19660) <= 0, MPFR_RNDN); mpfr_exp(r19662, r19659, MPFR_RNDN); mpfr_mul(r19663, r19659, r19662, MPFR_RNDN); mpfr_set_d(r19664, x, MPFR_RNDN); mpfr_sub(r19665, r19663, r19664, MPFR_RNDN); mpfr_add(r19666, r19662, r19663, MPFR_RNDN); mpfr_div(r19667, r19665, r19666, MPFR_RNDN); mpfr_sub(r19668, r19659, r19667, MPFR_RNDN); ; mpfr_add(r19670, r19669, r19659, MPFR_RNDN); mpfr_div(r19671, r19659, r19670, MPFR_RNDN); mpfr_sub(r19672, r19659, r19671, MPFR_RNDN); mpfr_div(r19673, r19664, r19666, MPFR_RNDN); mpfr_add(r19674, r19672, r19673, MPFR_RNDN); if (mpfr_get_si(r19661, MPFR_RNDN)) { mpfr_set(r19675, r19668, MPFR_RNDN); } else { mpfr_set(r19675, r19674, MPFR_RNDN); }; return mpfr_get_d(r19675, MPFR_RNDN); }