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

char *name = "NMSE problem 3.4.1";

double f_if(float x) {
        float r14975 = 1.0f;
        float r14976 = x;
        float r14977 = cos(r14976);
        float r14978 = r14975 - r14977;
        float r14979 = r14976 * r14976;
        float r14980 = r14978 / r14979;
        return r14980;
}

double f_id(double x) {
        double r14981 = 1.0;
        double r14982 = x;
        double r14983 = cos(r14982);
        double r14984 = r14981 - r14983;
        double r14985 = r14982 * r14982;
        double r14986 = r14984 / r14985;
        return r14986;
}


double f_of(float x) {
        float r14987 = x;
        float r14988 = -0.2356608510017395f;
        bool r14989 = r14987 <= r14988;
        float r14990 = 1.0f;
        float r14991 = r14990 / r14987;
        float r14992 = cos(r14987);
        float r14993 = r14990 - r14992;
        float r14994 = r14993 / r14987;
        float r14995 = r14991 * r14994;
        float r14996 = 0.5589792728424072f;
        bool r14997 = r14987 <= r14996;
        float r14998 = 0.0013888889225199819f;
        float r14999 = 4.0f;
        float r15000 = pow(r14987, r14999);
        float r15001 = r14998 * r15000;
        float r15002 = 0.5f;
        float r15003 = r15001 + r15002;
        float r15004 = 0.0416666679084301f;
        float r15005 = r14987 * r14987;
        float r15006 = r15004 * r15005;
        float r15007 = r15003 - r15006;
        float r15008 = sin(r14987);
        float r15009 = r15008 * r15008;
        float r15010 = r14990 + r14992;
        float r15011 = r15009 / r15010;
        float r15012 = sqrt(r15011);
        float r15013 = r15012 / r14987;
        float r15014 = r15013 * r15013;
        float r15015 = r14997 ? r15007 : r15014;
        float r15016 = r14989 ? r14995 : r15015;
        return r15016;
}

double f_od(double x) {
        double r15017 = x;
        double r15018 = -0.2356608510017395;
        bool r15019 = r15017 <= r15018;
        double r15020 = 1.0;
        double r15021 = r15020 / r15017;
        double r15022 = cos(r15017);
        double r15023 = r15020 - r15022;
        double r15024 = r15023 / r15017;
        double r15025 = r15021 * r15024;
        double r15026 = 0.5589792728424072;
        bool r15027 = r15017 <= r15026;
        double r15028 = 0.0013888889225199819;
        double r15029 = 4.0;
        double r15030 = pow(r15017, r15029);
        double r15031 = r15028 * r15030;
        double r15032 = 0.5;
        double r15033 = r15031 + r15032;
        double r15034 = 0.0416666679084301;
        double r15035 = r15017 * r15017;
        double r15036 = r15034 * r15035;
        double r15037 = r15033 - r15036;
        double r15038 = sin(r15017);
        double r15039 = r15038 * r15038;
        double r15040 = r15020 + r15022;
        double r15041 = r15039 / r15040;
        double r15042 = sqrt(r15041);
        double r15043 = r15042 / r15017;
        double r15044 = r15043 * r15043;
        double r15045 = r15027 ? r15037 : r15044;
        double r15046 = r15019 ? r15025 : r15045;
        return r15046;
}

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 r15047, r15048, r15049, r15050, r15051, r15052;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r15047, "1", 10, MPFR_RNDN);
        mpfr_init(r15048);
        mpfr_init(r15049);
        mpfr_init(r15050);
        mpfr_init(r15051);
        mpfr_init(r15052);
}

double f_im(double x) {
        ;
        mpfr_set_d(r15048, x, MPFR_RNDN);
        mpfr_cos(r15049, r15048, MPFR_RNDN);
        mpfr_sub(r15050, r15047, r15049, MPFR_RNDN);
        mpfr_sqr(r15051, r15048, MPFR_RNDN);
        mpfr_div(r15052, r15050, r15051, MPFR_RNDN);
        return mpfr_get_d(r15052, MPFR_RNDN);
}

static mpfr_t r15053, r15054, r15055, r15056, r15057, r15058, r15059, r15060, r15061, r15062, r15063, r15064, r15065, r15066, r15067, r15068, r15069, r15070, r15071, r15072, r15073, r15074, r15075, r15076, r15077, r15078, r15079, r15080, r15081, r15082;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15053);
        mpfr_init_set_str(r15054, "-0.23566085f0", 10, MPFR_RNDN);
        mpfr_init(r15055);
        mpfr_init_set_str(r15056, "1", 10, MPFR_RNDN);
        mpfr_init(r15057);
        mpfr_init(r15058);
        mpfr_init(r15059);
        mpfr_init(r15060);
        mpfr_init(r15061);
        mpfr_init_set_str(r15062, "0.5589793f0", 10, MPFR_RNDN);
        mpfr_init(r15063);
        mpfr_init_set_str(r15064, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r15065, "4", 10, MPFR_RNDN);
        mpfr_init(r15066);
        mpfr_init(r15067);
        mpfr_init_set_str(r15068, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15069);
        mpfr_init_set_str(r15070, "1/24", 10, MPFR_RNDN);
        mpfr_init(r15071);
        mpfr_init(r15072);
        mpfr_init(r15073);
        mpfr_init(r15074);
        mpfr_init(r15075);
        mpfr_init(r15076);
        mpfr_init(r15077);
        mpfr_init(r15078);
        mpfr_init(r15079);
        mpfr_init(r15080);
        mpfr_init(r15081);
        mpfr_init(r15082);
}

double f_fm(double x) {
        mpfr_set_d(r15053, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15055, mpfr_cmp(r15053, r15054) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r15057, r15056, r15053, MPFR_RNDN);
        mpfr_cos(r15058, r15053, MPFR_RNDN);
        mpfr_sub(r15059, r15056, r15058, MPFR_RNDN);
        mpfr_div(r15060, r15059, r15053, MPFR_RNDN);
        mpfr_mul(r15061, r15057, r15060, MPFR_RNDN);
        ;
        mpfr_set_si(r15063, mpfr_cmp(r15053, r15062) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r15066, r15053, r15065, MPFR_RNDN);
        mpfr_mul(r15067, r15064, r15066, MPFR_RNDN);
        ;
        mpfr_add(r15069, r15067, r15068, MPFR_RNDN);
        ;
        mpfr_sqr(r15071, r15053, MPFR_RNDN);
        mpfr_mul(r15072, r15070, r15071, MPFR_RNDN);
        mpfr_sub(r15073, r15069, r15072, MPFR_RNDN);
        mpfr_sin(r15074, r15053, MPFR_RNDN);
        mpfr_sqr(r15075, r15074, MPFR_RNDN);
        mpfr_add(r15076, r15056, r15058, MPFR_RNDN);
        mpfr_div(r15077, r15075, r15076, MPFR_RNDN);
        mpfr_sqrt(r15078, r15077, MPFR_RNDN);
        mpfr_div(r15079, r15078, r15053, MPFR_RNDN);
        mpfr_sqr(r15080, r15079, MPFR_RNDN);
        if (mpfr_get_si(r15063, MPFR_RNDN)) { mpfr_set(r15081, r15073, MPFR_RNDN); } else { mpfr_set(r15081, r15080, MPFR_RNDN); };
        if (mpfr_get_si(r15055, MPFR_RNDN)) { mpfr_set(r15082, r15061, MPFR_RNDN); } else { mpfr_set(r15082, r15081, MPFR_RNDN); };
        return mpfr_get_d(r15082, MPFR_RNDN);
}

static mpfr_t r15083, r15084, r15085, r15086, r15087, r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096, r15097, r15098, r15099, r15100, r15101, r15102, r15103, r15104, r15105, r15106, r15107, r15108, r15109, r15110, r15111, r15112;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15083);
        mpfr_init_set_str(r15084, "-0.23566085f0", 10, MPFR_RNDN);
        mpfr_init(r15085);
        mpfr_init_set_str(r15086, "1", 10, MPFR_RNDN);
        mpfr_init(r15087);
        mpfr_init(r15088);
        mpfr_init(r15089);
        mpfr_init(r15090);
        mpfr_init(r15091);
        mpfr_init_set_str(r15092, "0.5589793f0", 10, MPFR_RNDN);
        mpfr_init(r15093);
        mpfr_init_set_str(r15094, "1/720", 10, MPFR_RNDN);
        mpfr_init_set_str(r15095, "4", 10, MPFR_RNDN);
        mpfr_init(r15096);
        mpfr_init(r15097);
        mpfr_init_set_str(r15098, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15099);
        mpfr_init_set_str(r15100, "1/24", 10, MPFR_RNDN);
        mpfr_init(r15101);
        mpfr_init(r15102);
        mpfr_init(r15103);
        mpfr_init(r15104);
        mpfr_init(r15105);
        mpfr_init(r15106);
        mpfr_init(r15107);
        mpfr_init(r15108);
        mpfr_init(r15109);
        mpfr_init(r15110);
        mpfr_init(r15111);
        mpfr_init(r15112);
}

double f_dm(double x) {
        mpfr_set_d(r15083, x, MPFR_RNDN);
        ;
        mpfr_set_si(r15085, mpfr_cmp(r15083, r15084) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r15087, r15086, r15083, MPFR_RNDN);
        mpfr_cos(r15088, r15083, MPFR_RNDN);
        mpfr_sub(r15089, r15086, r15088, MPFR_RNDN);
        mpfr_div(r15090, r15089, r15083, MPFR_RNDN);
        mpfr_mul(r15091, r15087, r15090, MPFR_RNDN);
        ;
        mpfr_set_si(r15093, mpfr_cmp(r15083, r15092) <= 0, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r15096, r15083, r15095, MPFR_RNDN);
        mpfr_mul(r15097, r15094, r15096, MPFR_RNDN);
        ;
        mpfr_add(r15099, r15097, r15098, MPFR_RNDN);
        ;
        mpfr_sqr(r15101, r15083, MPFR_RNDN);
        mpfr_mul(r15102, r15100, r15101, MPFR_RNDN);
        mpfr_sub(r15103, r15099, r15102, MPFR_RNDN);
        mpfr_sin(r15104, r15083, MPFR_RNDN);
        mpfr_sqr(r15105, r15104, MPFR_RNDN);
        mpfr_add(r15106, r15086, r15088, MPFR_RNDN);
        mpfr_div(r15107, r15105, r15106, MPFR_RNDN);
        mpfr_sqrt(r15108, r15107, MPFR_RNDN);
        mpfr_div(r15109, r15108, r15083, MPFR_RNDN);
        mpfr_sqr(r15110, r15109, MPFR_RNDN);
        if (mpfr_get_si(r15093, MPFR_RNDN)) { mpfr_set(r15111, r15103, MPFR_RNDN); } else { mpfr_set(r15111, r15110, MPFR_RNDN); };
        if (mpfr_get_si(r15085, MPFR_RNDN)) { mpfr_set(r15112, r15091, MPFR_RNDN); } else { mpfr_set(r15112, r15111, MPFR_RNDN); };
        return mpfr_get_d(r15112, MPFR_RNDN);
}