#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "Migdal et al, Equation (51)";

double f_if(float k, float n) {
        float r9674 = 1;
        float r9675 = k;
        float r9676 = sqrt(r9675);
        float r9677 = r9674 / r9676;
        float r9678 = 2;
        float r9679 = atan2(1.0, 0.0);
        float r9680 = r9678 * r9679;
        float r9681 = n;
        float r9682 = r9680 * r9681;
        float r9683 = r9674 - r9675;
        float r9684 = r9683 / r9678;
        float r9685 = pow(r9682, r9684);
        float r9686 = r9677 * r9685;
        return r9686;
}

double f_id(double k, double n) {
        double r9687 = 1;
        double r9688 = k;
        double r9689 = sqrt(r9688);
        double r9690 = r9687 / r9689;
        double r9691 = 2;
        double r9692 = atan2(1.0, 0.0);
        double r9693 = r9691 * r9692;
        double r9694 = n;
        double r9695 = r9693 * r9694;
        double r9696 = r9687 - r9688;
        double r9697 = r9696 / r9691;
        double r9698 = pow(r9695, r9697);
        double r9699 = r9690 * r9698;
        return r9699;
}


double f_of(float k, float n) {
        float r9700 = 2;
        float r9701 = atan2(1.0, 0.0);
        float r9702 = r9700 * r9701;
        float r9703 = 1;
        float r9704 = k;
        float r9705 = r9703 - r9704;
        float r9706 = r9705 / r9700;
        float r9707 = pow(r9702, r9706);
        float r9708 = sqrt(r9704);
        float r9709 = r9707 / r9708;
        float r9710 = n;
        float r9711 = pow(r9710, r9706);
        float r9712 = r9709 * r9711;
        return r9712;
}

double f_od(double k, double n) {
        double r9713 = 2;
        double r9714 = atan2(1.0, 0.0);
        double r9715 = r9713 * r9714;
        double r9716 = 1;
        double r9717 = k;
        double r9718 = r9716 - r9717;
        double r9719 = r9718 / r9713;
        double r9720 = pow(r9715, r9719);
        double r9721 = sqrt(r9717);
        double r9722 = r9720 / r9721;
        double r9723 = n;
        double r9724 = pow(r9723, r9719);
        double r9725 = r9722 * r9724;
        return r9725;
}

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 r9726, r9727, r9728, r9729, r9730, r9731, r9732, r9733, r9734, r9735, r9736, r9737, r9738;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r9726, "1", 10, MPFR_RNDN);
        mpfr_init(r9727);
        mpfr_init(r9728);
        mpfr_init(r9729);
        mpfr_init_set_str(r9730, "2", 10, MPFR_RNDN);
        mpfr_init(r9731);
        mpfr_init(r9732);
        mpfr_init(r9733);
        mpfr_init(r9734);
        mpfr_init(r9735);
        mpfr_init(r9736);
        mpfr_init(r9737);
        mpfr_init(r9738);
}

double f_im(double k, double n) {
        ;
        mpfr_set_d(r9727, k, MPFR_RNDN);
        mpfr_sqrt(r9728, r9727, MPFR_RNDN);
        mpfr_div(r9729, r9726, r9728, MPFR_RNDN);
        ;
        mpfr_const_pi(r9731, MPFR_RNDN);
        mpfr_mul(r9732, r9730, r9731, MPFR_RNDN);
        mpfr_set_d(r9733, n, MPFR_RNDN);
        mpfr_mul(r9734, r9732, r9733, MPFR_RNDN);
        mpfr_sub(r9735, r9726, r9727, MPFR_RNDN);
        mpfr_div(r9736, r9735, r9730, MPFR_RNDN);
        mpfr_pow(r9737, r9734, r9736, MPFR_RNDN);
        mpfr_mul(r9738, r9729, r9737, MPFR_RNDN);
        return mpfr_get_d(r9738, MPFR_RNDN);
}

static mpfr_t r9739, r9740, r9741, r9742, r9743, r9744, r9745, r9746, r9747, r9748, r9749, r9750, r9751;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r9739, "2", 10, MPFR_RNDN);
        mpfr_init(r9740);
        mpfr_init(r9741);
        mpfr_init_set_str(r9742, "1", 10, MPFR_RNDN);
        mpfr_init(r9743);
        mpfr_init(r9744);
        mpfr_init(r9745);
        mpfr_init(r9746);
        mpfr_init(r9747);
        mpfr_init(r9748);
        mpfr_init(r9749);
        mpfr_init(r9750);
        mpfr_init(r9751);
}

double f_fm(double k, double n) {
        ;
        mpfr_const_pi(r9740, MPFR_RNDN);
        mpfr_mul(r9741, r9739, r9740, MPFR_RNDN);
        ;
        mpfr_set_d(r9743, k, MPFR_RNDN);
        mpfr_sub(r9744, r9742, r9743, MPFR_RNDN);
        mpfr_div(r9745, r9744, r9739, MPFR_RNDN);
        mpfr_pow(r9746, r9741, r9745, MPFR_RNDN);
        mpfr_sqrt(r9747, r9743, MPFR_RNDN);
        mpfr_div(r9748, r9746, r9747, MPFR_RNDN);
        mpfr_set_d(r9749, n, MPFR_RNDN);
        mpfr_pow(r9750, r9749, r9745, MPFR_RNDN);
        mpfr_mul(r9751, r9748, r9750, MPFR_RNDN);
        return mpfr_get_d(r9751, MPFR_RNDN);
}

static mpfr_t r9752, r9753, r9754, r9755, r9756, r9757, r9758, r9759, r9760, r9761, r9762, r9763, r9764;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init_set_str(r9752, "2", 10, MPFR_RNDN);
        mpfr_init(r9753);
        mpfr_init(r9754);
        mpfr_init_set_str(r9755, "1", 10, MPFR_RNDN);
        mpfr_init(r9756);
        mpfr_init(r9757);
        mpfr_init(r9758);
        mpfr_init(r9759);
        mpfr_init(r9760);
        mpfr_init(r9761);
        mpfr_init(r9762);
        mpfr_init(r9763);
        mpfr_init(r9764);
}

double f_dm(double k, double n) {
        ;
        mpfr_const_pi(r9753, MPFR_RNDN);
        mpfr_mul(r9754, r9752, r9753, MPFR_RNDN);
        ;
        mpfr_set_d(r9756, k, MPFR_RNDN);
        mpfr_sub(r9757, r9755, r9756, MPFR_RNDN);
        mpfr_div(r9758, r9757, r9752, MPFR_RNDN);
        mpfr_pow(r9759, r9754, r9758, MPFR_RNDN);
        mpfr_sqrt(r9760, r9756, MPFR_RNDN);
        mpfr_div(r9761, r9759, r9760, MPFR_RNDN);
        mpfr_set_d(r9762, n, MPFR_RNDN);
        mpfr_pow(r9763, r9762, r9758, MPFR_RNDN);
        mpfr_mul(r9764, r9761, r9763, MPFR_RNDN);
        return mpfr_get_d(r9764, MPFR_RNDN);
}