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

char *name = "NMSE problem 3.4.2";

double f_if(float a, float b, float eps) {
        float r26756 = eps;
        float r26757 = a;
        float r26758 = b;
        float r26759 = r26757 + r26758;
        float r26760 = r26759 * r26756;
        float r26761 = exp(r26760);
        float r26762 = 1;
        float r26763 = r26761 - r26762;
        float r26764 = r26756 * r26763;
        float r26765 = r26757 * r26756;
        float r26766 = exp(r26765);
        float r26767 = r26766 - r26762;
        float r26768 = r26758 * r26756;
        float r26769 = exp(r26768);
        float r26770 = r26769 - r26762;
        float r26771 = r26767 * r26770;
        float r26772 = r26764 / r26771;
        return r26772;
}

double f_id(double a, double b, double eps) {
        double r26773 = eps;
        double r26774 = a;
        double r26775 = b;
        double r26776 = r26774 + r26775;
        double r26777 = r26776 * r26773;
        double r26778 = exp(r26777);
        double r26779 = 1;
        double r26780 = r26778 - r26779;
        double r26781 = r26773 * r26780;
        double r26782 = r26774 * r26773;
        double r26783 = exp(r26782);
        double r26784 = r26783 - r26779;
        double r26785 = r26775 * r26773;
        double r26786 = exp(r26785);
        double r26787 = r26786 - r26779;
        double r26788 = r26784 * r26787;
        double r26789 = r26781 / r26788;
        return r26789;
}


double f_of(float a, float b, float eps) {
        float r26790 = eps;
        float r26791 = a;
        float r26792 = b;
        float r26793 = r26791 + r26792;
        float r26794 = r26793 * r26790;
        float r26795 = exp(r26794);
        float r26796 = 1;
        float r26797 = r26795 - r26796;
        float r26798 = r26790 * r26797;
        float r26799 = r26791 * r26790;
        float r26800 = exp(r26799);
        float r26801 = r26800 - r26796;
        float r26802 = r26792 * r26790;
        float r26803 = exp(r26802);
        float r26804 = r26803 - r26796;
        float r26805 = r26801 * r26804;
        float r26806 = r26798 / r26805;
        float r26807 = -1.2550305906854398e-238;
        bool r26808 = r26806 <= r26807;
        float r26809 = r26796 / r26792;
        float r26810 = r26796 / r26791;
        float r26811 = r26809 + r26810;
        float r26812 = 2.723785116845133e-91;
        bool r26813 = r26806 <= r26812;
        float r26814 = r26813 ? r26811 : r26811;
        float r26815 = r26808 ? r26811 : r26814;
        return r26815;
}

double f_od(double a, double b, double eps) {
        double r26816 = eps;
        double r26817 = a;
        double r26818 = b;
        double r26819 = r26817 + r26818;
        double r26820 = r26819 * r26816;
        double r26821 = exp(r26820);
        double r26822 = 1;
        double r26823 = r26821 - r26822;
        double r26824 = r26816 * r26823;
        double r26825 = r26817 * r26816;
        double r26826 = exp(r26825);
        double r26827 = r26826 - r26822;
        double r26828 = r26818 * r26816;
        double r26829 = exp(r26828);
        double r26830 = r26829 - r26822;
        double r26831 = r26827 * r26830;
        double r26832 = r26824 / r26831;
        double r26833 = -1.2550305906854398e-238;
        bool r26834 = r26832 <= r26833;
        double r26835 = r26822 / r26818;
        double r26836 = r26822 / r26817;
        double r26837 = r26835 + r26836;
        double r26838 = 2.723785116845133e-91;
        bool r26839 = r26832 <= r26838;
        double r26840 = r26839 ? r26837 : r26837;
        double r26841 = r26834 ? r26837 : r26840;
        return r26841;
}

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 r26842, r26843, r26844, r26845, r26846, r26847, r26848, r26849, r26850, r26851, r26852, r26853, r26854, r26855, r26856, r26857, r26858;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init(r26842);
        mpfr_init(r26843);
        mpfr_init(r26844);
        mpfr_init(r26845);
        mpfr_init(r26846);
        mpfr_init(r26847);
        mpfr_init_set_str(r26848, "1", 10, MPFR_RNDN);
        mpfr_init(r26849);
        mpfr_init(r26850);
        mpfr_init(r26851);
        mpfr_init(r26852);
        mpfr_init(r26853);
        mpfr_init(r26854);
        mpfr_init(r26855);
        mpfr_init(r26856);
        mpfr_init(r26857);
        mpfr_init(r26858);
}

double f_im(double a, double b, double eps) {
        mpfr_set_d(r26842, eps, MPFR_RNDN);
        mpfr_set_d(r26843, a, MPFR_RNDN);
        mpfr_set_d(r26844, b, MPFR_RNDN);
        mpfr_add(r26845, r26843, r26844, MPFR_RNDN);
        mpfr_mul(r26846, r26845, r26842, MPFR_RNDN);
        mpfr_exp(r26847, r26846, MPFR_RNDN);
        ;
        mpfr_sub(r26849, r26847, r26848, MPFR_RNDN);
        mpfr_mul(r26850, r26842, r26849, MPFR_RNDN);
        mpfr_mul(r26851, r26843, r26842, MPFR_RNDN);
        mpfr_exp(r26852, r26851, MPFR_RNDN);
        mpfr_sub(r26853, r26852, r26848, MPFR_RNDN);
        mpfr_mul(r26854, r26844, r26842, MPFR_RNDN);
        mpfr_exp(r26855, r26854, MPFR_RNDN);
        mpfr_sub(r26856, r26855, r26848, MPFR_RNDN);
        mpfr_mul(r26857, r26853, r26856, MPFR_RNDN);
        mpfr_div(r26858, r26850, r26857, MPFR_RNDN);
        return mpfr_get_d(r26858, MPFR_RNDN);
}

static mpfr_t r26859, r26860, r26861, r26862, r26863, r26864, r26865, r26866, r26867, r26868, r26869, r26870, r26871, r26872, r26873, r26874, r26875, r26876, r26877, r26878, r26879, r26880, r26881, r26882, r26883, r26884;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r26859);
        mpfr_init(r26860);
        mpfr_init(r26861);
        mpfr_init(r26862);
        mpfr_init(r26863);
        mpfr_init(r26864);
        mpfr_init_set_str(r26865, "1", 10, MPFR_RNDN);
        mpfr_init(r26866);
        mpfr_init(r26867);
        mpfr_init(r26868);
        mpfr_init(r26869);
        mpfr_init(r26870);
        mpfr_init(r26871);
        mpfr_init(r26872);
        mpfr_init(r26873);
        mpfr_init(r26874);
        mpfr_init(r26875);
        mpfr_init_set_str(r26876, "-1.2550305906854398e-238", 10, MPFR_RNDN);
        mpfr_init(r26877);
        mpfr_init(r26878);
        mpfr_init(r26879);
        mpfr_init(r26880);
        mpfr_init_set_str(r26881, "2.723785116845133e-91", 10, MPFR_RNDN);
        mpfr_init(r26882);
        mpfr_init(r26883);
        mpfr_init(r26884);
}

double f_fm(double a, double b, double eps) {
        mpfr_set_d(r26859, eps, MPFR_RNDN);
        mpfr_set_d(r26860, a, MPFR_RNDN);
        mpfr_set_d(r26861, b, MPFR_RNDN);
        mpfr_add(r26862, r26860, r26861, MPFR_RNDN);
        mpfr_mul(r26863, r26862, r26859, MPFR_RNDN);
        mpfr_exp(r26864, r26863, MPFR_RNDN);
        ;
        mpfr_sub(r26866, r26864, r26865, MPFR_RNDN);
        mpfr_mul(r26867, r26859, r26866, MPFR_RNDN);
        mpfr_mul(r26868, r26860, r26859, MPFR_RNDN);
        mpfr_exp(r26869, r26868, MPFR_RNDN);
        mpfr_sub(r26870, r26869, r26865, MPFR_RNDN);
        mpfr_mul(r26871, r26861, r26859, MPFR_RNDN);
        mpfr_exp(r26872, r26871, MPFR_RNDN);
        mpfr_sub(r26873, r26872, r26865, MPFR_RNDN);
        mpfr_mul(r26874, r26870, r26873, MPFR_RNDN);
        mpfr_div(r26875, r26867, r26874, MPFR_RNDN);
        ;
        mpfr_set_si(r26877, mpfr_cmp(r26875, r26876) <= 0, MPFR_RNDN);
        mpfr_div(r26878, r26865, r26861, MPFR_RNDN);
        mpfr_div(r26879, r26865, r26860, MPFR_RNDN);
        mpfr_add(r26880, r26878, r26879, MPFR_RNDN);
        ;
        mpfr_set_si(r26882, mpfr_cmp(r26875, r26881) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r26882, MPFR_RNDN)) { mpfr_set(r26883, r26880, MPFR_RNDN); } else { mpfr_set(r26883, r26880, MPFR_RNDN); };
        if (mpfr_get_si(r26877, MPFR_RNDN)) { mpfr_set(r26884, r26880, MPFR_RNDN); } else { mpfr_set(r26884, r26883, MPFR_RNDN); };
        return mpfr_get_d(r26884, MPFR_RNDN);
}

static mpfr_t r26885, r26886, r26887, r26888, r26889, r26890, r26891, r26892, r26893, r26894, r26895, r26896, r26897, r26898, r26899, r26900, r26901, r26902, r26903, r26904, r26905, r26906, r26907, r26908, r26909, r26910;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r26885);
        mpfr_init(r26886);
        mpfr_init(r26887);
        mpfr_init(r26888);
        mpfr_init(r26889);
        mpfr_init(r26890);
        mpfr_init_set_str(r26891, "1", 10, MPFR_RNDN);
        mpfr_init(r26892);
        mpfr_init(r26893);
        mpfr_init(r26894);
        mpfr_init(r26895);
        mpfr_init(r26896);
        mpfr_init(r26897);
        mpfr_init(r26898);
        mpfr_init(r26899);
        mpfr_init(r26900);
        mpfr_init(r26901);
        mpfr_init_set_str(r26902, "-1.2550305906854398e-238", 10, MPFR_RNDN);
        mpfr_init(r26903);
        mpfr_init(r26904);
        mpfr_init(r26905);
        mpfr_init(r26906);
        mpfr_init_set_str(r26907, "2.723785116845133e-91", 10, MPFR_RNDN);
        mpfr_init(r26908);
        mpfr_init(r26909);
        mpfr_init(r26910);
}

double f_dm(double a, double b, double eps) {
        mpfr_set_d(r26885, eps, MPFR_RNDN);
        mpfr_set_d(r26886, a, MPFR_RNDN);
        mpfr_set_d(r26887, b, MPFR_RNDN);
        mpfr_add(r26888, r26886, r26887, MPFR_RNDN);
        mpfr_mul(r26889, r26888, r26885, MPFR_RNDN);
        mpfr_exp(r26890, r26889, MPFR_RNDN);
        ;
        mpfr_sub(r26892, r26890, r26891, MPFR_RNDN);
        mpfr_mul(r26893, r26885, r26892, MPFR_RNDN);
        mpfr_mul(r26894, r26886, r26885, MPFR_RNDN);
        mpfr_exp(r26895, r26894, MPFR_RNDN);
        mpfr_sub(r26896, r26895, r26891, MPFR_RNDN);
        mpfr_mul(r26897, r26887, r26885, MPFR_RNDN);
        mpfr_exp(r26898, r26897, MPFR_RNDN);
        mpfr_sub(r26899, r26898, r26891, MPFR_RNDN);
        mpfr_mul(r26900, r26896, r26899, MPFR_RNDN);
        mpfr_div(r26901, r26893, r26900, MPFR_RNDN);
        ;
        mpfr_set_si(r26903, mpfr_cmp(r26901, r26902) <= 0, MPFR_RNDN);
        mpfr_div(r26904, r26891, r26887, MPFR_RNDN);
        mpfr_div(r26905, r26891, r26886, MPFR_RNDN);
        mpfr_add(r26906, r26904, r26905, MPFR_RNDN);
        ;
        mpfr_set_si(r26908, mpfr_cmp(r26901, r26907) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r26908, MPFR_RNDN)) { mpfr_set(r26909, r26906, MPFR_RNDN); } else { mpfr_set(r26909, r26906, MPFR_RNDN); };
        if (mpfr_get_si(r26903, MPFR_RNDN)) { mpfr_set(r26910, r26906, MPFR_RNDN); } else { mpfr_set(r26910, r26909, MPFR_RNDN); };
        return mpfr_get_d(r26910, MPFR_RNDN);
}