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

char *name = "NMSE problem 3.4.5";

double f_if(float x) {
        float r14915 = x;
        float r14916 = sin(r14915);
        float r14917 = r14915 - r14916;
        float r14918 = tan(r14915);
        float r14919 = r14915 - r14918;
        float r14920 = r14917 / r14919;
        return r14920;
}

double f_id(double x) {
        double r14921 = x;
        double r14922 = sin(r14921);
        double r14923 = r14921 - r14922;
        double r14924 = tan(r14921);
        double r14925 = r14921 - r14924;
        double r14926 = r14923 / r14925;
        return r14926;
}


double f_of(float x) {
        float r14927 = x;
        float r14928 = -8.61646249982272e-12f;
        bool r14929 = r14927 <= r14928;
        float r14930 = sin(r14927);
        float r14931 = r14927 - r14930;
        float r14932 = tan(r14927);
        float r14933 = r14927 - r14932;
        float r14934 = r14931 / r14933;
        float r14935 = expm1(r14934);
        float r14936 = log1p(r14935);
        float r14937 = 8.584780819621077f;
        bool r14938 = r14927 <= r14937;
        float r14939 = 0.225f;
        float r14940 = r14927 * r14927;
        float r14941 = r14939 * r14940;
        float r14942 = 0.009642857142857142f;
        float r14943 = 4.0f;
        float r14944 = pow(r14927, r14943);
        float r14945 = r14942 * r14944;
        float r14946 = 0.5f;
        float r14947 = r14945 + r14946;
        float r14948 = r14941 - r14947;
        float r14949 = r14927 / r14933;
        float r14950 = r14949 * (r14949 * r14949);
        float r14951 = r14930 / r14933;
        float r14952 = r14951 * (r14951 * r14951);
        float r14953 = r14950 - r14952;
        float r14954 = r14951 + r14949;
        float r14955 = r14951 * r14951;
        float r14956 = fma(r14949, r14954, r14955);
        float r14957 = r14953 / r14956;
        float r14958 = r14938 ? r14948 : r14957;
        float r14959 = r14929 ? r14936 : r14958;
        return r14959;
}

double f_od(double x) {
        double r14960 = x;
        double r14961 = -8.61646249982272e-12;
        bool r14962 = r14960 <= r14961;
        double r14963 = sin(r14960);
        double r14964 = r14960 - r14963;
        double r14965 = tan(r14960);
        double r14966 = r14960 - r14965;
        double r14967 = r14964 / r14966;
        double r14968 = expm1(r14967);
        double r14969 = log1p(r14968);
        double r14970 = 8.584780819621077;
        bool r14971 = r14960 <= r14970;
        double r14972 = 0.225;
        double r14973 = r14960 * r14960;
        double r14974 = r14972 * r14973;
        double r14975 = 0.009642857142857142;
        double r14976 = 4.0;
        double r14977 = pow(r14960, r14976);
        double r14978 = r14975 * r14977;
        double r14979 = 0.5;
        double r14980 = r14978 + r14979;
        double r14981 = r14974 - r14980;
        double r14982 = r14960 / r14966;
        double r14983 = r14982 * (r14982 * r14982);
        double r14984 = r14963 / r14966;
        double r14985 = r14984 * (r14984 * r14984);
        double r14986 = r14983 - r14985;
        double r14987 = r14984 + r14982;
        double r14988 = r14984 * r14984;
        double r14989 = fma(r14982, r14987, r14988);
        double r14990 = r14986 / r14989;
        double r14991 = r14971 ? r14981 : r14990;
        double r14992 = r14962 ? r14969 : r14991;
        return r14992;
}

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 r14993, r14994, r14995, r14996, r14997, r14998;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r14993);
        mpfr_init(r14994);
        mpfr_init(r14995);
        mpfr_init(r14996);
        mpfr_init(r14997);
        mpfr_init(r14998);
}

double f_im(double x) {
        mpfr_set_d(r14993, x, MPFR_RNDN);
        mpfr_sin(r14994, r14993, MPFR_RNDN);
        mpfr_sub(r14995, r14993, r14994, MPFR_RNDN);
        mpfr_tan(r14996, r14993, MPFR_RNDN);
        mpfr_sub(r14997, r14993, r14996, MPFR_RNDN);
        mpfr_div(r14998, r14995, r14997, MPFR_RNDN);
        return mpfr_get_d(r14998, MPFR_RNDN);
}

static mpfr_t r14999, r15000, r15001, r15002, r15003, r15004, r15005, r15006, r15007, r15008, r15009, r15010, r15011, r15012, r15013, r15014, r15015, r15016, r15017, r15018, r15019, r15020, r15021, r15022, r15023, r15024, r15025, r15026, r15027, r15028, r15029, r15030, r15031;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r14999);
        mpfr_init_set_str(r15000, "-8.61646249982272e-12", 10, MPFR_RNDN);
        mpfr_init(r15001);
        mpfr_init(r15002);
        mpfr_init(r15003);
        mpfr_init(r15004);
        mpfr_init(r15005);
        mpfr_init(r15006);
        mpfr_init(r15007);
        mpfr_init(r15008);
        mpfr_init_set_str(r15009, "8.584780819621077", 10, MPFR_RNDN);
        mpfr_init(r15010);
        mpfr_init_set_str(r15011, "9/40", 10, MPFR_RNDN);
        mpfr_init(r15012);
        mpfr_init(r15013);
        mpfr_init_set_str(r15014, "27/2800", 10, MPFR_RNDN);
        mpfr_init_set_str(r15015, "4", 10, MPFR_RNDN);
        mpfr_init(r15016);
        mpfr_init(r15017);
        mpfr_init_set_str(r15018, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15019);
        mpfr_init(r15020);
        mpfr_init(r15021);
        mpfr_init(r15022);
        mpfr_init(r15023);
        mpfr_init(r15024);
        mpfr_init(r15025);
        mpfr_init(r15026);
        mpfr_init(r15027);
        mpfr_init(r15028);
        mpfr_init(r15029);
        mpfr_init(r15030);
        mpfr_init(r15031);
}

double f_fm(double x) {
        mpfr_set_d(r14999, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15001, mpfr_cmp(r14999, r15000) <= 0, MPFR_RNDN);
        mpfr_sin(r15002, r14999, MPFR_RNDN);
        mpfr_sub(r15003, r14999, r15002, MPFR_RNDN);
        mpfr_tan(r15004, r14999, MPFR_RNDN);
        mpfr_sub(r15005, r14999, r15004, MPFR_RNDN);
        mpfr_div(r15006, r15003, r15005, MPFR_RNDN);
        mpfr_expm1(r15007, r15006, MPFR_RNDN);
        mpfr_log1p(r15008, r15007, MPFR_RNDN);
        ;
        mpfr_set_si(r15010, mpfr_cmp(r14999, r15009) <= 0, MPFR_RNDN);
        ;
        mpfr_sqr(r15012, r14999, MPFR_RNDN);
        mpfr_mul(r15013, r15011, r15012, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r15016, r14999, r15015, MPFR_RNDN);
        mpfr_mul(r15017, r15014, r15016, MPFR_RNDN);
        ;
        mpfr_add(r15019, r15017, r15018, MPFR_RNDN);
        mpfr_sub(r15020, r15013, r15019, MPFR_RNDN);
        mpfr_div(r15021, r14999, r15005, MPFR_RNDN);
        mpfr_mul(r15022, r15021, r15021, MPFR_RNDN); mpfr_mul(r15022, r15022, r15021, MPFR_RNDN);
        mpfr_div(r15023, r15002, r15005, MPFR_RNDN);
        mpfr_mul(r15024, r15023, r15023, MPFR_RNDN); mpfr_mul(r15024, r15024, r15023, MPFR_RNDN);
        mpfr_sub(r15025, r15022, r15024, MPFR_RNDN);
        mpfr_add(r15026, r15023, r15021, MPFR_RNDN);
        mpfr_sqr(r15027, r15023, MPFR_RNDN);
        mpfr_fma(r15028, r15021, r15026, r15027, MPFR_RNDN);
        mpfr_div(r15029, r15025, r15028, MPFR_RNDN);
        if (mpfr_get_si(r15010, MPFR_RNDN)) { mpfr_set(r15030, r15020, MPFR_RNDN); } else { mpfr_set(r15030, r15029, MPFR_RNDN); };
        if (mpfr_get_si(r15001, MPFR_RNDN)) { mpfr_set(r15031, r15008, MPFR_RNDN); } else { mpfr_set(r15031, r15030, MPFR_RNDN); };
        return mpfr_get_d(r15031, MPFR_RNDN);
}

static mpfr_t r15032, r15033, r15034, r15035, r15036, r15037, r15038, r15039, r15040, r15041, r15042, r15043, r15044, r15045, r15046, r15047, r15048, r15049, r15050, r15051, r15052, r15053, r15054, r15055, r15056, r15057, r15058, r15059, r15060, r15061, r15062, r15063, r15064;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15032);
        mpfr_init_set_str(r15033, "-8.61646249982272e-12", 10, MPFR_RNDN);
        mpfr_init(r15034);
        mpfr_init(r15035);
        mpfr_init(r15036);
        mpfr_init(r15037);
        mpfr_init(r15038);
        mpfr_init(r15039);
        mpfr_init(r15040);
        mpfr_init(r15041);
        mpfr_init_set_str(r15042, "8.584780819621077", 10, MPFR_RNDN);
        mpfr_init(r15043);
        mpfr_init_set_str(r15044, "9/40", 10, MPFR_RNDN);
        mpfr_init(r15045);
        mpfr_init(r15046);
        mpfr_init_set_str(r15047, "27/2800", 10, MPFR_RNDN);
        mpfr_init_set_str(r15048, "4", 10, MPFR_RNDN);
        mpfr_init(r15049);
        mpfr_init(r15050);
        mpfr_init_set_str(r15051, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15052);
        mpfr_init(r15053);
        mpfr_init(r15054);
        mpfr_init(r15055);
        mpfr_init(r15056);
        mpfr_init(r15057);
        mpfr_init(r15058);
        mpfr_init(r15059);
        mpfr_init(r15060);
        mpfr_init(r15061);
        mpfr_init(r15062);
        mpfr_init(r15063);
        mpfr_init(r15064);
}

double f_dm(double x) {
        mpfr_set_d(r15032, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15034, mpfr_cmp(r15032, r15033) <= 0, MPFR_RNDN);
        mpfr_sin(r15035, r15032, MPFR_RNDN);
        mpfr_sub(r15036, r15032, r15035, MPFR_RNDN);
        mpfr_tan(r15037, r15032, MPFR_RNDN);
        mpfr_sub(r15038, r15032, r15037, MPFR_RNDN);
        mpfr_div(r15039, r15036, r15038, MPFR_RNDN);
        mpfr_expm1(r15040, r15039, MPFR_RNDN);
        mpfr_log1p(r15041, r15040, MPFR_RNDN);
        ;
        mpfr_set_si(r15043, mpfr_cmp(r15032, r15042) <= 0, MPFR_RNDN);
        ;
        mpfr_sqr(r15045, r15032, MPFR_RNDN);
        mpfr_mul(r15046, r15044, r15045, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r15049, r15032, r15048, MPFR_RNDN);
        mpfr_mul(r15050, r15047, r15049, MPFR_RNDN);
        ;
        mpfr_add(r15052, r15050, r15051, MPFR_RNDN);
        mpfr_sub(r15053, r15046, r15052, MPFR_RNDN);
        mpfr_div(r15054, r15032, r15038, MPFR_RNDN);
        mpfr_mul(r15055, r15054, r15054, MPFR_RNDN); mpfr_mul(r15055, r15055, r15054, MPFR_RNDN);
        mpfr_div(r15056, r15035, r15038, MPFR_RNDN);
        mpfr_mul(r15057, r15056, r15056, MPFR_RNDN); mpfr_mul(r15057, r15057, r15056, MPFR_RNDN);
        mpfr_sub(r15058, r15055, r15057, MPFR_RNDN);
        mpfr_add(r15059, r15056, r15054, MPFR_RNDN);
        mpfr_sqr(r15060, r15056, MPFR_RNDN);
        mpfr_fma(r15061, r15054, r15059, r15060, MPFR_RNDN);
        mpfr_div(r15062, r15058, r15061, MPFR_RNDN);
        if (mpfr_get_si(r15043, MPFR_RNDN)) { mpfr_set(r15063, r15053, MPFR_RNDN); } else { mpfr_set(r15063, r15062, MPFR_RNDN); };
        if (mpfr_get_si(r15034, MPFR_RNDN)) { mpfr_set(r15064, r15041, MPFR_RNDN); } else { mpfr_set(r15064, r15063, MPFR_RNDN); };
        return mpfr_get_d(r15064, MPFR_RNDN);
}