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

char *name = "FastMath test2";

double f_if(float d1, float d2) {
        float r18581 = d1;
        float r18582 = 10.0f;
        float r18583 = r18581 * r18582;
        float r18584 = d2;
        float r18585 = r18581 * r18584;
        float r18586 = r18583 + r18585;
        float r18587 = 20.0f;
        float r18588 = r18581 * r18587;
        float r18589 = r18586 + r18588;
        return r18589;
}

double f_id(double d1, double d2) {
        double r18590 = d1;
        double r18591 = 10.0;
        double r18592 = r18590 * r18591;
        double r18593 = d2;
        double r18594 = r18590 * r18593;
        double r18595 = r18592 + r18594;
        double r18596 = 20.0;
        double r18597 = r18590 * r18596;
        double r18598 = r18595 + r18597;
        return r18598;
}


double f_of(float d1, float d2) {
        float r18599 = d1;
        float r18600 = 20.0f;
        float r18601 = 10.0f;
        float r18602 = r18600 + r18601;
        float r18603 = d2;
        float r18604 = r18599 * r18603;
        float r18605 = fma(r18599, r18602, r18604);
        return r18605;
}

double f_od(double d1, double d2) {
        double r18606 = d1;
        double r18607 = 20.0;
        double r18608 = 10.0;
        double r18609 = r18607 + r18608;
        double r18610 = d2;
        double r18611 = r18606 * r18610;
        double r18612 = fma(r18606, r18609, r18611);
        return r18612;
}

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 r18613, r18614, r18615, r18616, r18617, r18618, r18619, r18620, r18621;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r18613);
        mpfr_init_set_str(r18614, "10", 10, MPFR_RNDN);
        mpfr_init(r18615);
        mpfr_init(r18616);
        mpfr_init(r18617);
        mpfr_init(r18618);
        mpfr_init_set_str(r18619, "20", 10, MPFR_RNDN);
        mpfr_init(r18620);
        mpfr_init(r18621);
}

double f_im(double d1, double d2) {
        mpfr_set_d(r18613, d1, MPFR_RNDN);
        ;
        mpfr_mul(r18615, r18613, r18614, MPFR_RNDN);
        mpfr_set_d(r18616, d2, MPFR_RNDN);
        mpfr_mul(r18617, r18613, r18616, MPFR_RNDN);
        mpfr_add(r18618, r18615, r18617, MPFR_RNDN);
        ;
        mpfr_mul(r18620, r18613, r18619, MPFR_RNDN);
        mpfr_add(r18621, r18618, r18620, MPFR_RNDN);
        return mpfr_get_d(r18621, MPFR_RNDN);
}

static mpfr_t r18622, r18623, r18624, r18625, r18626, r18627, r18628;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18622);
        mpfr_init_set_str(r18623, "20", 10, MPFR_RNDN);
        mpfr_init_set_str(r18624, "10", 10, MPFR_RNDN);
        mpfr_init(r18625);
        mpfr_init(r18626);
        mpfr_init(r18627);
        mpfr_init(r18628);
}

double f_fm(double d1, double d2) {
        mpfr_set_d(r18622, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r18625, r18623, r18624, MPFR_RNDN);
        mpfr_set_d(r18626, d2, MPFR_RNDN);
        mpfr_mul(r18627, r18622, r18626, MPFR_RNDN);
        mpfr_fma(r18628, r18622, r18625, r18627, MPFR_RNDN);
        return mpfr_get_d(r18628, MPFR_RNDN);
}

static mpfr_t r18629, r18630, r18631, r18632, r18633, r18634, r18635;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18629);
        mpfr_init_set_str(r18630, "20", 10, MPFR_RNDN);
        mpfr_init_set_str(r18631, "10", 10, MPFR_RNDN);
        mpfr_init(r18632);
        mpfr_init(r18633);
        mpfr_init(r18634);
        mpfr_init(r18635);
}

double f_dm(double d1, double d2) {
        mpfr_set_d(r18629, d1, MPFR_RNDN);
        ;
        ;
        mpfr_add(r18632, r18630, r18631, MPFR_RNDN);
        mpfr_set_d(r18633, d2, MPFR_RNDN);
        mpfr_mul(r18634, r18629, r18633, MPFR_RNDN);
        mpfr_fma(r18635, r18629, r18632, r18634, MPFR_RNDN);
        return mpfr_get_d(r18635, MPFR_RNDN);
}