#include #include #include #include #include char *name = "VandenBroeck and Keller, Equation (23)"; double f_if(float F, float B, float x) { float r19636 = x; float r19637 = 1; float r19638 = B; float r19639 = tan(r19638); float r19640 = r19637 / r19639; float r19641 = r19636 * r19640; float r19642 = -r19641; float r19643 = F; float r19644 = sin(r19638); float r19645 = r19643 / r19644; float r19646 = r19643 * r19643; float r19647 = 2; float r19648 = r19646 + r19647; float r19649 = r19647 * r19636; float r19650 = r19648 + r19649; float r19651 = r19637 / r19647; float r19652 = -r19651; float r19653 = pow(r19650, r19652); float r19654 = r19645 * r19653; float r19655 = r19642 + r19654; return r19655; } double f_id(double F, double B, double x) { double r19656 = x; double r19657 = 1; double r19658 = B; double r19659 = tan(r19658); double r19660 = r19657 / r19659; double r19661 = r19656 * r19660; double r19662 = -r19661; double r19663 = F; double r19664 = sin(r19658); double r19665 = r19663 / r19664; double r19666 = r19663 * r19663; double r19667 = 2; double r19668 = r19666 + r19667; double r19669 = r19667 * r19656; double r19670 = r19668 + r19669; double r19671 = r19657 / r19667; double r19672 = -r19671; double r19673 = pow(r19670, r19672); double r19674 = r19665 * r19673; double r19675 = r19662 + r19674; return r19675; } double f_of(float F, float B, float x) { float r19676 = x; float r19677 = -r19676; float r19678 = B; float r19679 = tan(r19678); float r19680 = r19677 / r19679; float r19681 = 1; float r19682 = r19676 + r19676; float r19683 = 2; float r19684 = F; float r19685 = r19684 * r19684; float r19686 = r19683 + r19685; float r19687 = r19682 + r19686; float r19688 = r19681 / r19683; float r19689 = pow(r19687, r19688); float r19690 = r19681 / r19689; float r19691 = r19690 * r19684; float r19692 = sin(r19678); float r19693 = r19681 / r19692; float r19694 = r19691 * r19693; float r19695 = r19680 + r19694; return r19695; } double f_od(double F, double B, double x) { double r19696 = x; double r19697 = -r19696; double r19698 = B; double r19699 = tan(r19698); double r19700 = r19697 / r19699; double r19701 = 1; double r19702 = r19696 + r19696; double r19703 = 2; double r19704 = F; double r19705 = r19704 * r19704; double r19706 = r19703 + r19705; double r19707 = r19702 + r19706; double r19708 = r19701 / r19703; double r19709 = pow(r19707, r19708); double r19710 = r19701 / r19709; double r19711 = r19710 * r19704; double r19712 = sin(r19698); double r19713 = r19701 / r19712; double r19714 = r19711 * r19713; double r19715 = r19700 + r19714; return r19715; } 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 r19716, r19717, r19718, r19719, r19720, r19721, r19722, r19723, r19724, r19725, r19726, r19727, r19728, r19729, r19730, r19731, r19732, r19733, r19734, r19735; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r19716); mpfr_init_set_str(r19717, "1", 10, MPFR_RNDN); mpfr_init(r19718); mpfr_init(r19719); mpfr_init(r19720); mpfr_init(r19721); mpfr_init(r19722); mpfr_init(r19723); mpfr_init(r19724); mpfr_init(r19725); mpfr_init(r19726); mpfr_init_set_str(r19727, "2", 10, MPFR_RNDN); mpfr_init(r19728); mpfr_init(r19729); mpfr_init(r19730); mpfr_init(r19731); mpfr_init(r19732); mpfr_init(r19733); mpfr_init(r19734); mpfr_init(r19735); } double f_im(double F, double B, double x) { mpfr_set_d(r19716, x, MPFR_RNDN); ; mpfr_set_d(r19718, B, MPFR_RNDN); mpfr_tan(r19719, r19718, MPFR_RNDN); mpfr_div(r19720, r19717, r19719, MPFR_RNDN); mpfr_mul(r19721, r19716, r19720, MPFR_RNDN); mpfr_neg(r19722, r19721, MPFR_RNDN); mpfr_set_d(r19723, F, MPFR_RNDN); mpfr_sin(r19724, r19718, MPFR_RNDN); mpfr_div(r19725, r19723, r19724, MPFR_RNDN); mpfr_mul(r19726, r19723, r19723, MPFR_RNDN); ; mpfr_add(r19728, r19726, r19727, MPFR_RNDN); mpfr_mul(r19729, r19727, r19716, MPFR_RNDN); mpfr_add(r19730, r19728, r19729, MPFR_RNDN); mpfr_div(r19731, r19717, r19727, MPFR_RNDN); mpfr_neg(r19732, r19731, MPFR_RNDN); mpfr_pow(r19733, r19730, r19732, MPFR_RNDN); mpfr_mul(r19734, r19725, r19733, MPFR_RNDN); mpfr_add(r19735, r19722, r19734, MPFR_RNDN); return mpfr_get_d(r19735, MPFR_RNDN); } static mpfr_t r19736, r19737, r19738, r19739, r19740, r19741, r19742, r19743, r19744, r19745, r19746, r19747, r19748, r19749, r19750, r19751, r19752, r19753, r19754, r19755; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r19736); mpfr_init(r19737); mpfr_init(r19738); mpfr_init(r19739); mpfr_init(r19740); mpfr_init_set_str(r19741, "1", 10, MPFR_RNDN); mpfr_init(r19742); mpfr_init_set_str(r19743, "2", 10, MPFR_RNDN); mpfr_init(r19744); mpfr_init(r19745); mpfr_init(r19746); mpfr_init(r19747); mpfr_init(r19748); mpfr_init(r19749); mpfr_init(r19750); mpfr_init(r19751); mpfr_init(r19752); mpfr_init(r19753); mpfr_init(r19754); mpfr_init(r19755); } double f_fm(double F, double B, double x) { mpfr_set_d(r19736, x, MPFR_RNDN); mpfr_neg(r19737, r19736, MPFR_RNDN); mpfr_set_d(r19738, B, MPFR_RNDN); mpfr_tan(r19739, r19738, MPFR_RNDN); mpfr_div(r19740, r19737, r19739, MPFR_RNDN); ; mpfr_add(r19742, r19736, r19736, MPFR_RNDN); ; mpfr_set_d(r19744, F, MPFR_RNDN); mpfr_mul(r19745, r19744, r19744, MPFR_RNDN); mpfr_add(r19746, r19743, r19745, MPFR_RNDN); mpfr_add(r19747, r19742, r19746, MPFR_RNDN); mpfr_div(r19748, r19741, r19743, MPFR_RNDN); mpfr_pow(r19749, r19747, r19748, MPFR_RNDN); mpfr_div(r19750, r19741, r19749, MPFR_RNDN); mpfr_mul(r19751, r19750, r19744, MPFR_RNDN); mpfr_sin(r19752, r19738, MPFR_RNDN); mpfr_div(r19753, r19741, r19752, MPFR_RNDN); mpfr_mul(r19754, r19751, r19753, MPFR_RNDN); mpfr_add(r19755, r19740, r19754, MPFR_RNDN); return mpfr_get_d(r19755, MPFR_RNDN); } static mpfr_t r19756, r19757, r19758, r19759, r19760, r19761, r19762, r19763, r19764, r19765, r19766, r19767, r19768, r19769, r19770, r19771, r19772, r19773, r19774, r19775; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r19756); mpfr_init(r19757); mpfr_init(r19758); mpfr_init(r19759); mpfr_init(r19760); mpfr_init_set_str(r19761, "1", 10, MPFR_RNDN); mpfr_init(r19762); mpfr_init_set_str(r19763, "2", 10, MPFR_RNDN); mpfr_init(r19764); mpfr_init(r19765); mpfr_init(r19766); mpfr_init(r19767); mpfr_init(r19768); mpfr_init(r19769); mpfr_init(r19770); mpfr_init(r19771); mpfr_init(r19772); mpfr_init(r19773); mpfr_init(r19774); mpfr_init(r19775); } double f_dm(double F, double B, double x) { mpfr_set_d(r19756, x, MPFR_RNDN); mpfr_neg(r19757, r19756, MPFR_RNDN); mpfr_set_d(r19758, B, MPFR_RNDN); mpfr_tan(r19759, r19758, MPFR_RNDN); mpfr_div(r19760, r19757, r19759, MPFR_RNDN); ; mpfr_add(r19762, r19756, r19756, MPFR_RNDN); ; mpfr_set_d(r19764, F, MPFR_RNDN); mpfr_mul(r19765, r19764, r19764, MPFR_RNDN); mpfr_add(r19766, r19763, r19765, MPFR_RNDN); mpfr_add(r19767, r19762, r19766, MPFR_RNDN); mpfr_div(r19768, r19761, r19763, MPFR_RNDN); mpfr_pow(r19769, r19767, r19768, MPFR_RNDN); mpfr_div(r19770, r19761, r19769, MPFR_RNDN); mpfr_mul(r19771, r19770, r19764, MPFR_RNDN); mpfr_sin(r19772, r19758, MPFR_RNDN); mpfr_div(r19773, r19761, r19772, MPFR_RNDN); mpfr_mul(r19774, r19771, r19773, MPFR_RNDN); mpfr_add(r19775, r19760, r19774, MPFR_RNDN); return mpfr_get_d(r19775, MPFR_RNDN); }