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

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

double f_if(float v) {
        float r27331 = 2;
        float r27332 = sqrt(r27331);
        float r27333 = 4;
        float r27334 = r27332 / r27333;
        float r27335 = 1;
        float r27336 = 3;
        float r27337 = v;
        float r27338 = r27337 * r27337;
        float r27339 = r27336 * r27338;
        float r27340 = r27335 - r27339;
        float r27341 = sqrt(r27340);
        float r27342 = r27334 * r27341;
        float r27343 = r27335 - r27338;
        float r27344 = r27342 * r27343;
        return r27344;
}

double f_id(double v) {
        double r27345 = 2;
        double r27346 = sqrt(r27345);
        double r27347 = 4;
        double r27348 = r27346 / r27347;
        double r27349 = 1;
        double r27350 = 3;
        double r27351 = v;
        double r27352 = r27351 * r27351;
        double r27353 = r27350 * r27352;
        double r27354 = r27349 - r27353;
        double r27355 = sqrt(r27354);
        double r27356 = r27348 * r27355;
        double r27357 = r27349 - r27352;
        double r27358 = r27356 * r27357;
        return r27358;
}


double f_of(float v) {
        float r27359 = 2;
        float r27360 = sqrt(r27359);
        float r27361 = 4;
        float r27362 = r27360 / r27361;
        float r27363 = 1;
        float r27364 = 3;
        float r27365 = v;
        float r27366 = r27365 * r27365;
        float r27367 = r27364 * r27366;
        float r27368 = r27363 - r27367;
        float r27369 = sqrt(r27368);
        float r27370 = r27362 * r27369;
        float r27371 = r27363 - r27366;
        float r27372 = r27370 * r27371;
        return r27372;
}

double f_od(double v) {
        double r27373 = 2;
        double r27374 = sqrt(r27373);
        double r27375 = 4;
        double r27376 = r27374 / r27375;
        double r27377 = 1;
        double r27378 = 3;
        double r27379 = v;
        double r27380 = r27379 * r27379;
        double r27381 = r27378 * r27380;
        double r27382 = r27377 - r27381;
        double r27383 = sqrt(r27382);
        double r27384 = r27376 * r27383;
        double r27385 = r27377 - r27380;
        double r27386 = r27384 * r27385;
        return r27386;
}

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 r27387, r27388, r27389, r27390, r27391, r27392, r27393, r27394, r27395, r27396, r27397, r27398, r27399, r27400;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r27387, "2", 10, MPFR_RNDN);
        mpfr_init(r27388);
        mpfr_init_set_str(r27389, "4", 10, MPFR_RNDN);
        mpfr_init(r27390);
        mpfr_init_set_str(r27391, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27392, "3", 10, MPFR_RNDN);
        mpfr_init(r27393);
        mpfr_init(r27394);
        mpfr_init(r27395);
        mpfr_init(r27396);
        mpfr_init(r27397);
        mpfr_init(r27398);
        mpfr_init(r27399);
        mpfr_init(r27400);
}

double f_im(double v) {
        ;
        mpfr_sqrt(r27388, r27387, MPFR_RNDN);
        ;
        mpfr_div(r27390, r27388, r27389, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r27393, v, MPFR_RNDN);
        mpfr_mul(r27394, r27393, r27393, MPFR_RNDN);
        mpfr_mul(r27395, r27392, r27394, MPFR_RNDN);
        mpfr_sub(r27396, r27391, r27395, MPFR_RNDN);
        mpfr_sqrt(r27397, r27396, MPFR_RNDN);
        mpfr_mul(r27398, r27390, r27397, MPFR_RNDN);
        mpfr_sub(r27399, r27391, r27394, MPFR_RNDN);
        mpfr_mul(r27400, r27398, r27399, MPFR_RNDN);
        return mpfr_get_d(r27400, MPFR_RNDN);
}

static mpfr_t r27401, r27402, r27403, r27404, r27405, r27406, r27407, r27408, r27409, r27410, r27411, r27412, r27413, r27414;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r27401, "2", 10, MPFR_RNDN);
        mpfr_init(r27402);
        mpfr_init_set_str(r27403, "4", 10, MPFR_RNDN);
        mpfr_init(r27404);
        mpfr_init_set_str(r27405, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27406, "3", 10, MPFR_RNDN);
        mpfr_init(r27407);
        mpfr_init(r27408);
        mpfr_init(r27409);
        mpfr_init(r27410);
        mpfr_init(r27411);
        mpfr_init(r27412);
        mpfr_init(r27413);
        mpfr_init(r27414);
}

double f_fm(double v) {
        ;
        mpfr_sqrt(r27402, r27401, MPFR_RNDN);
        ;
        mpfr_div(r27404, r27402, r27403, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r27407, v, MPFR_RNDN);
        mpfr_mul(r27408, r27407, r27407, MPFR_RNDN);
        mpfr_mul(r27409, r27406, r27408, MPFR_RNDN);
        mpfr_sub(r27410, r27405, r27409, MPFR_RNDN);
        mpfr_sqrt(r27411, r27410, MPFR_RNDN);
        mpfr_mul(r27412, r27404, r27411, MPFR_RNDN);
        mpfr_sub(r27413, r27405, r27408, MPFR_RNDN);
        mpfr_mul(r27414, r27412, r27413, MPFR_RNDN);
        return mpfr_get_d(r27414, MPFR_RNDN);
}

static mpfr_t r27415, r27416, r27417, r27418, r27419, r27420, r27421, r27422, r27423, r27424, r27425, r27426, r27427, r27428;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r27415, "2", 10, MPFR_RNDN);
        mpfr_init(r27416);
        mpfr_init_set_str(r27417, "4", 10, MPFR_RNDN);
        mpfr_init(r27418);
        mpfr_init_set_str(r27419, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27420, "3", 10, MPFR_RNDN);
        mpfr_init(r27421);
        mpfr_init(r27422);
        mpfr_init(r27423);
        mpfr_init(r27424);
        mpfr_init(r27425);
        mpfr_init(r27426);
        mpfr_init(r27427);
        mpfr_init(r27428);
}

double f_dm(double v) {
        ;
        mpfr_sqrt(r27416, r27415, MPFR_RNDN);
        ;
        mpfr_div(r27418, r27416, r27417, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r27421, v, MPFR_RNDN);
        mpfr_mul(r27422, r27421, r27421, MPFR_RNDN);
        mpfr_mul(r27423, r27420, r27422, MPFR_RNDN);
        mpfr_sub(r27424, r27419, r27423, MPFR_RNDN);
        mpfr_sqrt(r27425, r27424, MPFR_RNDN);
        mpfr_mul(r27426, r27418, r27425, MPFR_RNDN);
        mpfr_sub(r27427, r27419, r27422, MPFR_RNDN);
        mpfr_mul(r27428, r27426, r27427, MPFR_RNDN);
        return mpfr_get_d(r27428, MPFR_RNDN);
}