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

char *name = "FastMath test1";

double f_if(float d) {
        float r26923 = d;
        float r26924 = 10;
        float r26925 = r26923 * r26924;
        float r26926 = 20;
        float r26927 = r26923 * r26926;
        float r26928 = r26925 + r26927;
        return r26928;
}

double f_id(double d) {
        double r26929 = d;
        double r26930 = 10;
        double r26931 = r26929 * r26930;
        double r26932 = 20;
        double r26933 = r26929 * r26932;
        double r26934 = r26931 + r26933;
        return r26934;
}


double f_of(float d) {
        float r26935 = d;
        float r26936 = 20;
        float r26937 = 10;
        float r26938 = r26936 + r26937;
        float r26939 = r26935 * r26938;
        return r26939;
}

double f_od(double d) {
        double r26940 = d;
        double r26941 = 20;
        double r26942 = 10;
        double r26943 = r26941 + r26942;
        double r26944 = r26940 * r26943;
        return r26944;
}

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 r26945, r26946, r26947, r26948, r26949, r26950;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r26945);
        mpfr_init_set_str(r26946, "10", 10, MPFR_RNDN);
        mpfr_init(r26947);
        mpfr_init_set_str(r26948, "20", 10, MPFR_RNDN);
        mpfr_init(r26949);
        mpfr_init(r26950);
}

double f_im(double d) {
        mpfr_set_d(r26945, d, MPFR_RNDN);
        ;
        mpfr_mul(r26947, r26945, r26946, MPFR_RNDN);
        ;
        mpfr_mul(r26949, r26945, r26948, MPFR_RNDN);
        mpfr_add(r26950, r26947, r26949, MPFR_RNDN);
        return mpfr_get_d(r26950, MPFR_RNDN);
}

static mpfr_t r26951, r26952, r26953, r26954, r26955;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26951);
        mpfr_init_set_str(r26952, "20", 10, MPFR_RNDN);
        mpfr_init_set_str(r26953, "10", 10, MPFR_RNDN);
        mpfr_init(r26954);
        mpfr_init(r26955);
}

double f_fm(double d) {
        mpfr_set_d(r26951, d, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26954, r26952, r26953, MPFR_RNDN);
        mpfr_mul(r26955, r26951, r26954, MPFR_RNDN);
        return mpfr_get_d(r26955, MPFR_RNDN);
}

static mpfr_t r26956, r26957, r26958, r26959, r26960;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r26956);
        mpfr_init_set_str(r26957, "20", 10, MPFR_RNDN);
        mpfr_init_set_str(r26958, "10", 10, MPFR_RNDN);
        mpfr_init(r26959);
        mpfr_init(r26960);
}

double f_dm(double d) {
        mpfr_set_d(r26956, d, MPFR_RNDN);
        ;
        ;
        mpfr_add(r26959, r26957, r26958, MPFR_RNDN);
        mpfr_mul(r26960, r26956, r26959, MPFR_RNDN);
        return mpfr_get_d(r26960, MPFR_RNDN);
}