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

char *name = "Falkner and Boettcher, Appendix B, 1";

double f_if(float v) {
        float r23489 = 1;
        float r23490 = 5;
        float r23491 = v;
        float r23492 = r23491 * r23491;
        float r23493 = r23490 * r23492;
        float r23494 = r23489 - r23493;
        float r23495 = r23492 - r23489;
        float r23496 = r23494 / r23495;
        float r23497 = acos(r23496);
        return r23497;
}

double f_id(double v) {
        double r23498 = 1;
        double r23499 = 5;
        double r23500 = v;
        double r23501 = r23500 * r23500;
        double r23502 = r23499 * r23501;
        double r23503 = r23498 - r23502;
        double r23504 = r23501 - r23498;
        double r23505 = r23503 / r23504;
        double r23506 = acos(r23505);
        return r23506;
}


double f_of(float v) {
        float r23507 = 1;
        float r23508 = 5;
        float r23509 = v;
        float r23510 = r23509 * r23509;
        float r23511 = r23508 * r23510;
        float r23512 = r23507 - r23511;
        float r23513 = r23510 - r23507;
        float r23514 = r23512 / r23513;
        float r23515 = exp(r23514);
        float r23516 = log(r23515);
        float r23517 = acos(r23516);
        return r23517;
}

double f_od(double v) {
        double r23518 = 1;
        double r23519 = 5;
        double r23520 = v;
        double r23521 = r23520 * r23520;
        double r23522 = r23519 * r23521;
        double r23523 = r23518 - r23522;
        double r23524 = r23521 - r23518;
        double r23525 = r23523 / r23524;
        double r23526 = exp(r23525);
        double r23527 = log(r23526);
        double r23528 = acos(r23527);
        return r23528;
}

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 r23529, r23530, r23531, r23532, r23533, r23534, r23535, r23536, r23537;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r23529, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r23530, "5", 10, MPFR_RNDN);
        mpfr_init(r23531);
        mpfr_init(r23532);
        mpfr_init(r23533);
        mpfr_init(r23534);
        mpfr_init(r23535);
        mpfr_init(r23536);
        mpfr_init(r23537);
}

double f_im(double v) {
        ;
        ;
        mpfr_set_d(r23531, v, MPFR_RNDN);
        mpfr_mul(r23532, r23531, r23531, MPFR_RNDN);
        mpfr_mul(r23533, r23530, r23532, MPFR_RNDN);
        mpfr_sub(r23534, r23529, r23533, MPFR_RNDN);
        mpfr_sub(r23535, r23532, r23529, MPFR_RNDN);
        mpfr_div(r23536, r23534, r23535, MPFR_RNDN);
        mpfr_acos(r23537, r23536, MPFR_RNDN);
        return mpfr_get_d(r23537, MPFR_RNDN);
}

static mpfr_t r23538, r23539, r23540, r23541, r23542, r23543, r23544, r23545, r23546, r23547, r23548;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r23538, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r23539, "5", 10, MPFR_RNDN);
        mpfr_init(r23540);
        mpfr_init(r23541);
        mpfr_init(r23542);
        mpfr_init(r23543);
        mpfr_init(r23544);
        mpfr_init(r23545);
        mpfr_init(r23546);
        mpfr_init(r23547);
        mpfr_init(r23548);
}

double f_fm(double v) {
        ;
        ;
        mpfr_set_d(r23540, v, MPFR_RNDN);
        mpfr_mul(r23541, r23540, r23540, MPFR_RNDN);
        mpfr_mul(r23542, r23539, r23541, MPFR_RNDN);
        mpfr_sub(r23543, r23538, r23542, MPFR_RNDN);
        mpfr_sub(r23544, r23541, r23538, MPFR_RNDN);
        mpfr_div(r23545, r23543, r23544, MPFR_RNDN);
        mpfr_exp(r23546, r23545, MPFR_RNDN);
        mpfr_log(r23547, r23546, MPFR_RNDN);
        mpfr_acos(r23548, r23547, MPFR_RNDN);
        return mpfr_get_d(r23548, MPFR_RNDN);
}

static mpfr_t r23549, r23550, r23551, r23552, r23553, r23554, r23555, r23556, r23557, r23558, r23559;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r23549, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r23550, "5", 10, MPFR_RNDN);
        mpfr_init(r23551);
        mpfr_init(r23552);
        mpfr_init(r23553);
        mpfr_init(r23554);
        mpfr_init(r23555);
        mpfr_init(r23556);
        mpfr_init(r23557);
        mpfr_init(r23558);
        mpfr_init(r23559);
}

double f_dm(double v) {
        ;
        ;
        mpfr_set_d(r23551, v, MPFR_RNDN);
        mpfr_mul(r23552, r23551, r23551, MPFR_RNDN);
        mpfr_mul(r23553, r23550, r23552, MPFR_RNDN);
        mpfr_sub(r23554, r23549, r23553, MPFR_RNDN);
        mpfr_sub(r23555, r23552, r23549, MPFR_RNDN);
        mpfr_div(r23556, r23554, r23555, MPFR_RNDN);
        mpfr_exp(r23557, r23556, MPFR_RNDN);
        mpfr_log(r23558, r23557, MPFR_RNDN);
        mpfr_acos(r23559, r23558, MPFR_RNDN);
        return mpfr_get_d(r23559, MPFR_RNDN);
}