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

char *name = "expq3 (problem 3.4.2)";

double f_if(float a, float b, float eps) {
        float r20068 = eps;
        float r20069 = a;
        float r20070 = b;
        float r20071 = r20069 + r20070;
        float r20072 = r20071 * r20068;
        float r20073 = exp(r20072);
        float r20074 = 1.0f;
        float r20075 = r20073 - r20074;
        float r20076 = r20068 * r20075;
        float r20077 = r20069 * r20068;
        float r20078 = exp(r20077);
        float r20079 = r20078 - r20074;
        float r20080 = r20070 * r20068;
        float r20081 = exp(r20080);
        float r20082 = r20081 - r20074;
        float r20083 = r20079 * r20082;
        float r20084 = r20076 / r20083;
        return r20084;
}

double f_id(double a, double b, double eps) {
        double r20085 = eps;
        double r20086 = a;
        double r20087 = b;
        double r20088 = r20086 + r20087;
        double r20089 = r20088 * r20085;
        double r20090 = exp(r20089);
        double r20091 = 1.0;
        double r20092 = r20090 - r20091;
        double r20093 = r20085 * r20092;
        double r20094 = r20086 * r20085;
        double r20095 = exp(r20094);
        double r20096 = r20095 - r20091;
        double r20097 = r20087 * r20085;
        double r20098 = exp(r20097);
        double r20099 = r20098 - r20091;
        double r20100 = r20096 * r20099;
        double r20101 = r20093 / r20100;
        return r20101;
}


double f_of(float a, float b, float __attribute__((unused)) eps) {
        float r20102 = 1.0f;
        float r20103 = b;
        float r20104 = r20102 / r20103;
        float r20105 = a;
        float r20106 = r20102 / r20105;
        float r20107 = r20104 + r20106;
        return r20107;
}

double f_od(double a, double b, double __attribute__((unused)) eps) {
        double r20108 = 1.0;
        double r20109 = b;
        double r20110 = r20108 / r20109;
        double r20111 = a;
        double r20112 = r20108 / r20111;
        double r20113 = r20110 + r20112;
        return r20113;
}

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 r20114, r20115, r20116, r20117, r20118, r20119, r20120, r20121, r20122, r20123, r20124, r20125, r20126, r20127, r20128, r20129, r20130;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init(r20114);
        mpfr_init(r20115);
        mpfr_init(r20116);
        mpfr_init(r20117);
        mpfr_init(r20118);
        mpfr_init(r20119);
        mpfr_init_set_str(r20120, "1", 10, MPFR_RNDN);
        mpfr_init(r20121);
        mpfr_init(r20122);
        mpfr_init(r20123);
        mpfr_init(r20124);
        mpfr_init(r20125);
        mpfr_init(r20126);
        mpfr_init(r20127);
        mpfr_init(r20128);
        mpfr_init(r20129);
        mpfr_init(r20130);
}

double f_im(double a, double b, double eps) {
        mpfr_set_d(r20114, eps, MPFR_RNDN);
        mpfr_set_d(r20115, a, MPFR_RNDN);
        mpfr_set_d(r20116, b, MPFR_RNDN);
        mpfr_add(r20117, r20115, r20116, MPFR_RNDN);
        mpfr_mul(r20118, r20117, r20114, MPFR_RNDN);
        mpfr_exp(r20119, r20118, MPFR_RNDN);
        ;
        mpfr_sub(r20121, r20119, r20120, MPFR_RNDN);
        mpfr_mul(r20122, r20114, r20121, MPFR_RNDN);
        mpfr_mul(r20123, r20115, r20114, MPFR_RNDN);
        mpfr_exp(r20124, r20123, MPFR_RNDN);
        mpfr_sub(r20125, r20124, r20120, MPFR_RNDN);
        mpfr_mul(r20126, r20116, r20114, MPFR_RNDN);
        mpfr_exp(r20127, r20126, MPFR_RNDN);
        mpfr_sub(r20128, r20127, r20120, MPFR_RNDN);
        mpfr_mul(r20129, r20125, r20128, MPFR_RNDN);
        mpfr_div(r20130, r20122, r20129, MPFR_RNDN);
        return mpfr_get_d(r20130, MPFR_RNDN);
}

static mpfr_t r20131, r20132, r20133, r20134, r20135, r20136;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r20131, "1", 10, MPFR_RNDN);
        mpfr_init(r20132);
        mpfr_init(r20133);
        mpfr_init(r20134);
        mpfr_init(r20135);
        mpfr_init(r20136);
}

double f_fm(double a, double b, double __attribute__((unused)) eps) {
        ;
        mpfr_set_d(r20132, b, MPFR_RNDN);
        mpfr_div(r20133, r20131, r20132, MPFR_RNDN);
        mpfr_set_d(r20134, a, MPFR_RNDN);
        mpfr_div(r20135, r20131, r20134, MPFR_RNDN);
        mpfr_add(r20136, r20133, r20135, MPFR_RNDN);
        return mpfr_get_d(r20136, MPFR_RNDN);
}

static mpfr_t r20137, r20138, r20139, r20140, r20141, r20142;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r20137, "1", 10, MPFR_RNDN);
        mpfr_init(r20138);
        mpfr_init(r20139);
        mpfr_init(r20140);
        mpfr_init(r20141);
        mpfr_init(r20142);
}

double f_dm(double a, double b, double __attribute__((unused)) eps) {
        ;
        mpfr_set_d(r20138, b, MPFR_RNDN);
        mpfr_div(r20139, r20137, r20138, MPFR_RNDN);
        mpfr_set_d(r20140, a, MPFR_RNDN);
        mpfr_div(r20141, r20137, r20140, MPFR_RNDN);
        mpfr_add(r20142, r20139, r20141, MPFR_RNDN);
        return mpfr_get_d(r20142, MPFR_RNDN);
}