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

char *name = "Crypto.Random.Test:calculate from crypto-random-0.0.9";

double f_if(float x, float y, float z) {
        float r58012 = x;
        float r58013 = y;
        float r58014 = r58013 * r58013;
        float r58015 = z;
        float r58016 = r58014 / r58015;
        float r58017 = r58012 + r58016;
        return r58017;
}

double f_id(double x, double y, double z) {
        double r58018 = x;
        double r58019 = y;
        double r58020 = r58019 * r58019;
        double r58021 = z;
        double r58022 = r58020 / r58021;
        double r58023 = r58018 + r58022;
        return r58023;
}


double f_of(float x, float y, float z) {
        float r58024 = x;
        float r58025 = y;
        float r58026 = z;
        float r58027 = r58026 / r58025;
        float r58028 = r58025 / r58027;
        float r58029 = r58024 + r58028;
        return r58029;
}

double f_od(double x, double y, double z) {
        double r58030 = x;
        double r58031 = y;
        double r58032 = z;
        double r58033 = r58032 / r58031;
        double r58034 = r58031 / r58033;
        double r58035 = r58030 + r58034;
        return r58035;
}

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 r58036, r58037, r58038, r58039, r58040, r58041;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r58036);
        mpfr_init(r58037);
        mpfr_init(r58038);
        mpfr_init(r58039);
        mpfr_init(r58040);
        mpfr_init(r58041);
}

double f_im(double x, double y, double z) {
        mpfr_set_d(r58036, x, MPFR_RNDN);
        mpfr_set_d(r58037, y, MPFR_RNDN);
        mpfr_mul(r58038, r58037, r58037, MPFR_RNDN);
        mpfr_set_d(r58039, z, MPFR_RNDN);
        mpfr_div(r58040, r58038, r58039, MPFR_RNDN);
        mpfr_add(r58041, r58036, r58040, MPFR_RNDN);
        return mpfr_get_d(r58041, MPFR_RNDN);
}

static mpfr_t r58042, r58043, r58044, r58045, r58046, r58047;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r58042);
        mpfr_init(r58043);
        mpfr_init(r58044);
        mpfr_init(r58045);
        mpfr_init(r58046);
        mpfr_init(r58047);
}

double f_fm(double x, double y, double z) {
        mpfr_set_d(r58042, x, MPFR_RNDN);
        mpfr_set_d(r58043, y, MPFR_RNDN);
        mpfr_set_d(r58044, z, MPFR_RNDN);
        mpfr_div(r58045, r58044, r58043, MPFR_RNDN);
        mpfr_div(r58046, r58043, r58045, MPFR_RNDN);
        mpfr_add(r58047, r58042, r58046, MPFR_RNDN);
        return mpfr_get_d(r58047, MPFR_RNDN);
}

static mpfr_t r58048, r58049, r58050, r58051, r58052, r58053;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r58048);
        mpfr_init(r58049);
        mpfr_init(r58050);
        mpfr_init(r58051);
        mpfr_init(r58052);
        mpfr_init(r58053);
}

double f_dm(double x, double y, double z) {
        mpfr_set_d(r58048, x, MPFR_RNDN);
        mpfr_set_d(r58049, y, MPFR_RNDN);
        mpfr_set_d(r58050, z, MPFR_RNDN);
        mpfr_div(r58051, r58050, r58049, MPFR_RNDN);
        mpfr_div(r58052, r58049, r58051, MPFR_RNDN);
        mpfr_add(r58053, r58048, r58052, MPFR_RNDN);
        return mpfr_get_d(r58053, MPFR_RNDN);
}