#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 r19012 = d;
        float r19013 = 10.0f;
        float r19014 = r19012 * r19013;
        float r19015 = 20.0f;
        float r19016 = r19012 * r19015;
        float r19017 = r19014 + r19016;
        return r19017;
}

double f_id(double d) {
        double r19018 = d;
        double r19019 = 10.0;
        double r19020 = r19018 * r19019;
        double r19021 = 20.0;
        double r19022 = r19018 * r19021;
        double r19023 = r19020 + r19022;
        return r19023;
}


double f_of(float d) {
        float r19024 = 10.0f;
        float r19025 = 20.0f;
        float r19026 = r19024 + r19025;
        float r19027 = d;
        float r19028 = r19026 * r19027;
        return r19028;
}

double f_od(double d) {
        double r19029 = 10.0;
        double r19030 = 20.0;
        double r19031 = r19029 + r19030;
        double r19032 = d;
        double r19033 = r19031 * r19032;
        return r19033;
}

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 r19034, r19035, r19036, r19037, r19038, r19039;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r19034);
        mpfr_init_set_str(r19035, "10", 10, MPFR_RNDN);
        mpfr_init(r19036);
        mpfr_init_set_str(r19037, "20", 10, MPFR_RNDN);
        mpfr_init(r19038);
        mpfr_init(r19039);
}

double f_im(double d) {
        mpfr_set_d(r19034, d, MPFR_RNDN);
        ;
        mpfr_mul(r19036, r19034, r19035, MPFR_RNDN);
        ;
        mpfr_mul(r19038, r19034, r19037, MPFR_RNDN);
        mpfr_add(r19039, r19036, r19038, MPFR_RNDN);
        return mpfr_get_d(r19039, MPFR_RNDN);
}

static mpfr_t r19040, r19041, r19042, r19043, r19044;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r19040, "10", 10, MPFR_RNDN);
        mpfr_init_set_str(r19041, "20", 10, MPFR_RNDN);
        mpfr_init(r19042);
        mpfr_init(r19043);
        mpfr_init(r19044);
}

double f_fm(double d) {
        ;
        ;
        mpfr_add(r19042, r19040, r19041, MPFR_RNDN);
        mpfr_set_d(r19043, d, MPFR_RNDN);
        mpfr_mul(r19044, r19042, r19043, MPFR_RNDN);
        return mpfr_get_d(r19044, MPFR_RNDN);
}

static mpfr_t r19045, r19046, r19047, r19048, r19049;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r19045, "10", 10, MPFR_RNDN);
        mpfr_init_set_str(r19046, "20", 10, MPFR_RNDN);
        mpfr_init(r19047);
        mpfr_init(r19048);
        mpfr_init(r19049);
}

double f_dm(double d) {
        ;
        ;
        mpfr_add(r19047, r19045, r19046, MPFR_RNDN);
        mpfr_set_d(r19048, d, MPFR_RNDN);
        mpfr_mul(r19049, r19047, r19048, MPFR_RNDN);
        return mpfr_get_d(r19049, MPFR_RNDN);
}