#include #include #include #include #include char *name = "tanhf (example 3.4)"; double f_if(float x) { float r19547 = 1.0f; float r19548 = x; float r19549 = cos(r19548); float r19550 = r19547 - r19549; float r19551 = sin(r19548); float r19552 = r19550 / r19551; return r19552; } double f_id(double x) { double r19553 = 1.0; double r19554 = x; double r19555 = cos(r19554); double r19556 = r19553 - r19555; double r19557 = sin(r19554); double r19558 = r19556 / r19557; return r19558; } double f_of(float x) { float r19559 = x; float r19560 = -5.5164922447739564e-14f; bool r19561 = r19559 <= r19560; float r19562 = sin(r19559); float r19563 = r19562 * r19562; float r19564 = 1.0f; float r19565 = cos(r19559); float r19566 = r19564 + r19565; float r19567 = r19563 / r19566; float r19568 = r19567 / r19562; float r19569 = 3.641240225169713e-18f; bool r19570 = r19559 <= r19569; float r19571 = 0.041666666666666664f; float r19572 = 3.0f; float r19573 = pow(r19559, r19572); float r19574 = r19571 * r19573; float r19575 = 0.004166666666666667f; float r19576 = 5.0f; float r19577 = pow(r19559, r19576); float r19578 = r19575 * r19577; float r19579 = 0.5f; float r19580 = r19579 * r19559; float r19581 = r19578 + r19580; float r19582 = r19574 + r19581; float r19583 = r19570 ? r19582 : r19568; float r19584 = r19561 ? r19568 : r19583; return r19584; } double f_od(double x) { double r19585 = x; double r19586 = -5.5164922447739564e-14; bool r19587 = r19585 <= r19586; double r19588 = sin(r19585); double r19589 = r19588 * r19588; double r19590 = 1.0; double r19591 = cos(r19585); double r19592 = r19590 + r19591; double r19593 = r19589 / r19592; double r19594 = r19593 / r19588; double r19595 = 3.641240225169713e-18; bool r19596 = r19585 <= r19595; double r19597 = 0.041666666666666664; double r19598 = 3.0; double r19599 = pow(r19585, r19598); double r19600 = r19597 * r19599; double r19601 = 0.004166666666666667; double r19602 = 5.0; double r19603 = pow(r19585, r19602); double r19604 = r19601 * r19603; double r19605 = 0.5; double r19606 = r19605 * r19585; double r19607 = r19604 + r19606; double r19608 = r19600 + r19607; double r19609 = r19596 ? r19608 : r19594; double r19610 = r19587 ? r19594 : r19609; return r19610; } 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 r19611, r19612, r19613, r19614, r19615, r19616; void setup_mpfr_f_im() { mpfr_set_default_prec(2448); mpfr_init_set_str(r19611, "1", 10, MPFR_RNDN); mpfr_init(r19612); mpfr_init(r19613); mpfr_init(r19614); mpfr_init(r19615); mpfr_init(r19616); } double f_im(double x) { ; mpfr_set_d(r19612, x, MPFR_RNDN); mpfr_cos(r19613, r19612, MPFR_RNDN); mpfr_sub(r19614, r19611, r19613, MPFR_RNDN); mpfr_sin(r19615, r19612, MPFR_RNDN); mpfr_div(r19616, r19614, r19615, MPFR_RNDN); return mpfr_get_d(r19616, MPFR_RNDN); } static mpfr_t r19617, r19618, r19619, r19620, r19621, r19622, r19623, r19624, r19625, r19626, r19627, r19628, r19629, r19630, r19631, r19632, r19633, r19634, r19635, r19636, r19637, r19638, r19639, r19640, r19641, r19642; void setup_mpfr_f_fm() { mpfr_set_default_prec(2448); mpfr_init(r19617); mpfr_init_set_str(r19618, "-5.5164922447739564e-14", 10, MPFR_RNDN); mpfr_init(r19619); mpfr_init(r19620); mpfr_init(r19621); mpfr_init_set_str(r19622, "1", 10, MPFR_RNDN); mpfr_init(r19623); mpfr_init(r19624); mpfr_init(r19625); mpfr_init(r19626); mpfr_init_set_str(r19627, "3.641240225169713e-18", 10, MPFR_RNDN); mpfr_init(r19628); mpfr_init_set_str(r19629, "1/24", 10, MPFR_RNDN); mpfr_init_set_str(r19630, "3", 10, MPFR_RNDN); mpfr_init(r19631); mpfr_init(r19632); mpfr_init_set_str(r19633, "1/240", 10, MPFR_RNDN); mpfr_init_set_str(r19634, "5", 10, MPFR_RNDN); mpfr_init(r19635); mpfr_init(r19636); mpfr_init_set_str(r19637, "1/2", 10, MPFR_RNDN); mpfr_init(r19638); mpfr_init(r19639); mpfr_init(r19640); mpfr_init(r19641); mpfr_init(r19642); } double f_fm(double x) { mpfr_set_d(r19617, x, MPFR_RNDN); ; mpfr_set_si(r19619, mpfr_cmp(r19617, r19618) <= 0, MPFR_RNDN); mpfr_sin(r19620, r19617, MPFR_RNDN); mpfr_mul(r19621, r19620, r19620, MPFR_RNDN); ; mpfr_cos(r19623, r19617, MPFR_RNDN); mpfr_add(r19624, r19622, r19623, MPFR_RNDN); mpfr_div(r19625, r19621, r19624, MPFR_RNDN); mpfr_div(r19626, r19625, r19620, MPFR_RNDN); ; mpfr_set_si(r19628, mpfr_cmp(r19617, r19627) <= 0, MPFR_RNDN); ; ; mpfr_pow(r19631, r19617, r19630, MPFR_RNDN); mpfr_mul(r19632, r19629, r19631, MPFR_RNDN); ; ; mpfr_pow(r19635, r19617, r19634, MPFR_RNDN); mpfr_mul(r19636, r19633, r19635, MPFR_RNDN); ; mpfr_mul(r19638, r19637, r19617, MPFR_RNDN); mpfr_add(r19639, r19636, r19638, MPFR_RNDN); mpfr_add(r19640, r19632, r19639, MPFR_RNDN); if (mpfr_get_si(r19628, MPFR_RNDN)) { mpfr_set(r19641, r19640, MPFR_RNDN); } else { mpfr_set(r19641, r19626, MPFR_RNDN); }; if (mpfr_get_si(r19619, MPFR_RNDN)) { mpfr_set(r19642, r19626, MPFR_RNDN); } else { mpfr_set(r19642, r19641, MPFR_RNDN); }; return mpfr_get_d(r19642, MPFR_RNDN); } static mpfr_t r19643, r19644, r19645, r19646, r19647, r19648, r19649, r19650, r19651, r19652, r19653, r19654, r19655, r19656, r19657, r19658, r19659, r19660, r19661, r19662, r19663, r19664, r19665, r19666, r19667, r19668; void setup_mpfr_f_dm() { mpfr_set_default_prec(2448); mpfr_init(r19643); mpfr_init_set_str(r19644, "-5.5164922447739564e-14", 10, MPFR_RNDN); mpfr_init(r19645); mpfr_init(r19646); mpfr_init(r19647); mpfr_init_set_str(r19648, "1", 10, MPFR_RNDN); mpfr_init(r19649); mpfr_init(r19650); mpfr_init(r19651); mpfr_init(r19652); mpfr_init_set_str(r19653, "3.641240225169713e-18", 10, MPFR_RNDN); mpfr_init(r19654); mpfr_init_set_str(r19655, "1/24", 10, MPFR_RNDN); mpfr_init_set_str(r19656, "3", 10, MPFR_RNDN); mpfr_init(r19657); mpfr_init(r19658); mpfr_init_set_str(r19659, "1/240", 10, MPFR_RNDN); mpfr_init_set_str(r19660, "5", 10, MPFR_RNDN); mpfr_init(r19661); mpfr_init(r19662); mpfr_init_set_str(r19663, "1/2", 10, MPFR_RNDN); mpfr_init(r19664); mpfr_init(r19665); mpfr_init(r19666); mpfr_init(r19667); mpfr_init(r19668); } double f_dm(double x) { mpfr_set_d(r19643, x, MPFR_RNDN); ; mpfr_set_si(r19645, mpfr_cmp(r19643, r19644) <= 0, MPFR_RNDN); mpfr_sin(r19646, r19643, MPFR_RNDN); mpfr_mul(r19647, r19646, r19646, MPFR_RNDN); ; mpfr_cos(r19649, r19643, MPFR_RNDN); mpfr_add(r19650, r19648, r19649, MPFR_RNDN); mpfr_div(r19651, r19647, r19650, MPFR_RNDN); mpfr_div(r19652, r19651, r19646, MPFR_RNDN); ; mpfr_set_si(r19654, mpfr_cmp(r19643, r19653) <= 0, MPFR_RNDN); ; ; mpfr_pow(r19657, r19643, r19656, MPFR_RNDN); mpfr_mul(r19658, r19655, r19657, MPFR_RNDN); ; ; mpfr_pow(r19661, r19643, r19660, MPFR_RNDN); mpfr_mul(r19662, r19659, r19661, MPFR_RNDN); ; mpfr_mul(r19664, r19663, r19643, MPFR_RNDN); mpfr_add(r19665, r19662, r19664, MPFR_RNDN); mpfr_add(r19666, r19658, r19665, MPFR_RNDN); if (mpfr_get_si(r19654, MPFR_RNDN)) { mpfr_set(r19667, r19666, MPFR_RNDN); } else { mpfr_set(r19667, r19652, MPFR_RNDN); }; if (mpfr_get_si(r19645, MPFR_RNDN)) { mpfr_set(r19668, r19652, MPFR_RNDN); } else { mpfr_set(r19668, r19667, MPFR_RNDN); }; return mpfr_get_d(r19668, MPFR_RNDN); }