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

char *name = "2sin (example 3.3)";

double f_if(float x, float eps) {
        float r22928 = x;
        float r22929 = eps;
        float r22930 = r22928 + r22929;
        float r22931 = sin(r22930);
        float r22932 = sin(r22928);
        float r22933 = r22931 - r22932;
        return r22933;
}

double f_id(double x, double eps) {
        double r22934 = x;
        double r22935 = eps;
        double r22936 = r22934 + r22935;
        double r22937 = sin(r22936);
        double r22938 = sin(r22934);
        double r22939 = r22937 - r22938;
        return r22939;
}


double f_of(float x, float eps) {
        float r22940 = 2;
        float r22941 = eps;
        float r22942 = r22941 / r22940;
        float r22943 = sin(r22942);
        float r22944 = x;
        float r22945 = r22944 + r22944;
        float r22946 = r22941 + r22945;
        float r22947 = r22946 / r22940;
        float r22948 = cos(r22947);
        float r22949 = r22943 * r22948;
        float r22950 = cbrt(r22949);
        float r22951 = r22950 * r22950;
        float r22952 = r22951 * r22950;
        float r22953 = r22940 * r22952;
        float r22954 = -2.8608356554284518e-06;
        bool r22955 = r22953 <= r22954;
        float r22956 = sin(r22944);
        float r22957 = cos(r22941);
        float r22958 = r22956 * r22957;
        float r22959 = cos(r22944);
        float r22960 = sin(r22941);
        float r22961 = r22959 * r22960;
        float r22962 = r22958 + r22961;
        float r22963 = r22962 - r22956;
        float r22964 = 3.4608773065854592e-06;
        bool r22965 = r22953 <= r22964;
        float r22966 = r22940 * r22949;
        float r22967 = r22961 - r22956;
        float r22968 = r22958 + r22967;
        float r22969 = r22965 ? r22966 : r22968;
        float r22970 = r22955 ? r22963 : r22969;
        return r22970;
}

double f_od(double x, double eps) {
        double r22971 = 2;
        double r22972 = eps;
        double r22973 = r22972 / r22971;
        double r22974 = sin(r22973);
        double r22975 = x;
        double r22976 = r22975 + r22975;
        double r22977 = r22972 + r22976;
        double r22978 = r22977 / r22971;
        double r22979 = cos(r22978);
        double r22980 = r22974 * r22979;
        double r22981 = cbrt(r22980);
        double r22982 = r22981 * r22981;
        double r22983 = r22982 * r22981;
        double r22984 = r22971 * r22983;
        double r22985 = -2.8608356554284518e-06;
        bool r22986 = r22984 <= r22985;
        double r22987 = sin(r22975);
        double r22988 = cos(r22972);
        double r22989 = r22987 * r22988;
        double r22990 = cos(r22975);
        double r22991 = sin(r22972);
        double r22992 = r22990 * r22991;
        double r22993 = r22989 + r22992;
        double r22994 = r22993 - r22987;
        double r22995 = 3.4608773065854592e-06;
        bool r22996 = r22984 <= r22995;
        double r22997 = r22971 * r22980;
        double r22998 = r22992 - r22987;
        double r22999 = r22989 + r22998;
        double r23000 = r22996 ? r22997 : r22999;
        double r23001 = r22986 ? r22994 : r23000;
        return r23001;
}

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 r23002, r23003, r23004, r23005, r23006, r23007;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init(r23002);
        mpfr_init(r23003);
        mpfr_init(r23004);
        mpfr_init(r23005);
        mpfr_init(r23006);
        mpfr_init(r23007);
}

double f_im(double x, double eps) {
        mpfr_set_d(r23002, x, MPFR_RNDN);
        mpfr_set_d(r23003, eps, MPFR_RNDN);
        mpfr_add(r23004, r23002, r23003, MPFR_RNDN);
        mpfr_sin(r23005, r23004, MPFR_RNDN);
        mpfr_sin(r23006, r23002, MPFR_RNDN);
        mpfr_sub(r23007, r23005, r23006, MPFR_RNDN);
        return mpfr_get_d(r23007, MPFR_RNDN);
}

static mpfr_t r23008, r23009, r23010, r23011, r23012, r23013, r23014, r23015, r23016, r23017, r23018, r23019, r23020, r23021, r23022, r23023, r23024, r23025, r23026, r23027, r23028, r23029, r23030, r23031, r23032, r23033, r23034, r23035, r23036, r23037, r23038;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r23008, "2", 10, MPFR_RNDN);
        mpfr_init(r23009);
        mpfr_init(r23010);
        mpfr_init(r23011);
        mpfr_init(r23012);
        mpfr_init(r23013);
        mpfr_init(r23014);
        mpfr_init(r23015);
        mpfr_init(r23016);
        mpfr_init(r23017);
        mpfr_init(r23018);
        mpfr_init(r23019);
        mpfr_init(r23020);
        mpfr_init(r23021);
        mpfr_init_set_str(r23022, "-2.8608356554284518e-06", 10, MPFR_RNDN);
        mpfr_init(r23023);
        mpfr_init(r23024);
        mpfr_init(r23025);
        mpfr_init(r23026);
        mpfr_init(r23027);
        mpfr_init(r23028);
        mpfr_init(r23029);
        mpfr_init(r23030);
        mpfr_init(r23031);
        mpfr_init_set_str(r23032, "3.4608773065854592e-06", 10, MPFR_RNDN);
        mpfr_init(r23033);
        mpfr_init(r23034);
        mpfr_init(r23035);
        mpfr_init(r23036);
        mpfr_init(r23037);
        mpfr_init(r23038);
}

double f_fm(double x, double eps) {
        ;
        mpfr_set_d(r23009, eps, MPFR_RNDN);
        mpfr_div(r23010, r23009, r23008, MPFR_RNDN);
        mpfr_sin(r23011, r23010, MPFR_RNDN);
        mpfr_set_d(r23012, x, MPFR_RNDN);
        mpfr_add(r23013, r23012, r23012, MPFR_RNDN);
        mpfr_add(r23014, r23009, r23013, MPFR_RNDN);
        mpfr_div(r23015, r23014, r23008, MPFR_RNDN);
        mpfr_cos(r23016, r23015, MPFR_RNDN);
        mpfr_mul(r23017, r23011, r23016, MPFR_RNDN);
        mpfr_cbrt(r23018, r23017, MPFR_RNDN);
        mpfr_mul(r23019, r23018, r23018, MPFR_RNDN);
        mpfr_mul(r23020, r23019, r23018, MPFR_RNDN);
        mpfr_mul(r23021, r23008, r23020, MPFR_RNDN);
        ;
        mpfr_set_si(r23023, mpfr_cmp(r23021, r23022) <= 0, MPFR_RNDN);
        mpfr_sin(r23024, r23012, MPFR_RNDN);
        mpfr_cos(r23025, r23009, MPFR_RNDN);
        mpfr_mul(r23026, r23024, r23025, MPFR_RNDN);
        mpfr_cos(r23027, r23012, MPFR_RNDN);
        mpfr_sin(r23028, r23009, MPFR_RNDN);
        mpfr_mul(r23029, r23027, r23028, MPFR_RNDN);
        mpfr_add(r23030, r23026, r23029, MPFR_RNDN);
        mpfr_sub(r23031, r23030, r23024, MPFR_RNDN);
        ;
        mpfr_set_si(r23033, mpfr_cmp(r23021, r23032) <= 0, MPFR_RNDN);
        mpfr_mul(r23034, r23008, r23017, MPFR_RNDN);
        mpfr_sub(r23035, r23029, r23024, MPFR_RNDN);
        mpfr_add(r23036, r23026, r23035, MPFR_RNDN);
        if (mpfr_get_si(r23033, MPFR_RNDN)) { mpfr_set(r23037, r23034, MPFR_RNDN); } else { mpfr_set(r23037, r23036, MPFR_RNDN); };
        if (mpfr_get_si(r23023, MPFR_RNDN)) { mpfr_set(r23038, r23031, MPFR_RNDN); } else { mpfr_set(r23038, r23037, MPFR_RNDN); };
        return mpfr_get_d(r23038, MPFR_RNDN);
}

static mpfr_t r23039, r23040, r23041, r23042, r23043, r23044, r23045, r23046, r23047, r23048, r23049, r23050, r23051, r23052, r23053, r23054, r23055, r23056, r23057, r23058, r23059, r23060, r23061, r23062, r23063, r23064, r23065, r23066, r23067, r23068, r23069;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init_set_str(r23039, "2", 10, MPFR_RNDN);
        mpfr_init(r23040);
        mpfr_init(r23041);
        mpfr_init(r23042);
        mpfr_init(r23043);
        mpfr_init(r23044);
        mpfr_init(r23045);
        mpfr_init(r23046);
        mpfr_init(r23047);
        mpfr_init(r23048);
        mpfr_init(r23049);
        mpfr_init(r23050);
        mpfr_init(r23051);
        mpfr_init(r23052);
        mpfr_init_set_str(r23053, "-2.8608356554284518e-06", 10, MPFR_RNDN);
        mpfr_init(r23054);
        mpfr_init(r23055);
        mpfr_init(r23056);
        mpfr_init(r23057);
        mpfr_init(r23058);
        mpfr_init(r23059);
        mpfr_init(r23060);
        mpfr_init(r23061);
        mpfr_init(r23062);
        mpfr_init_set_str(r23063, "3.4608773065854592e-06", 10, MPFR_RNDN);
        mpfr_init(r23064);
        mpfr_init(r23065);
        mpfr_init(r23066);
        mpfr_init(r23067);
        mpfr_init(r23068);
        mpfr_init(r23069);
}

double f_dm(double x, double eps) {
        ;
        mpfr_set_d(r23040, eps, MPFR_RNDN);
        mpfr_div(r23041, r23040, r23039, MPFR_RNDN);
        mpfr_sin(r23042, r23041, MPFR_RNDN);
        mpfr_set_d(r23043, x, MPFR_RNDN);
        mpfr_add(r23044, r23043, r23043, MPFR_RNDN);
        mpfr_add(r23045, r23040, r23044, MPFR_RNDN);
        mpfr_div(r23046, r23045, r23039, MPFR_RNDN);
        mpfr_cos(r23047, r23046, MPFR_RNDN);
        mpfr_mul(r23048, r23042, r23047, MPFR_RNDN);
        mpfr_cbrt(r23049, r23048, MPFR_RNDN);
        mpfr_mul(r23050, r23049, r23049, MPFR_RNDN);
        mpfr_mul(r23051, r23050, r23049, MPFR_RNDN);
        mpfr_mul(r23052, r23039, r23051, MPFR_RNDN);
        ;
        mpfr_set_si(r23054, mpfr_cmp(r23052, r23053) <= 0, MPFR_RNDN);
        mpfr_sin(r23055, r23043, MPFR_RNDN);
        mpfr_cos(r23056, r23040, MPFR_RNDN);
        mpfr_mul(r23057, r23055, r23056, MPFR_RNDN);
        mpfr_cos(r23058, r23043, MPFR_RNDN);
        mpfr_sin(r23059, r23040, MPFR_RNDN);
        mpfr_mul(r23060, r23058, r23059, MPFR_RNDN);
        mpfr_add(r23061, r23057, r23060, MPFR_RNDN);
        mpfr_sub(r23062, r23061, r23055, MPFR_RNDN);
        ;
        mpfr_set_si(r23064, mpfr_cmp(r23052, r23063) <= 0, MPFR_RNDN);
        mpfr_mul(r23065, r23039, r23048, MPFR_RNDN);
        mpfr_sub(r23066, r23060, r23055, MPFR_RNDN);
        mpfr_add(r23067, r23057, r23066, MPFR_RNDN);
        if (mpfr_get_si(r23064, MPFR_RNDN)) { mpfr_set(r23068, r23065, MPFR_RNDN); } else { mpfr_set(r23068, r23067, MPFR_RNDN); };
        if (mpfr_get_si(r23054, MPFR_RNDN)) { mpfr_set(r23069, r23062, MPFR_RNDN); } else { mpfr_set(r23069, r23068, MPFR_RNDN); };
        return mpfr_get_d(r23069, MPFR_RNDN);
}