#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 r27236 = 1;
        float r27237 = 5;
        float r27238 = v;
        float r27239 = r27238 * r27238;
        float r27240 = r27237 * r27239;
        float r27241 = r27236 - r27240;
        float r27242 = r27239 - r27236;
        float r27243 = r27241 / r27242;
        float r27244 = acos(r27243);
        return r27244;
}

double f_id(double v) {
        double r27245 = 1;
        double r27246 = 5;
        double r27247 = v;
        double r27248 = r27247 * r27247;
        double r27249 = r27246 * r27248;
        double r27250 = r27245 - r27249;
        double r27251 = r27248 - r27245;
        double r27252 = r27250 / r27251;
        double r27253 = acos(r27252);
        return r27253;
}


double f_of(float v) {
        float r27254 = 1;
        float r27255 = 5;
        float r27256 = v;
        float r27257 = r27256 * r27256;
        float r27258 = r27255 * r27257;
        float r27259 = r27254 - r27258;
        float r27260 = cbrt(r27259);
        float r27261 = r27260 * r27260;
        float r27262 = r27257 - r27254;
        float r27263 = cbrt(r27262);
        float r27264 = r27263 * r27263;
        float r27265 = r27261 / r27264;
        float r27266 = r27260 / r27263;
        float r27267 = r27265 * r27266;
        float r27268 = acos(r27267);
        return r27268;
}

double f_od(double v) {
        double r27269 = 1;
        double r27270 = 5;
        double r27271 = v;
        double r27272 = r27271 * r27271;
        double r27273 = r27270 * r27272;
        double r27274 = r27269 - r27273;
        double r27275 = cbrt(r27274);
        double r27276 = r27275 * r27275;
        double r27277 = r27272 - r27269;
        double r27278 = cbrt(r27277);
        double r27279 = r27278 * r27278;
        double r27280 = r27276 / r27279;
        double r27281 = r27275 / r27278;
        double r27282 = r27280 * r27281;
        double r27283 = acos(r27282);
        return r27283;
}

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 r27284, r27285, r27286, r27287, r27288, r27289, r27290, r27291, r27292;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r27284, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27285, "5", 10, MPFR_RNDN);
        mpfr_init(r27286);
        mpfr_init(r27287);
        mpfr_init(r27288);
        mpfr_init(r27289);
        mpfr_init(r27290);
        mpfr_init(r27291);
        mpfr_init(r27292);
}

double f_im(double v) {
        ;
        ;
        mpfr_set_d(r27286, v, MPFR_RNDN);
        mpfr_mul(r27287, r27286, r27286, MPFR_RNDN);
        mpfr_mul(r27288, r27285, r27287, MPFR_RNDN);
        mpfr_sub(r27289, r27284, r27288, MPFR_RNDN);
        mpfr_sub(r27290, r27287, r27284, MPFR_RNDN);
        mpfr_div(r27291, r27289, r27290, MPFR_RNDN);
        mpfr_acos(r27292, r27291, MPFR_RNDN);
        return mpfr_get_d(r27292, MPFR_RNDN);
}

static mpfr_t r27293, r27294, r27295, r27296, r27297, r27298, r27299, r27300, r27301, r27302, r27303, r27304, r27305, r27306, r27307;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r27293, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27294, "5", 10, MPFR_RNDN);
        mpfr_init(r27295);
        mpfr_init(r27296);
        mpfr_init(r27297);
        mpfr_init(r27298);
        mpfr_init(r27299);
        mpfr_init(r27300);
        mpfr_init(r27301);
        mpfr_init(r27302);
        mpfr_init(r27303);
        mpfr_init(r27304);
        mpfr_init(r27305);
        mpfr_init(r27306);
        mpfr_init(r27307);
}

double f_fm(double v) {
        ;
        ;
        mpfr_set_d(r27295, v, MPFR_RNDN);
        mpfr_mul(r27296, r27295, r27295, MPFR_RNDN);
        mpfr_mul(r27297, r27294, r27296, MPFR_RNDN);
        mpfr_sub(r27298, r27293, r27297, MPFR_RNDN);
        mpfr_cbrt(r27299, r27298, MPFR_RNDN);
        mpfr_mul(r27300, r27299, r27299, MPFR_RNDN);
        mpfr_sub(r27301, r27296, r27293, MPFR_RNDN);
        mpfr_cbrt(r27302, r27301, MPFR_RNDN);
        mpfr_mul(r27303, r27302, r27302, MPFR_RNDN);
        mpfr_div(r27304, r27300, r27303, MPFR_RNDN);
        mpfr_div(r27305, r27299, r27302, MPFR_RNDN);
        mpfr_mul(r27306, r27304, r27305, MPFR_RNDN);
        mpfr_acos(r27307, r27306, MPFR_RNDN);
        return mpfr_get_d(r27307, MPFR_RNDN);
}

static mpfr_t r27308, r27309, r27310, r27311, r27312, r27313, r27314, r27315, r27316, r27317, r27318, r27319, r27320, r27321, r27322;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r27308, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27309, "5", 10, MPFR_RNDN);
        mpfr_init(r27310);
        mpfr_init(r27311);
        mpfr_init(r27312);
        mpfr_init(r27313);
        mpfr_init(r27314);
        mpfr_init(r27315);
        mpfr_init(r27316);
        mpfr_init(r27317);
        mpfr_init(r27318);
        mpfr_init(r27319);
        mpfr_init(r27320);
        mpfr_init(r27321);
        mpfr_init(r27322);
}

double f_dm(double v) {
        ;
        ;
        mpfr_set_d(r27310, v, MPFR_RNDN);
        mpfr_mul(r27311, r27310, r27310, MPFR_RNDN);
        mpfr_mul(r27312, r27309, r27311, MPFR_RNDN);
        mpfr_sub(r27313, r27308, r27312, MPFR_RNDN);
        mpfr_cbrt(r27314, r27313, MPFR_RNDN);
        mpfr_mul(r27315, r27314, r27314, MPFR_RNDN);
        mpfr_sub(r27316, r27311, r27308, MPFR_RNDN);
        mpfr_cbrt(r27317, r27316, MPFR_RNDN);
        mpfr_mul(r27318, r27317, r27317, MPFR_RNDN);
        mpfr_div(r27319, r27315, r27318, MPFR_RNDN);
        mpfr_div(r27320, r27314, r27317, MPFR_RNDN);
        mpfr_mul(r27321, r27319, r27320, MPFR_RNDN);
        mpfr_acos(r27322, r27321, MPFR_RNDN);
        return mpfr_get_d(r27322, MPFR_RNDN);
}