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

char *name = "Exp of sum of logs";

double f_if(float a, float b) {
        float r21955 = a;
        float r21956 = log(r21955);
        float r21957 = b;
        float r21958 = log(r21957);
        float r21959 = r21956 + r21958;
        float r21960 = exp(r21959);
        return r21960;
}

double f_id(double a, double b) {
        double r21961 = a;
        double r21962 = log(r21961);
        double r21963 = b;
        double r21964 = log(r21963);
        double r21965 = r21962 + r21964;
        double r21966 = exp(r21965);
        return r21966;
}


double f_of(float a, float b) {
        float r21967 = a;
        float r21968 = b;
        float r21969 = r21967 * r21968;
        return r21969;
}

double f_od(double a, double b) {
        double r21970 = a;
        double r21971 = b;
        double r21972 = r21970 * r21971;
        return r21972;
}

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 r21973, r21974, r21975, r21976, r21977, r21978;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r21973);
        mpfr_init(r21974);
        mpfr_init(r21975);
        mpfr_init(r21976);
        mpfr_init(r21977);
        mpfr_init(r21978);
}

double f_im(double a, double b) {
        mpfr_set_d(r21973, a, MPFR_RNDN);
        mpfr_log(r21974, r21973, MPFR_RNDN);
        mpfr_set_d(r21975, b, MPFR_RNDN);
        mpfr_log(r21976, r21975, MPFR_RNDN);
        mpfr_add(r21977, r21974, r21976, MPFR_RNDN);
        mpfr_exp(r21978, r21977, MPFR_RNDN);
        return mpfr_get_d(r21978, MPFR_RNDN);
}

static mpfr_t r21979, r21980, r21981;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21979);
        mpfr_init(r21980);
        mpfr_init(r21981);
}

double f_fm(double a, double b) {
        mpfr_set_d(r21979, a, MPFR_RNDN);
        mpfr_set_d(r21980, b, MPFR_RNDN);
        mpfr_mul(r21981, r21979, r21980, MPFR_RNDN);
        return mpfr_get_d(r21981, MPFR_RNDN);
}

static mpfr_t r21982, r21983, r21984;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21982);
        mpfr_init(r21983);
        mpfr_init(r21984);
}

double f_dm(double a, double b) {
        mpfr_set_d(r21982, a, MPFR_RNDN);
        mpfr_set_d(r21983, b, MPFR_RNDN);
        mpfr_mul(r21984, r21982, r21983, MPFR_RNDN);
        return mpfr_get_d(r21984, MPFR_RNDN);
}