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

char *name = "3frac (problem 3.3.3)";

double f_if(float x) {
        float r10444 = 1.0f;
        float r10445 = x;
        float r10446 = r10445 + r10444;
        float r10447 = r10444 / r10446;
        float r10448 = 2.0f;
        float r10449 = r10448 / r10445;
        float r10450 = r10447 - r10449;
        float r10451 = r10445 - r10444;
        float r10452 = r10444 / r10451;
        float r10453 = r10450 + r10452;
        return r10453;
}

double f_id(double x) {
        double r10454 = 1.0;
        double r10455 = x;
        double r10456 = r10455 + r10454;
        double r10457 = r10454 / r10456;
        double r10458 = 2.0;
        double r10459 = r10458 / r10455;
        double r10460 = r10457 - r10459;
        double r10461 = r10455 - r10454;
        double r10462 = r10454 / r10461;
        double r10463 = r10460 + r10462;
        return r10463;
}


double f_of(float x) {
        float r10464 = 2.0f;
        float r10465 = x;
        float r10466 = fma(r10465, r10465, r10465);
        float r10467 = r10464 / r10466;
        float r10468 = 1.0f;
        float r10469 = r10465 - r10468;
        float r10470 = r10467 / r10469;
        return r10470;
}

double f_od(double x) {
        double r10471 = 2.0;
        double r10472 = x;
        double r10473 = fma(r10472, r10472, r10472);
        double r10474 = r10471 / r10473;
        double r10475 = 1.0;
        double r10476 = r10472 - r10475;
        double r10477 = r10474 / r10476;
        return r10477;
}

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 r10478, r10479, r10480, r10481, r10482, r10483, r10484, r10485, r10486, r10487;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r10478, "1", 10, MPFR_RNDN);
        mpfr_init(r10479);
        mpfr_init(r10480);
        mpfr_init(r10481);
        mpfr_init_set_str(r10482, "2", 10, MPFR_RNDN);
        mpfr_init(r10483);
        mpfr_init(r10484);
        mpfr_init(r10485);
        mpfr_init(r10486);
        mpfr_init(r10487);
}

double f_im(double x) {
        ;
        mpfr_set_d(r10479, x, MPFR_RNDN);
        mpfr_add(r10480, r10479, r10478, MPFR_RNDN);
        mpfr_div(r10481, r10478, r10480, MPFR_RNDN);
        ;
        mpfr_div(r10483, r10482, r10479, MPFR_RNDN);
        mpfr_sub(r10484, r10481, r10483, MPFR_RNDN);
        mpfr_sub(r10485, r10479, r10478, MPFR_RNDN);
        mpfr_div(r10486, r10478, r10485, MPFR_RNDN);
        mpfr_add(r10487, r10484, r10486, MPFR_RNDN);
        return mpfr_get_d(r10487, MPFR_RNDN);
}

static mpfr_t r10488, r10489, r10490, r10491, r10492, r10493, r10494;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r10488, "2", 10, MPFR_RNDN);
        mpfr_init(r10489);
        mpfr_init(r10490);
        mpfr_init(r10491);
        mpfr_init_set_str(r10492, "1", 10, MPFR_RNDN);
        mpfr_init(r10493);
        mpfr_init(r10494);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r10489, x, MPFR_RNDN);
        mpfr_fma(r10490, r10489, r10489, r10489, MPFR_RNDN);
        mpfr_div(r10491, r10488, r10490, MPFR_RNDN);
        ;
        mpfr_sub(r10493, r10489, r10492, MPFR_RNDN);
        mpfr_div(r10494, r10491, r10493, MPFR_RNDN);
        return mpfr_get_d(r10494, MPFR_RNDN);
}

static mpfr_t r10495, r10496, r10497, r10498, r10499, r10500, r10501;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1104);
        mpfr_init_set_str(r10495, "2", 10, MPFR_RNDN);
        mpfr_init(r10496);
        mpfr_init(r10497);
        mpfr_init(r10498);
        mpfr_init_set_str(r10499, "1", 10, MPFR_RNDN);
        mpfr_init(r10500);
        mpfr_init(r10501);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r10496, x, MPFR_RNDN);
        mpfr_fma(r10497, r10496, r10496, r10496, MPFR_RNDN);
        mpfr_div(r10498, r10495, r10497, MPFR_RNDN);
        ;
        mpfr_sub(r10500, r10496, r10499, MPFR_RNDN);
        mpfr_div(r10501, r10498, r10500, MPFR_RNDN);
        return mpfr_get_d(r10501, MPFR_RNDN);
}