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

char *name = "Falkner and Boettcher, Appendix A";

double f_if(float a, float k, float m) {
        float r21662 = a;
        float r21663 = k;
        float r21664 = m;
        float r21665 = pow(r21663, r21664);
        float r21666 = r21662 * r21665;
        float r21667 = 1.0f;
        float r21668 = 10.0f;
        float r21669 = r21668 * r21663;
        float r21670 = r21667 + r21669;
        float r21671 = r21663 * r21663;
        float r21672 = r21670 + r21671;
        float r21673 = r21666 / r21672;
        return r21673;
}

double f_id(double a, double k, double m) {
        double r21674 = a;
        double r21675 = k;
        double r21676 = m;
        double r21677 = pow(r21675, r21676);
        double r21678 = r21674 * r21677;
        double r21679 = 1.0;
        double r21680 = 10.0;
        double r21681 = r21680 * r21675;
        double r21682 = r21679 + r21681;
        double r21683 = r21675 * r21675;
        double r21684 = r21682 + r21683;
        double r21685 = r21678 / r21684;
        return r21685;
}


double f_of(float a, float k, float m) {
        float r21686 = k;
        float r21687 = m;
        float r21688 = pow(r21686, r21687);
        float r21689 = a;
        float r21690 = r21688 * r21689;
        float r21691 = 1.0f;
        float r21692 = 10.0f;
        float r21693 = r21692 + r21686;
        float r21694 = r21693 * r21686;
        float r21695 = r21694 + r21691;
        float r21696 = r21691 / r21695;
        float r21697 = r21690 * r21696;
        return r21697;
}

double f_od(double a, double k, double m) {
        double r21698 = k;
        double r21699 = m;
        double r21700 = pow(r21698, r21699);
        double r21701 = a;
        double r21702 = r21700 * r21701;
        double r21703 = 1.0;
        double r21704 = 10.0;
        double r21705 = r21704 + r21698;
        double r21706 = r21705 * r21698;
        double r21707 = r21706 + r21703;
        double r21708 = r21703 / r21707;
        double r21709 = r21702 * r21708;
        return r21709;
}

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 r21710, r21711, r21712, r21713, r21714, r21715, r21716, r21717, r21718, r21719, r21720, r21721;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r21710);
        mpfr_init(r21711);
        mpfr_init(r21712);
        mpfr_init(r21713);
        mpfr_init(r21714);
        mpfr_init_set_str(r21715, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r21716, "10", 10, MPFR_RNDN);
        mpfr_init(r21717);
        mpfr_init(r21718);
        mpfr_init(r21719);
        mpfr_init(r21720);
        mpfr_init(r21721);
}

double f_im(double a, double k, double m) {
        mpfr_set_d(r21710, a, MPFR_RNDN);
        mpfr_set_d(r21711, k, MPFR_RNDN);
        mpfr_set_d(r21712, m, MPFR_RNDN);
        mpfr_pow(r21713, r21711, r21712, MPFR_RNDN);
        mpfr_mul(r21714, r21710, r21713, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r21717, r21716, r21711, MPFR_RNDN);
        mpfr_add(r21718, r21715, r21717, MPFR_RNDN);
        mpfr_sqr(r21719, r21711, MPFR_RNDN);
        mpfr_add(r21720, r21718, r21719, MPFR_RNDN);
        mpfr_div(r21721, r21714, r21720, MPFR_RNDN);
        return mpfr_get_d(r21721, MPFR_RNDN);
}

static mpfr_t r21722, r21723, r21724, r21725, r21726, r21727, r21728, r21729, r21730, r21731, r21732, r21733;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21722);
        mpfr_init(r21723);
        mpfr_init(r21724);
        mpfr_init(r21725);
        mpfr_init(r21726);
        mpfr_init_set_str(r21727, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r21728, "10", 10, MPFR_RNDN);
        mpfr_init(r21729);
        mpfr_init(r21730);
        mpfr_init(r21731);
        mpfr_init(r21732);
        mpfr_init(r21733);
}

double f_fm(double a, double k, double m) {
        mpfr_set_d(r21722, k, MPFR_RNDN);
        mpfr_set_d(r21723, m, MPFR_RNDN);
        mpfr_pow(r21724, r21722, r21723, MPFR_RNDN);
        mpfr_set_d(r21725, a, MPFR_RNDN);
        mpfr_mul(r21726, r21724, r21725, MPFR_RNDN);
        ;
        ;
        mpfr_add(r21729, r21728, r21722, MPFR_RNDN);
        mpfr_mul(r21730, r21729, r21722, MPFR_RNDN);
        mpfr_add(r21731, r21730, r21727, MPFR_RNDN);
        mpfr_div(r21732, r21727, r21731, MPFR_RNDN);
        mpfr_mul(r21733, r21726, r21732, MPFR_RNDN);
        return mpfr_get_d(r21733, MPFR_RNDN);
}

static mpfr_t r21734, r21735, r21736, r21737, r21738, r21739, r21740, r21741, r21742, r21743, r21744, r21745;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21734);
        mpfr_init(r21735);
        mpfr_init(r21736);
        mpfr_init(r21737);
        mpfr_init(r21738);
        mpfr_init_set_str(r21739, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r21740, "10", 10, MPFR_RNDN);
        mpfr_init(r21741);
        mpfr_init(r21742);
        mpfr_init(r21743);
        mpfr_init(r21744);
        mpfr_init(r21745);
}

double f_dm(double a, double k, double m) {
        mpfr_set_d(r21734, k, MPFR_RNDN);
        mpfr_set_d(r21735, m, MPFR_RNDN);
        mpfr_pow(r21736, r21734, r21735, MPFR_RNDN);
        mpfr_set_d(r21737, a, MPFR_RNDN);
        mpfr_mul(r21738, r21736, r21737, MPFR_RNDN);
        ;
        ;
        mpfr_add(r21741, r21740, r21734, MPFR_RNDN);
        mpfr_mul(r21742, r21741, r21734, MPFR_RNDN);
        mpfr_add(r21743, r21742, r21739, MPFR_RNDN);
        mpfr_div(r21744, r21739, r21743, MPFR_RNDN);
        mpfr_mul(r21745, r21738, r21744, MPFR_RNDN);
        return mpfr_get_d(r21745, MPFR_RNDN);
}