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

char *name = "Expanding a square";

double f_if(float x) {
        float r33099 = x;
        float r33100 = 1;
        float r33101 = r33099 + r33100;
        float r33102 = r33101 * r33101;
        float r33103 = r33102 - r33100;
        return r33103;
}

double f_id(double x) {
        double r33104 = x;
        double r33105 = 1;
        double r33106 = r33104 + r33105;
        double r33107 = r33106 * r33106;
        double r33108 = r33107 - r33105;
        return r33108;
}


double f_of(float x) {
        float r33109 = 2;
        float r33110 = x;
        float r33111 = r33109 + r33110;
        float r33112 = r33111 * r33110;
        return r33112;
}

double f_od(double x) {
        double r33113 = 2;
        double r33114 = x;
        double r33115 = r33113 + r33114;
        double r33116 = r33115 * r33114;
        return r33116;
}

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 r33117, r33118, r33119, r33120, r33121;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1424);
        mpfr_init(r33117);
        mpfr_init_set_str(r33118, "1", 10, MPFR_RNDN);
        mpfr_init(r33119);
        mpfr_init(r33120);
        mpfr_init(r33121);
}

double f_im(double x) {
        mpfr_set_d(r33117, x, MPFR_RNDN);
        ;
        mpfr_add(r33119, r33117, r33118, MPFR_RNDN);
        mpfr_mul(r33120, r33119, r33119, MPFR_RNDN);
        mpfr_sub(r33121, r33120, r33118, MPFR_RNDN);
        return mpfr_get_d(r33121, MPFR_RNDN);
}

static mpfr_t r33122, r33123, r33124, r33125;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r33122, "2", 10, MPFR_RNDN);
        mpfr_init(r33123);
        mpfr_init(r33124);
        mpfr_init(r33125);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r33123, x, MPFR_RNDN);
        mpfr_add(r33124, r33122, r33123, MPFR_RNDN);
        mpfr_mul(r33125, r33124, r33123, MPFR_RNDN);
        return mpfr_get_d(r33125, MPFR_RNDN);
}

static mpfr_t r33126, r33127, r33128, r33129;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1424);
        mpfr_init_set_str(r33126, "2", 10, MPFR_RNDN);
        mpfr_init(r33127);
        mpfr_init(r33128);
        mpfr_init(r33129);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r33127, x, MPFR_RNDN);
        mpfr_add(r33128, r33126, r33127, MPFR_RNDN);
        mpfr_mul(r33129, r33128, r33127, MPFR_RNDN);
        return mpfr_get_d(r33129, MPFR_RNDN);
}