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

char *name = "Quotient of sum of exps";

double f_if(float a, float b) {
        float r27251 = a;
        float r27252 = exp(r27251);
        float r27253 = b;
        float r27254 = exp(r27253);
        float r27255 = r27252 + r27254;
        float r27256 = r27252 / r27255;
        return r27256;
}

double f_id(double a, double b) {
        double r27257 = a;
        double r27258 = exp(r27257);
        double r27259 = b;
        double r27260 = exp(r27259);
        double r27261 = r27258 + r27260;
        double r27262 = r27258 / r27261;
        return r27262;
}


double f_of(float a, float b) {
        float r27263 = a;
        float r27264 = exp(r27263);
        float r27265 = b;
        float r27266 = exp(r27265);
        float r27267 = r27264 + r27266;
        float r27268 = log(r27267);
        float r27269 = r27263 - r27268;
        float r27270 = exp(r27269);
        return r27270;
}

double f_od(double a, double b) {
        double r27271 = a;
        double r27272 = exp(r27271);
        double r27273 = b;
        double r27274 = exp(r27273);
        double r27275 = r27272 + r27274;
        double r27276 = log(r27275);
        double r27277 = r27271 - r27276;
        double r27278 = exp(r27277);
        return r27278;
}

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 r27279, r27280, r27281, r27282, r27283, r27284;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r27279);
        mpfr_init(r27280);
        mpfr_init(r27281);
        mpfr_init(r27282);
        mpfr_init(r27283);
        mpfr_init(r27284);
}

double f_im(double a, double b) {
        mpfr_set_d(r27279, a, MPFR_RNDN);
        mpfr_exp(r27280, r27279, MPFR_RNDN);
        mpfr_set_d(r27281, b, MPFR_RNDN);
        mpfr_exp(r27282, r27281, MPFR_RNDN);
        mpfr_add(r27283, r27280, r27282, MPFR_RNDN);
        mpfr_div(r27284, r27280, r27283, MPFR_RNDN);
        return mpfr_get_d(r27284, MPFR_RNDN);
}

static mpfr_t r27285, r27286, r27287, r27288, r27289, r27290, r27291, r27292;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27285);
        mpfr_init(r27286);
        mpfr_init(r27287);
        mpfr_init(r27288);
        mpfr_init(r27289);
        mpfr_init(r27290);
        mpfr_init(r27291);
        mpfr_init(r27292);
}

double f_fm(double a, double b) {
        mpfr_set_d(r27285, a, MPFR_RNDN);
        mpfr_exp(r27286, r27285, MPFR_RNDN);
        mpfr_set_d(r27287, b, MPFR_RNDN);
        mpfr_exp(r27288, r27287, MPFR_RNDN);
        mpfr_add(r27289, r27286, r27288, MPFR_RNDN);
        mpfr_log(r27290, r27289, MPFR_RNDN);
        mpfr_sub(r27291, r27285, r27290, MPFR_RNDN);
        mpfr_exp(r27292, r27291, MPFR_RNDN);
        return mpfr_get_d(r27292, MPFR_RNDN);
}

static mpfr_t r27293, r27294, r27295, r27296, r27297, r27298, r27299, r27300;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r27293);
        mpfr_init(r27294);
        mpfr_init(r27295);
        mpfr_init(r27296);
        mpfr_init(r27297);
        mpfr_init(r27298);
        mpfr_init(r27299);
        mpfr_init(r27300);
}

double f_dm(double a, double b) {
        mpfr_set_d(r27293, a, MPFR_RNDN);
        mpfr_exp(r27294, r27293, MPFR_RNDN);
        mpfr_set_d(r27295, b, MPFR_RNDN);
        mpfr_exp(r27296, r27295, MPFR_RNDN);
        mpfr_add(r27297, r27294, r27296, MPFR_RNDN);
        mpfr_log(r27298, r27297, MPFR_RNDN);
        mpfr_sub(r27299, r27293, r27298, MPFR_RNDN);
        mpfr_exp(r27300, r27299, MPFR_RNDN);
        return mpfr_get_d(r27300, MPFR_RNDN);
}