#include #include #include #include #include char *name = "Falkner and Boettcher, Equation (22+)"; double f_if(float v) { float r26598 = 4; float r26599 = 3; float r26600 = atan2(1.0, 0.0); float r26601 = r26599 * r26600; float r26602 = 1; float r26603 = v; float r26604 = r26603 * r26603; float r26605 = r26602 - r26604; float r26606 = r26601 * r26605; float r26607 = 2; float r26608 = 6; float r26609 = r26608 * r26604; float r26610 = r26607 - r26609; float r26611 = sqrt(r26610); float r26612 = r26606 * r26611; float r26613 = r26598 / r26612; return r26613; } double f_id(double v) { double r26614 = 4; double r26615 = 3; double r26616 = atan2(1.0, 0.0); double r26617 = r26615 * r26616; double r26618 = 1; double r26619 = v; double r26620 = r26619 * r26619; double r26621 = r26618 - r26620; double r26622 = r26617 * r26621; double r26623 = 2; double r26624 = 6; double r26625 = r26624 * r26620; double r26626 = r26623 - r26625; double r26627 = sqrt(r26626); double r26628 = r26622 * r26627; double r26629 = r26614 / r26628; return r26629; } double f_of(float v) { float r26630 = 4; float r26631 = 3; float r26632 = atan2(1.0, 0.0); float r26633 = r26631 * r26632; float r26634 = 1; float r26635 = v; float r26636 = r26635 * r26635; float r26637 = r26634 - r26636; float r26638 = r26633 * r26637; float r26639 = r26630 / r26638; float r26640 = 2; float r26641 = 6; float r26642 = r26641 * r26636; float r26643 = r26640 - r26642; float r26644 = sqrt(r26643); float r26645 = r26639 / r26644; return r26645; } double f_od(double v) { double r26646 = 4; double r26647 = 3; double r26648 = atan2(1.0, 0.0); double r26649 = r26647 * r26648; double r26650 = 1; double r26651 = v; double r26652 = r26651 * r26651; double r26653 = r26650 - r26652; double r26654 = r26649 * r26653; double r26655 = r26646 / r26654; double r26656 = 2; double r26657 = 6; double r26658 = r26657 * r26652; double r26659 = r26656 - r26658; double r26660 = sqrt(r26659); double r26661 = r26655 / r26660; return r26661; } 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 r26662, r26663, r26664, r26665, r26666, r26667, r26668, r26669, r26670, r26671, r26672, r26673, r26674, r26675, r26676, r26677; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init_set_str(r26662, "4", 10, MPFR_RNDN); mpfr_init_set_str(r26663, "3", 10, MPFR_RNDN); mpfr_init(r26664); mpfr_init(r26665); mpfr_init_set_str(r26666, "1", 10, MPFR_RNDN); mpfr_init(r26667); mpfr_init(r26668); mpfr_init(r26669); mpfr_init(r26670); mpfr_init_set_str(r26671, "2", 10, MPFR_RNDN); mpfr_init_set_str(r26672, "6", 10, MPFR_RNDN); mpfr_init(r26673); mpfr_init(r26674); mpfr_init(r26675); mpfr_init(r26676); mpfr_init(r26677); } double f_im(double v) { ; ; mpfr_const_pi(r26664, MPFR_RNDN); mpfr_mul(r26665, r26663, r26664, MPFR_RNDN); ; mpfr_set_d(r26667, v, MPFR_RNDN); mpfr_mul(r26668, r26667, r26667, MPFR_RNDN); mpfr_sub(r26669, r26666, r26668, MPFR_RNDN); mpfr_mul(r26670, r26665, r26669, MPFR_RNDN); ; ; mpfr_mul(r26673, r26672, r26668, MPFR_RNDN); mpfr_sub(r26674, r26671, r26673, MPFR_RNDN); mpfr_sqrt(r26675, r26674, MPFR_RNDN); mpfr_mul(r26676, r26670, r26675, MPFR_RNDN); mpfr_div(r26677, r26662, r26676, MPFR_RNDN); return mpfr_get_d(r26677, MPFR_RNDN); } static mpfr_t r26678, r26679, r26680, r26681, r26682, r26683, r26684, r26685, r26686, r26687, r26688, r26689, r26690, r26691, r26692, r26693; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init_set_str(r26678, "4", 10, MPFR_RNDN); mpfr_init_set_str(r26679, "3", 10, MPFR_RNDN); mpfr_init(r26680); mpfr_init(r26681); mpfr_init_set_str(r26682, "1", 10, MPFR_RNDN); mpfr_init(r26683); mpfr_init(r26684); mpfr_init(r26685); mpfr_init(r26686); mpfr_init(r26687); mpfr_init_set_str(r26688, "2", 10, MPFR_RNDN); mpfr_init_set_str(r26689, "6", 10, MPFR_RNDN); mpfr_init(r26690); mpfr_init(r26691); mpfr_init(r26692); mpfr_init(r26693); } double f_fm(double v) { ; ; mpfr_const_pi(r26680, MPFR_RNDN); mpfr_mul(r26681, r26679, r26680, MPFR_RNDN); ; mpfr_set_d(r26683, v, MPFR_RNDN); mpfr_mul(r26684, r26683, r26683, MPFR_RNDN); mpfr_sub(r26685, r26682, r26684, MPFR_RNDN); mpfr_mul(r26686, r26681, r26685, MPFR_RNDN); mpfr_div(r26687, r26678, r26686, MPFR_RNDN); ; ; mpfr_mul(r26690, r26689, r26684, MPFR_RNDN); mpfr_sub(r26691, r26688, r26690, MPFR_RNDN); mpfr_sqrt(r26692, r26691, MPFR_RNDN); mpfr_div(r26693, r26687, r26692, MPFR_RNDN); return mpfr_get_d(r26693, MPFR_RNDN); } static mpfr_t r26694, r26695, r26696, r26697, r26698, r26699, r26700, r26701, r26702, r26703, r26704, r26705, r26706, r26707, r26708, r26709; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init_set_str(r26694, "4", 10, MPFR_RNDN); mpfr_init_set_str(r26695, "3", 10, MPFR_RNDN); mpfr_init(r26696); mpfr_init(r26697); mpfr_init_set_str(r26698, "1", 10, MPFR_RNDN); mpfr_init(r26699); mpfr_init(r26700); mpfr_init(r26701); mpfr_init(r26702); mpfr_init(r26703); mpfr_init_set_str(r26704, "2", 10, MPFR_RNDN); mpfr_init_set_str(r26705, "6", 10, MPFR_RNDN); mpfr_init(r26706); mpfr_init(r26707); mpfr_init(r26708); mpfr_init(r26709); } double f_dm(double v) { ; ; mpfr_const_pi(r26696, MPFR_RNDN); mpfr_mul(r26697, r26695, r26696, MPFR_RNDN); ; mpfr_set_d(r26699, v, MPFR_RNDN); mpfr_mul(r26700, r26699, r26699, MPFR_RNDN); mpfr_sub(r26701, r26698, r26700, MPFR_RNDN); mpfr_mul(r26702, r26697, r26701, MPFR_RNDN); mpfr_div(r26703, r26694, r26702, MPFR_RNDN); ; ; mpfr_mul(r26706, r26705, r26700, MPFR_RNDN); mpfr_sub(r26707, r26704, r26706, MPFR_RNDN); mpfr_sqrt(r26708, r26707, MPFR_RNDN); mpfr_div(r26709, r26703, r26708, MPFR_RNDN); return mpfr_get_d(r26709, MPFR_RNDN); }