#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 r18913 = d1;
        float r18914 = 10.0f;
        float r18915 = r18913 * r18914;
        float r18916 = d2;
        float r18917 = r18913 * r18916;
        float r18918 = r18915 + r18917;
        float r18919 = 20.0f;
        float r18920 = r18913 * r18919;
        float r18921 = r18918 + r18920;
        return r18921;
}

double f_id(double d1, double d2) {
        double r18922 = d1;
        double r18923 = 10.0;
        double r18924 = r18922 * r18923;
        double r18925 = d2;
        double r18926 = r18922 * r18925;
        double r18927 = r18924 + r18926;
        double r18928 = 20.0;
        double r18929 = r18922 * r18928;
        double r18930 = r18927 + r18929;
        return r18930;
}


double f_of(float d1, float d2) {
        float r18931 = d1;
        float r18932 = d2;
        float r18933 = 30.0f;
        float r18934 = r18932 + r18933;
        float r18935 = r18931 * r18934;
        return r18935;
}

double f_od(double d1, double d2) {
        double r18936 = d1;
        double r18937 = d2;
        double r18938 = 30.0;
        double r18939 = r18937 + r18938;
        double r18940 = r18936 * r18939;
        return r18940;
}

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 r18941, r18942, r18943, r18944, r18945, r18946, r18947, r18948, r18949;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r18941);
        mpfr_init_set_str(r18942, "10", 10, MPFR_RNDN);
        mpfr_init(r18943);
        mpfr_init(r18944);
        mpfr_init(r18945);
        mpfr_init(r18946);
        mpfr_init_set_str(r18947, "20", 10, MPFR_RNDN);
        mpfr_init(r18948);
        mpfr_init(r18949);
}

double f_im(double d1, double d2) {
        mpfr_set_d(r18941, d1, MPFR_RNDN);
        ;
        mpfr_mul(r18943, r18941, r18942, MPFR_RNDN);
        mpfr_set_d(r18944, d2, MPFR_RNDN);
        mpfr_mul(r18945, r18941, r18944, MPFR_RNDN);
        mpfr_add(r18946, r18943, r18945, MPFR_RNDN);
        ;
        mpfr_mul(r18948, r18941, r18947, MPFR_RNDN);
        mpfr_add(r18949, r18946, r18948, MPFR_RNDN);
        return mpfr_get_d(r18949, MPFR_RNDN);
}

static mpfr_t r18950, r18951, r18952, r18953, r18954;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18950);
        mpfr_init(r18951);
        mpfr_init_set_str(r18952, "30", 10, MPFR_RNDN);
        mpfr_init(r18953);
        mpfr_init(r18954);
}

double f_fm(double d1, double d2) {
        mpfr_set_d(r18950, d1, MPFR_RNDN);
        mpfr_set_d(r18951, d2, MPFR_RNDN);
        ;
        mpfr_add(r18953, r18951, r18952, MPFR_RNDN);
        mpfr_mul(r18954, r18950, r18953, MPFR_RNDN);
        return mpfr_get_d(r18954, MPFR_RNDN);
}

static mpfr_t r18955, r18956, r18957, r18958, r18959;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18955);
        mpfr_init(r18956);
        mpfr_init_set_str(r18957, "30", 10, MPFR_RNDN);
        mpfr_init(r18958);
        mpfr_init(r18959);
}

double f_dm(double d1, double d2) {
        mpfr_set_d(r18955, d1, MPFR_RNDN);
        mpfr_set_d(r18956, d2, MPFR_RNDN);
        ;
        mpfr_add(r18958, r18956, r18957, MPFR_RNDN);
        mpfr_mul(r18959, r18955, r18958, MPFR_RNDN);
        return mpfr_get_d(r18959, MPFR_RNDN);
}