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

char *name = "fma_test1";

double f_if(float t) {
        float r20899 = 1;
        float r20900 = t;
        float r20901 = 2e-16;
        float r20902 = r20900 * r20901;
        float r20903 = r20899 + r20902;
        float r20904 = r20903 * r20903;
        float r20905 = -1;
        float r20906 = 2;
        float r20907 = r20906 * r20902;
        float r20908 = r20905 - r20907;
        float r20909 = r20904 + r20908;
        return r20909;
}

double f_id(double t) {
        double r20910 = 1;
        double r20911 = t;
        double r20912 = 2e-16;
        double r20913 = r20911 * r20912;
        double r20914 = r20910 + r20913;
        double r20915 = r20914 * r20914;
        double r20916 = -1;
        double r20917 = 2;
        double r20918 = r20917 * r20913;
        double r20919 = r20916 - r20918;
        double r20920 = r20915 + r20919;
        return r20920;
}


double f_of(float t) {
        float r20921 = 3.9999999999999997e-32;
        float r20922 = t;
        float r20923 = r20921 * r20922;
        float r20924 = r20923 * r20922;
        return r20924;
}

double f_od(double t) {
        double r20925 = 3.9999999999999997e-32;
        double r20926 = t;
        double r20927 = r20925 * r20926;
        double r20928 = r20927 * r20926;
        return r20928;
}

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 r20929, r20930, r20931, r20932, r20933, r20934, r20935, r20936, r20937, r20938, r20939;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(656);
        mpfr_init_set_str(r20929, "1", 10, MPFR_RNDN);
        mpfr_init(r20930);
        mpfr_init_set_str(r20931, "2e-16", 10, MPFR_RNDN);
        mpfr_init(r20932);
        mpfr_init(r20933);
        mpfr_init(r20934);
        mpfr_init_set_str(r20935, "-1", 10, MPFR_RNDN);
        mpfr_init_set_str(r20936, "2", 10, MPFR_RNDN);
        mpfr_init(r20937);
        mpfr_init(r20938);
        mpfr_init(r20939);
}

double f_im(double t) {
        ;
        mpfr_set_d(r20930, t, MPFR_RNDN);
        ;
        mpfr_mul(r20932, r20930, r20931, MPFR_RNDN);
        mpfr_add(r20933, r20929, r20932, MPFR_RNDN);
        mpfr_mul(r20934, r20933, r20933, MPFR_RNDN);
        ;
        ;
        mpfr_mul(r20937, r20936, r20932, MPFR_RNDN);
        mpfr_sub(r20938, r20935, r20937, MPFR_RNDN);
        mpfr_add(r20939, r20934, r20938, MPFR_RNDN);
        return mpfr_get_d(r20939, MPFR_RNDN);
}

static mpfr_t r20940, r20941, r20942, r20943;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(656);
        mpfr_init_set_str(r20940, "3.9999999999999997e-32", 10, MPFR_RNDN);
        mpfr_init(r20941);
        mpfr_init(r20942);
        mpfr_init(r20943);
}

double f_fm(double t) {
        ;
        mpfr_set_d(r20941, t, MPFR_RNDN);
        mpfr_mul(r20942, r20940, r20941, MPFR_RNDN);
        mpfr_mul(r20943, r20942, r20941, MPFR_RNDN);
        return mpfr_get_d(r20943, MPFR_RNDN);
}

static mpfr_t r20944, r20945, r20946, r20947;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(656);
        mpfr_init_set_str(r20944, "3.9999999999999997e-32", 10, MPFR_RNDN);
        mpfr_init(r20945);
        mpfr_init(r20946);
        mpfr_init(r20947);
}

double f_dm(double t) {
        ;
        mpfr_set_d(r20945, t, MPFR_RNDN);
        mpfr_mul(r20946, r20944, r20945, MPFR_RNDN);
        mpfr_mul(r20947, r20946, r20945, MPFR_RNDN);
        return mpfr_get_d(r20947, MPFR_RNDN);
}