#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 r27247 = x;
        float r27248 = eps;
        float r27249 = r27247 + r27248;
        float r27250 = sin(r27249);
        float r27251 = sin(r27247);
        float r27252 = r27250 - r27251;
        return r27252;
}

double f_id(double x, double eps) {
        double r27253 = x;
        double r27254 = eps;
        double r27255 = r27253 + r27254;
        double r27256 = sin(r27255);
        double r27257 = sin(r27253);
        double r27258 = r27256 - r27257;
        return r27258;
}


double f_of(float x, float eps) {
        float r27259 = 2;
        float r27260 = eps;
        float r27261 = r27260 / r27259;
        float r27262 = sin(r27261);
        float r27263 = x;
        float r27264 = r27260 + r27263;
        float r27265 = r27263 + r27264;
        float r27266 = r27265 / r27259;
        float r27267 = cos(r27266);
        float r27268 = r27262 * r27267;
        float r27269 = cbrt(r27268);
        float r27270 = r27269 * r27269;
        float r27271 = r27270 * r27269;
        float r27272 = r27259 * r27271;
        float r27273 = -9.286795330551009e-08;
        bool r27274 = r27272 <= r27273;
        float r27275 = sin(r27263);
        float r27276 = cos(r27260);
        float r27277 = r27275 * r27276;
        float r27278 = cos(r27263);
        float r27279 = sin(r27260);
        float r27280 = r27278 * r27279;
        float r27281 = r27277 + r27280;
        float r27282 = r27281 - r27275;
        float r27283 = 5.062108322672078e-12;
        bool r27284 = r27272 <= r27283;
        float r27285 = r27259 * r27268;
        float r27286 = r27284 ? r27285 : r27282;
        float r27287 = r27274 ? r27282 : r27286;
        return r27287;
}

double f_od(double x, double eps) {
        double r27288 = 2;
        double r27289 = eps;
        double r27290 = r27289 / r27288;
        double r27291 = sin(r27290);
        double r27292 = x;
        double r27293 = r27289 + r27292;
        double r27294 = r27292 + r27293;
        double r27295 = r27294 / r27288;
        double r27296 = cos(r27295);
        double r27297 = r27291 * r27296;
        double r27298 = cbrt(r27297);
        double r27299 = r27298 * r27298;
        double r27300 = r27299 * r27298;
        double r27301 = r27288 * r27300;
        double r27302 = -9.286795330551009e-08;
        bool r27303 = r27301 <= r27302;
        double r27304 = sin(r27292);
        double r27305 = cos(r27289);
        double r27306 = r27304 * r27305;
        double r27307 = cos(r27292);
        double r27308 = sin(r27289);
        double r27309 = r27307 * r27308;
        double r27310 = r27306 + r27309;
        double r27311 = r27310 - r27304;
        double r27312 = 5.062108322672078e-12;
        bool r27313 = r27301 <= r27312;
        double r27314 = r27288 * r27297;
        double r27315 = r27313 ? r27314 : r27311;
        double r27316 = r27303 ? r27311 : r27315;
        return r27316;
}

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 r27317, r27318, r27319, r27320, r27321, r27322;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init(r27317);
        mpfr_init(r27318);
        mpfr_init(r27319);
        mpfr_init(r27320);
        mpfr_init(r27321);
        mpfr_init(r27322);
}

double f_im(double x, double eps) {
        mpfr_set_d(r27317, x, MPFR_RNDN);
        mpfr_set_d(r27318, eps, MPFR_RNDN);
        mpfr_add(r27319, r27317, r27318, MPFR_RNDN);
        mpfr_sin(r27320, r27319, MPFR_RNDN);
        mpfr_sin(r27321, r27317, MPFR_RNDN);
        mpfr_sub(r27322, r27320, r27321, MPFR_RNDN);
        return mpfr_get_d(r27322, MPFR_RNDN);
}

static mpfr_t r27323, r27324, r27325, r27326, r27327, r27328, r27329, r27330, r27331, r27332, r27333, r27334, r27335, r27336, r27337, r27338, r27339, r27340, r27341, r27342, r27343, r27344, r27345, r27346, r27347, r27348, r27349, r27350, r27351;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r27323, "2", 10, MPFR_RNDN);
        mpfr_init(r27324);
        mpfr_init(r27325);
        mpfr_init(r27326);
        mpfr_init(r27327);
        mpfr_init(r27328);
        mpfr_init(r27329);
        mpfr_init(r27330);
        mpfr_init(r27331);
        mpfr_init(r27332);
        mpfr_init(r27333);
        mpfr_init(r27334);
        mpfr_init(r27335);
        mpfr_init(r27336);
        mpfr_init_set_str(r27337, "-9.286795330551009e-08", 10, MPFR_RNDN);
        mpfr_init(r27338);
        mpfr_init(r27339);
        mpfr_init(r27340);
        mpfr_init(r27341);
        mpfr_init(r27342);
        mpfr_init(r27343);
        mpfr_init(r27344);
        mpfr_init(r27345);
        mpfr_init(r27346);
        mpfr_init_set_str(r27347, "5.062108322672078e-12", 10, MPFR_RNDN);
        mpfr_init(r27348);
        mpfr_init(r27349);
        mpfr_init(r27350);
        mpfr_init(r27351);
}

double f_fm(double x, double eps) {
        ;
        mpfr_set_d(r27324, eps, MPFR_RNDN);
        mpfr_div(r27325, r27324, r27323, MPFR_RNDN);
        mpfr_sin(r27326, r27325, MPFR_RNDN);
        mpfr_set_d(r27327, x, MPFR_RNDN);
        mpfr_add(r27328, r27324, r27327, MPFR_RNDN);
        mpfr_add(r27329, r27327, r27328, MPFR_RNDN);
        mpfr_div(r27330, r27329, r27323, MPFR_RNDN);
        mpfr_cos(r27331, r27330, MPFR_RNDN);
        mpfr_mul(r27332, r27326, r27331, MPFR_RNDN);
        mpfr_cbrt(r27333, r27332, MPFR_RNDN);
        mpfr_mul(r27334, r27333, r27333, MPFR_RNDN);
        mpfr_mul(r27335, r27334, r27333, MPFR_RNDN);
        mpfr_mul(r27336, r27323, r27335, MPFR_RNDN);
        ;
        mpfr_set_si(r27338, mpfr_cmp(r27336, r27337) <= 0, MPFR_RNDN);
        mpfr_sin(r27339, r27327, MPFR_RNDN);
        mpfr_cos(r27340, r27324, MPFR_RNDN);
        mpfr_mul(r27341, r27339, r27340, MPFR_RNDN);
        mpfr_cos(r27342, r27327, MPFR_RNDN);
        mpfr_sin(r27343, r27324, MPFR_RNDN);
        mpfr_mul(r27344, r27342, r27343, MPFR_RNDN);
        mpfr_add(r27345, r27341, r27344, MPFR_RNDN);
        mpfr_sub(r27346, r27345, r27339, MPFR_RNDN);
        ;
        mpfr_set_si(r27348, mpfr_cmp(r27336, r27347) <= 0, MPFR_RNDN);
        mpfr_mul(r27349, r27323, r27332, MPFR_RNDN);
        if (mpfr_get_si(r27348, MPFR_RNDN)) { mpfr_set(r27350, r27349, MPFR_RNDN); } else { mpfr_set(r27350, r27346, MPFR_RNDN); };
        if (mpfr_get_si(r27338, MPFR_RNDN)) { mpfr_set(r27351, r27346, MPFR_RNDN); } else { mpfr_set(r27351, r27350, MPFR_RNDN); };
        return mpfr_get_d(r27351, MPFR_RNDN);
}

static mpfr_t r27352, r27353, r27354, r27355, r27356, r27357, r27358, r27359, r27360, r27361, r27362, r27363, r27364, r27365, r27366, r27367, r27368, r27369, r27370, r27371, r27372, r27373, r27374, r27375, r27376, r27377, r27378, r27379, r27380;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init_set_str(r27352, "2", 10, MPFR_RNDN);
        mpfr_init(r27353);
        mpfr_init(r27354);
        mpfr_init(r27355);
        mpfr_init(r27356);
        mpfr_init(r27357);
        mpfr_init(r27358);
        mpfr_init(r27359);
        mpfr_init(r27360);
        mpfr_init(r27361);
        mpfr_init(r27362);
        mpfr_init(r27363);
        mpfr_init(r27364);
        mpfr_init(r27365);
        mpfr_init_set_str(r27366, "-9.286795330551009e-08", 10, MPFR_RNDN);
        mpfr_init(r27367);
        mpfr_init(r27368);
        mpfr_init(r27369);
        mpfr_init(r27370);
        mpfr_init(r27371);
        mpfr_init(r27372);
        mpfr_init(r27373);
        mpfr_init(r27374);
        mpfr_init(r27375);
        mpfr_init_set_str(r27376, "5.062108322672078e-12", 10, MPFR_RNDN);
        mpfr_init(r27377);
        mpfr_init(r27378);
        mpfr_init(r27379);
        mpfr_init(r27380);
}

double f_dm(double x, double eps) {
        ;
        mpfr_set_d(r27353, eps, MPFR_RNDN);
        mpfr_div(r27354, r27353, r27352, MPFR_RNDN);
        mpfr_sin(r27355, r27354, MPFR_RNDN);
        mpfr_set_d(r27356, x, MPFR_RNDN);
        mpfr_add(r27357, r27353, r27356, MPFR_RNDN);
        mpfr_add(r27358, r27356, r27357, MPFR_RNDN);
        mpfr_div(r27359, r27358, r27352, MPFR_RNDN);
        mpfr_cos(r27360, r27359, MPFR_RNDN);
        mpfr_mul(r27361, r27355, r27360, MPFR_RNDN);
        mpfr_cbrt(r27362, r27361, MPFR_RNDN);
        mpfr_mul(r27363, r27362, r27362, MPFR_RNDN);
        mpfr_mul(r27364, r27363, r27362, MPFR_RNDN);
        mpfr_mul(r27365, r27352, r27364, MPFR_RNDN);
        ;
        mpfr_set_si(r27367, mpfr_cmp(r27365, r27366) <= 0, MPFR_RNDN);
        mpfr_sin(r27368, r27356, MPFR_RNDN);
        mpfr_cos(r27369, r27353, MPFR_RNDN);
        mpfr_mul(r27370, r27368, r27369, MPFR_RNDN);
        mpfr_cos(r27371, r27356, MPFR_RNDN);
        mpfr_sin(r27372, r27353, MPFR_RNDN);
        mpfr_mul(r27373, r27371, r27372, MPFR_RNDN);
        mpfr_add(r27374, r27370, r27373, MPFR_RNDN);
        mpfr_sub(r27375, r27374, r27368, MPFR_RNDN);
        ;
        mpfr_set_si(r27377, mpfr_cmp(r27365, r27376) <= 0, MPFR_RNDN);
        mpfr_mul(r27378, r27352, r27361, MPFR_RNDN);
        if (mpfr_get_si(r27377, MPFR_RNDN)) { mpfr_set(r27379, r27378, MPFR_RNDN); } else { mpfr_set(r27379, r27375, MPFR_RNDN); };
        if (mpfr_get_si(r27367, MPFR_RNDN)) { mpfr_set(r27380, r27375, MPFR_RNDN); } else { mpfr_set(r27380, r27379, MPFR_RNDN); };
        return mpfr_get_d(r27380, MPFR_RNDN);
}