#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 r27472 = 2;
        float r27473 = sqrt(r27472);
        float r27474 = 4;
        float r27475 = r27473 / r27474;
        float r27476 = 1;
        float r27477 = 3;
        float r27478 = v;
        float r27479 = r27478 * r27478;
        float r27480 = r27477 * r27479;
        float r27481 = r27476 - r27480;
        float r27482 = sqrt(r27481);
        float r27483 = r27475 * r27482;
        float r27484 = r27476 - r27479;
        float r27485 = r27483 * r27484;
        return r27485;
}

double f_id(double v) {
        double r27486 = 2;
        double r27487 = sqrt(r27486);
        double r27488 = 4;
        double r27489 = r27487 / r27488;
        double r27490 = 1;
        double r27491 = 3;
        double r27492 = v;
        double r27493 = r27492 * r27492;
        double r27494 = r27491 * r27493;
        double r27495 = r27490 - r27494;
        double r27496 = sqrt(r27495);
        double r27497 = r27489 * r27496;
        double r27498 = r27490 - r27493;
        double r27499 = r27497 * r27498;
        return r27499;
}


double f_of(float v) {
        float r27500 = 2;
        float r27501 = sqrt(r27500);
        float r27502 = 4;
        float r27503 = r27501 / r27502;
        float r27504 = 1;
        float r27505 = 3;
        float r27506 = v;
        float r27507 = r27506 * r27506;
        float r27508 = r27505 * r27507;
        float r27509 = r27504 - r27508;
        float r27510 = sqrt(r27509);
        float r27511 = r27503 * r27510;
        float r27512 = log1p(r27511);
        float r27513 = expm1(r27512);
        float r27514 = r27504 - r27507;
        float r27515 = r27513 * r27514;
        return r27515;
}

double f_od(double v) {
        double r27516 = 2;
        double r27517 = sqrt(r27516);
        double r27518 = 4;
        double r27519 = r27517 / r27518;
        double r27520 = 1;
        double r27521 = 3;
        double r27522 = v;
        double r27523 = r27522 * r27522;
        double r27524 = r27521 * r27523;
        double r27525 = r27520 - r27524;
        double r27526 = sqrt(r27525);
        double r27527 = r27519 * r27526;
        double r27528 = log1p(r27527);
        double r27529 = expm1(r27528);
        double r27530 = r27520 - r27523;
        double r27531 = r27529 * r27530;
        return r27531;
}

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

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

double f_im(double v) {
        ;
        mpfr_sqrt(r27533, r27532, MPFR_RNDN);
        ;
        mpfr_div(r27535, r27533, r27534, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r27538, v, MPFR_RNDN);
        mpfr_mul(r27539, r27538, r27538, MPFR_RNDN);
        mpfr_mul(r27540, r27537, r27539, MPFR_RNDN);
        mpfr_sub(r27541, r27536, r27540, MPFR_RNDN);
        mpfr_sqrt(r27542, r27541, MPFR_RNDN);
        mpfr_mul(r27543, r27535, r27542, MPFR_RNDN);
        mpfr_sub(r27544, r27536, r27539, MPFR_RNDN);
        mpfr_mul(r27545, r27543, r27544, MPFR_RNDN);
        return mpfr_get_d(r27545, MPFR_RNDN);
}

static mpfr_t r27546, r27547, r27548, r27549, r27550, r27551, r27552, r27553, r27554, r27555, r27556, r27557, r27558, r27559, r27560, r27561;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r27546, "2", 10, MPFR_RNDN);
        mpfr_init(r27547);
        mpfr_init_set_str(r27548, "4", 10, MPFR_RNDN);
        mpfr_init(r27549);
        mpfr_init_set_str(r27550, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27551, "3", 10, MPFR_RNDN);
        mpfr_init(r27552);
        mpfr_init(r27553);
        mpfr_init(r27554);
        mpfr_init(r27555);
        mpfr_init(r27556);
        mpfr_init(r27557);
        mpfr_init(r27558);
        mpfr_init(r27559);
        mpfr_init(r27560);
        mpfr_init(r27561);
}

double f_fm(double v) {
        ;
        mpfr_sqrt(r27547, r27546, MPFR_RNDN);
        ;
        mpfr_div(r27549, r27547, r27548, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r27552, v, MPFR_RNDN);
        mpfr_mul(r27553, r27552, r27552, MPFR_RNDN);
        mpfr_mul(r27554, r27551, r27553, MPFR_RNDN);
        mpfr_sub(r27555, r27550, r27554, MPFR_RNDN);
        mpfr_sqrt(r27556, r27555, MPFR_RNDN);
        mpfr_mul(r27557, r27549, r27556, MPFR_RNDN);
        mpfr_log1p(r27558, r27557, MPFR_RNDN);
        mpfr_expm1(r27559, r27558, MPFR_RNDN);
        mpfr_sub(r27560, r27550, r27553, MPFR_RNDN);
        mpfr_mul(r27561, r27559, r27560, MPFR_RNDN);
        return mpfr_get_d(r27561, MPFR_RNDN);
}

static mpfr_t r27562, r27563, r27564, r27565, r27566, r27567, r27568, r27569, r27570, r27571, r27572, r27573, r27574, r27575, r27576, r27577;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r27562, "2", 10, MPFR_RNDN);
        mpfr_init(r27563);
        mpfr_init_set_str(r27564, "4", 10, MPFR_RNDN);
        mpfr_init(r27565);
        mpfr_init_set_str(r27566, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r27567, "3", 10, MPFR_RNDN);
        mpfr_init(r27568);
        mpfr_init(r27569);
        mpfr_init(r27570);
        mpfr_init(r27571);
        mpfr_init(r27572);
        mpfr_init(r27573);
        mpfr_init(r27574);
        mpfr_init(r27575);
        mpfr_init(r27576);
        mpfr_init(r27577);
}

double f_dm(double v) {
        ;
        mpfr_sqrt(r27563, r27562, MPFR_RNDN);
        ;
        mpfr_div(r27565, r27563, r27564, MPFR_RNDN);
        ;
        ;
        mpfr_set_d(r27568, v, MPFR_RNDN);
        mpfr_mul(r27569, r27568, r27568, MPFR_RNDN);
        mpfr_mul(r27570, r27567, r27569, MPFR_RNDN);
        mpfr_sub(r27571, r27566, r27570, MPFR_RNDN);
        mpfr_sqrt(r27572, r27571, MPFR_RNDN);
        mpfr_mul(r27573, r27565, r27572, MPFR_RNDN);
        mpfr_log1p(r27574, r27573, MPFR_RNDN);
        mpfr_expm1(r27575, r27574, MPFR_RNDN);
        mpfr_sub(r27576, r27566, r27569, MPFR_RNDN);
        mpfr_mul(r27577, r27575, r27576, MPFR_RNDN);
        return mpfr_get_d(r27577, MPFR_RNDN);
}