#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 r27241 = x;
        float r27242 = eps;
        float r27243 = r27241 + r27242;
        float r27244 = sin(r27243);
        float r27245 = sin(r27241);
        float r27246 = r27244 - r27245;
        return r27246;
}

double f_id(double x, double eps) {
        double r27247 = x;
        double r27248 = eps;
        double r27249 = r27247 + r27248;
        double r27250 = sin(r27249);
        double r27251 = sin(r27247);
        double r27252 = r27250 - r27251;
        return r27252;
}


double f_of(float x, float eps) {
        float r27253 = eps;
        float r27254 = -1.301495839618568e-07;
        bool r27255 = r27253 <= r27254;
        float r27256 = 5.159744887619244e-11;
        bool r27257 = r27253 <= r27256;
        float r27258 = !r27257;
        bool r27259 = r27255 || r27258;
        float r27260 = cos(r27253);
        float r27261 = x;
        float r27262 = sin(r27261);
        float r27263 = r27260 * r27262;
        float r27264 = sin(r27253);
        float r27265 = cos(r27261);
        float r27266 = r27264 * r27265;
        float r27267 = r27266 - r27262;
        float r27268 = r27263 + r27267;
        float r27269 = 2;
        float r27270 = r27253 + r27261;
        float r27271 = r27261 + r27270;
        float r27272 = r27271 / r27269;
        float r27273 = cos(r27272);
        float r27274 = r27253 / r27269;
        float r27275 = sin(r27274);
        float r27276 = r27273 * r27275;
        float r27277 = r27269 * r27276;
        float r27278 = r27259 ? r27268 : r27277;
        return r27278;
}

double f_od(double x, double eps) {
        double r27279 = eps;
        double r27280 = -1.301495839618568e-07;
        bool r27281 = r27279 <= r27280;
        double r27282 = 5.159744887619244e-11;
        bool r27283 = r27279 <= r27282;
        double r27284 = !r27283;
        bool r27285 = r27281 || r27284;
        double r27286 = cos(r27279);
        double r27287 = x;
        double r27288 = sin(r27287);
        double r27289 = r27286 * r27288;
        double r27290 = sin(r27279);
        double r27291 = cos(r27287);
        double r27292 = r27290 * r27291;
        double r27293 = r27292 - r27288;
        double r27294 = r27289 + r27293;
        double r27295 = 2;
        double r27296 = r27279 + r27287;
        double r27297 = r27287 + r27296;
        double r27298 = r27297 / r27295;
        double r27299 = cos(r27298);
        double r27300 = r27279 / r27295;
        double r27301 = sin(r27300);
        double r27302 = r27299 * r27301;
        double r27303 = r27295 * r27302;
        double r27304 = r27285 ? r27294 : r27303;
        return r27304;
}

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 r27305, r27306, r27307, r27308, r27309, r27310;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init(r27305);
        mpfr_init(r27306);
        mpfr_init(r27307);
        mpfr_init(r27308);
        mpfr_init(r27309);
        mpfr_init(r27310);
}

double f_im(double x, double eps) {
        mpfr_set_d(r27305, x, MPFR_RNDN);
        mpfr_set_d(r27306, eps, MPFR_RNDN);
        mpfr_add(r27307, r27305, r27306, MPFR_RNDN);
        mpfr_sin(r27308, r27307, MPFR_RNDN);
        mpfr_sin(r27309, r27305, MPFR_RNDN);
        mpfr_sub(r27310, r27308, r27309, MPFR_RNDN);
        return mpfr_get_d(r27310, MPFR_RNDN);
}

static mpfr_t r27311, r27312, r27313, r27314, r27315, r27316, r27317, r27318, r27319, r27320, r27321, r27322, r27323, r27324, r27325, r27326, r27327, r27328, r27329, r27330, r27331, r27332, r27333, r27334, r27335, r27336;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r27311);
        mpfr_init_set_str(r27312, "-1.301495839618568e-07", 10, MPFR_RNDN);
        mpfr_init(r27313);
        mpfr_init_set_str(r27314, "5.159744887619244e-11", 10, MPFR_RNDN);
        mpfr_init(r27315);
        mpfr_init(r27316);
        mpfr_init(r27317);
        mpfr_init(r27318);
        mpfr_init(r27319);
        mpfr_init(r27320);
        mpfr_init(r27321);
        mpfr_init(r27322);
        mpfr_init(r27323);
        mpfr_init(r27324);
        mpfr_init(r27325);
        mpfr_init(r27326);
        mpfr_init_set_str(r27327, "2", 10, MPFR_RNDN);
        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);
}

double f_fm(double x, double eps) {
        mpfr_set_d(r27311, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r27313, mpfr_cmp(r27311, r27312) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r27315, mpfr_cmp(r27311, r27314) <= 0, MPFR_RNDN);
        mpfr_set_si(r27316, !mpfr_get_si(r27315, MPFR_RNDN), MPFR_RNDN);
        mpfr_set_si(r27317, mpfr_get_si(r27313, MPFR_RNDN) || mpfr_get_si(r27316, MPFR_RNDN), MPFR_RNDN);
        mpfr_cos(r27318, r27311, MPFR_RNDN);
        mpfr_set_d(r27319, x, MPFR_RNDN);
        mpfr_sin(r27320, r27319, MPFR_RNDN);
        mpfr_mul(r27321, r27318, r27320, MPFR_RNDN);
        mpfr_sin(r27322, r27311, MPFR_RNDN);
        mpfr_cos(r27323, r27319, MPFR_RNDN);
        mpfr_mul(r27324, r27322, r27323, MPFR_RNDN);
        mpfr_sub(r27325, r27324, r27320, MPFR_RNDN);
        mpfr_add(r27326, r27321, r27325, MPFR_RNDN);
        ;
        mpfr_add(r27328, r27311, r27319, MPFR_RNDN);
        mpfr_add(r27329, r27319, r27328, MPFR_RNDN);
        mpfr_div(r27330, r27329, r27327, MPFR_RNDN);
        mpfr_cos(r27331, r27330, MPFR_RNDN);
        mpfr_div(r27332, r27311, r27327, MPFR_RNDN);
        mpfr_sin(r27333, r27332, MPFR_RNDN);
        mpfr_mul(r27334, r27331, r27333, MPFR_RNDN);
        mpfr_mul(r27335, r27327, r27334, MPFR_RNDN);
        if (mpfr_get_si(r27317, MPFR_RNDN)) { mpfr_set(r27336, r27326, MPFR_RNDN); } else { mpfr_set(r27336, r27335, MPFR_RNDN); };
        return mpfr_get_d(r27336, MPFR_RNDN);
}

static mpfr_t r27337, r27338, r27339, r27340, r27341, r27342, r27343, r27344, r27345, r27346, r27347, r27348, r27349, r27350, r27351, r27352, r27353, r27354, r27355, r27356, r27357, r27358, r27359, r27360, r27361, r27362;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r27337);
        mpfr_init_set_str(r27338, "-1.301495839618568e-07", 10, MPFR_RNDN);
        mpfr_init(r27339);
        mpfr_init_set_str(r27340, "5.159744887619244e-11", 10, MPFR_RNDN);
        mpfr_init(r27341);
        mpfr_init(r27342);
        mpfr_init(r27343);
        mpfr_init(r27344);
        mpfr_init(r27345);
        mpfr_init(r27346);
        mpfr_init(r27347);
        mpfr_init(r27348);
        mpfr_init(r27349);
        mpfr_init(r27350);
        mpfr_init(r27351);
        mpfr_init(r27352);
        mpfr_init_set_str(r27353, "2", 10, MPFR_RNDN);
        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);
}

double f_dm(double x, double eps) {
        mpfr_set_d(r27337, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r27339, mpfr_cmp(r27337, r27338) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r27341, mpfr_cmp(r27337, r27340) <= 0, MPFR_RNDN);
        mpfr_set_si(r27342, !mpfr_get_si(r27341, MPFR_RNDN), MPFR_RNDN);
        mpfr_set_si(r27343, mpfr_get_si(r27339, MPFR_RNDN) || mpfr_get_si(r27342, MPFR_RNDN), MPFR_RNDN);
        mpfr_cos(r27344, r27337, MPFR_RNDN);
        mpfr_set_d(r27345, x, MPFR_RNDN);
        mpfr_sin(r27346, r27345, MPFR_RNDN);
        mpfr_mul(r27347, r27344, r27346, MPFR_RNDN);
        mpfr_sin(r27348, r27337, MPFR_RNDN);
        mpfr_cos(r27349, r27345, MPFR_RNDN);
        mpfr_mul(r27350, r27348, r27349, MPFR_RNDN);
        mpfr_sub(r27351, r27350, r27346, MPFR_RNDN);
        mpfr_add(r27352, r27347, r27351, MPFR_RNDN);
        ;
        mpfr_add(r27354, r27337, r27345, MPFR_RNDN);
        mpfr_add(r27355, r27345, r27354, MPFR_RNDN);
        mpfr_div(r27356, r27355, r27353, MPFR_RNDN);
        mpfr_cos(r27357, r27356, MPFR_RNDN);
        mpfr_div(r27358, r27337, r27353, MPFR_RNDN);
        mpfr_sin(r27359, r27358, MPFR_RNDN);
        mpfr_mul(r27360, r27357, r27359, MPFR_RNDN);
        mpfr_mul(r27361, r27353, r27360, MPFR_RNDN);
        if (mpfr_get_si(r27343, MPFR_RNDN)) { mpfr_set(r27362, r27352, MPFR_RNDN); } else { mpfr_set(r27362, r27361, MPFR_RNDN); };
        return mpfr_get_d(r27362, MPFR_RNDN);
}