#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 r27483 = a;
        float r27484 = k;
        float r27485 = m;
        float r27486 = pow(r27484, r27485);
        float r27487 = r27483 * r27486;
        float r27488 = 1;
        float r27489 = 10;
        float r27490 = r27489 * r27484;
        float r27491 = r27488 + r27490;
        float r27492 = r27484 * r27484;
        float r27493 = r27491 + r27492;
        float r27494 = r27487 / r27493;
        return r27494;
}

double f_id(double a, double k, double m) {
        double r27495 = a;
        double r27496 = k;
        double r27497 = m;
        double r27498 = pow(r27496, r27497);
        double r27499 = r27495 * r27498;
        double r27500 = 1;
        double r27501 = 10;
        double r27502 = r27501 * r27496;
        double r27503 = r27500 + r27502;
        double r27504 = r27496 * r27496;
        double r27505 = r27503 + r27504;
        double r27506 = r27499 / r27505;
        return r27506;
}


double f_of(float a, float k, float m) {
        float r27507 = k;
        float r27508 = m;
        float r27509 = pow(r27507, r27508);
        float r27510 = 1;
        float r27511 = 10;
        float r27512 = r27511 + r27507;
        float r27513 = r27512 * r27507;
        float r27514 = r27510 + r27513;
        float r27515 = sqrt(r27514);
        float r27516 = r27509 / r27515;
        float r27517 = a;
        float r27518 = r27517 / r27515;
        float r27519 = r27516 * r27518;
        return r27519;
}

double f_od(double a, double k, double m) {
        double r27520 = k;
        double r27521 = m;
        double r27522 = pow(r27520, r27521);
        double r27523 = 1;
        double r27524 = 10;
        double r27525 = r27524 + r27520;
        double r27526 = r27525 * r27520;
        double r27527 = r27523 + r27526;
        double r27528 = sqrt(r27527);
        double r27529 = r27522 / r27528;
        double r27530 = a;
        double r27531 = r27530 / r27528;
        double r27532 = r27529 * r27531;
        return r27532;
}

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 r27533, r27534, r27535, r27536, r27537, r27538, r27539, r27540, r27541, r27542, r27543, r27544;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r27533);
        mpfr_init(r27534);
        mpfr_init(r27535);
        mpfr_init(r27536);
        mpfr_init(r27537);
        mpfr_init_set_str(r27538, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27539, "10", 10, MPFR_RNDN);
        mpfr_init(r27540);
        mpfr_init(r27541);
        mpfr_init(r27542);
        mpfr_init(r27543);
        mpfr_init(r27544);
}

double f_im(double a, double k, double m) {
        mpfr_set_d(r27533, a, MPFR_RNDN);
        mpfr_set_d(r27534, k, MPFR_RNDN);
        mpfr_set_d(r27535, m, MPFR_RNDN);
        mpfr_pow(r27536, r27534, r27535, MPFR_RNDN);
        mpfr_mul(r27537, r27533, r27536, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r27540, r27539, r27534, MPFR_RNDN);
        mpfr_add(r27541, r27538, r27540, MPFR_RNDN);
        mpfr_mul(r27542, r27534, r27534, MPFR_RNDN);
        mpfr_add(r27543, r27541, r27542, MPFR_RNDN);
        mpfr_div(r27544, r27537, r27543, MPFR_RNDN);
        return mpfr_get_d(r27544, MPFR_RNDN);
}

static mpfr_t r27545, r27546, r27547, r27548, r27549, r27550, r27551, r27552, r27553, r27554, r27555, r27556, r27557;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27545);
        mpfr_init(r27546);
        mpfr_init(r27547);
        mpfr_init_set_str(r27548, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27549, "10", 10, MPFR_RNDN);
        mpfr_init(r27550);
        mpfr_init(r27551);
        mpfr_init(r27552);
        mpfr_init(r27553);
        mpfr_init(r27554);
        mpfr_init(r27555);
        mpfr_init(r27556);
        mpfr_init(r27557);
}

double f_fm(double a, double k, double m) {
        mpfr_set_d(r27545, k, MPFR_RNDN);
        mpfr_set_d(r27546, m, MPFR_RNDN);
        mpfr_pow(r27547, r27545, r27546, MPFR_RNDN);
        ;
        ;
        mpfr_add(r27550, r27549, r27545, MPFR_RNDN);
        mpfr_mul(r27551, r27550, r27545, MPFR_RNDN);
        mpfr_add(r27552, r27548, r27551, MPFR_RNDN);
        mpfr_sqrt(r27553, r27552, MPFR_RNDN);
        mpfr_div(r27554, r27547, r27553, MPFR_RNDN);
        mpfr_set_d(r27555, a, MPFR_RNDN);
        mpfr_div(r27556, r27555, r27553, MPFR_RNDN);
        mpfr_mul(r27557, r27554, r27556, MPFR_RNDN);
        return mpfr_get_d(r27557, MPFR_RNDN);
}

static mpfr_t r27558, r27559, r27560, r27561, r27562, r27563, r27564, r27565, r27566, r27567, r27568, r27569, r27570;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27558);
        mpfr_init(r27559);
        mpfr_init(r27560);
        mpfr_init_set_str(r27561, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27562, "10", 10, MPFR_RNDN);
        mpfr_init(r27563);
        mpfr_init(r27564);
        mpfr_init(r27565);
        mpfr_init(r27566);
        mpfr_init(r27567);
        mpfr_init(r27568);
        mpfr_init(r27569);
        mpfr_init(r27570);
}

double f_dm(double a, double k, double m) {
        mpfr_set_d(r27558, k, MPFR_RNDN);
        mpfr_set_d(r27559, m, MPFR_RNDN);
        mpfr_pow(r27560, r27558, r27559, MPFR_RNDN);
        ;
        ;
        mpfr_add(r27563, r27562, r27558, MPFR_RNDN);
        mpfr_mul(r27564, r27563, r27558, MPFR_RNDN);
        mpfr_add(r27565, r27561, r27564, MPFR_RNDN);
        mpfr_sqrt(r27566, r27565, MPFR_RNDN);
        mpfr_div(r27567, r27560, r27566, MPFR_RNDN);
        mpfr_set_d(r27568, a, MPFR_RNDN);
        mpfr_div(r27569, r27568, r27566, MPFR_RNDN);
        mpfr_mul(r27570, r27567, r27569, MPFR_RNDN);
        return mpfr_get_d(r27570, MPFR_RNDN);
}