#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 r11313 = 1;
        float r11314 = 5;
        float r11315 = v;
        float r11316 = r11315 * r11315;
        float r11317 = r11314 * r11316;
        float r11318 = r11313 - r11317;
        float r11319 = r11316 - r11313;
        float r11320 = r11318 / r11319;
        float r11321 = acos(r11320);
        return r11321;
}

double f_id(double v) {
        double r11322 = 1;
        double r11323 = 5;
        double r11324 = v;
        double r11325 = r11324 * r11324;
        double r11326 = r11323 * r11325;
        double r11327 = r11322 - r11326;
        double r11328 = r11325 - r11322;
        double r11329 = r11327 / r11328;
        double r11330 = acos(r11329);
        return r11330;
}


double f_of(float v) {
        float r11331 = 1;
        float r11332 = 5;
        float r11333 = v;
        float r11334 = r11333 * r11333;
        float r11335 = r11332 * r11334;
        float r11336 = exp(r11335);
        float r11337 = log(r11336);
        float r11338 = r11331 - r11337;
        float r11339 = r11334 - r11331;
        float r11340 = r11338 / r11339;
        float r11341 = acos(r11340);
        return r11341;
}

double f_od(double v) {
        double r11342 = 1;
        double r11343 = 5;
        double r11344 = v;
        double r11345 = r11344 * r11344;
        double r11346 = r11343 * r11345;
        double r11347 = exp(r11346);
        double r11348 = log(r11347);
        double r11349 = r11342 - r11348;
        double r11350 = r11345 - r11342;
        double r11351 = r11349 / r11350;
        double r11352 = acos(r11351);
        return r11352;
}

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 r11353, r11354, r11355, r11356, r11357, r11358, r11359, r11360, r11361;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r11353, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r11354, "5", 10, MPFR_RNDN);
        mpfr_init(r11355);
        mpfr_init(r11356);
        mpfr_init(r11357);
        mpfr_init(r11358);
        mpfr_init(r11359);
        mpfr_init(r11360);
        mpfr_init(r11361);
}

double f_im(double v) {
        ;
        ;
        mpfr_set_d(r11355, v, MPFR_RNDN);
        mpfr_mul(r11356, r11355, r11355, MPFR_RNDN);
        mpfr_mul(r11357, r11354, r11356, MPFR_RNDN);
        mpfr_sub(r11358, r11353, r11357, MPFR_RNDN);
        mpfr_sub(r11359, r11356, r11353, MPFR_RNDN);
        mpfr_div(r11360, r11358, r11359, MPFR_RNDN);
        mpfr_acos(r11361, r11360, MPFR_RNDN);
        return mpfr_get_d(r11361, MPFR_RNDN);
}

static mpfr_t r11362, r11363, r11364, r11365, r11366, r11367, r11368, r11369, r11370, r11371, r11372;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r11362, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r11363, "5", 10, MPFR_RNDN);
        mpfr_init(r11364);
        mpfr_init(r11365);
        mpfr_init(r11366);
        mpfr_init(r11367);
        mpfr_init(r11368);
        mpfr_init(r11369);
        mpfr_init(r11370);
        mpfr_init(r11371);
        mpfr_init(r11372);
}

double f_fm(double v) {
        ;
        ;
        mpfr_set_d(r11364, v, MPFR_RNDN);
        mpfr_mul(r11365, r11364, r11364, MPFR_RNDN);
        mpfr_mul(r11366, r11363, r11365, MPFR_RNDN);
        mpfr_exp(r11367, r11366, MPFR_RNDN);
        mpfr_log(r11368, r11367, MPFR_RNDN);
        mpfr_sub(r11369, r11362, r11368, MPFR_RNDN);
        mpfr_sub(r11370, r11365, r11362, MPFR_RNDN);
        mpfr_div(r11371, r11369, r11370, MPFR_RNDN);
        mpfr_acos(r11372, r11371, MPFR_RNDN);
        return mpfr_get_d(r11372, MPFR_RNDN);
}

static mpfr_t r11373, r11374, r11375, r11376, r11377, r11378, r11379, r11380, r11381, r11382, r11383;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r11373, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r11374, "5", 10, MPFR_RNDN);
        mpfr_init(r11375);
        mpfr_init(r11376);
        mpfr_init(r11377);
        mpfr_init(r11378);
        mpfr_init(r11379);
        mpfr_init(r11380);
        mpfr_init(r11381);
        mpfr_init(r11382);
        mpfr_init(r11383);
}

double f_dm(double v) {
        ;
        ;
        mpfr_set_d(r11375, v, MPFR_RNDN);
        mpfr_mul(r11376, r11375, r11375, MPFR_RNDN);
        mpfr_mul(r11377, r11374, r11376, MPFR_RNDN);
        mpfr_exp(r11378, r11377, MPFR_RNDN);
        mpfr_log(r11379, r11378, MPFR_RNDN);
        mpfr_sub(r11380, r11373, r11379, MPFR_RNDN);
        mpfr_sub(r11381, r11376, r11373, MPFR_RNDN);
        mpfr_div(r11382, r11380, r11381, MPFR_RNDN);
        mpfr_acos(r11383, r11382, MPFR_RNDN);
        return mpfr_get_d(r11383, MPFR_RNDN);
}