#include #include #include #include #include char *name = "2sin (example 3.3)"; double f_if(float x, float eps) { float r27257 = x; float r27258 = eps; float r27259 = r27257 + r27258; float r27260 = sin(r27259); float r27261 = sin(r27257); float r27262 = r27260 - r27261; return r27262; } double f_id(double x, double eps) { double r27263 = x; double r27264 = eps; double r27265 = r27263 + r27264; double r27266 = sin(r27265); double r27267 = sin(r27263); double r27268 = r27266 - r27267; return r27268; } double f_of(float x, float eps) { float r27269 = eps; float r27270 = -1.301495839618568e-07; bool r27271 = r27269 <= r27270; float r27272 = 5.159744887619244e-11; bool r27273 = r27269 <= r27272; float r27274 = !r27273; bool r27275 = r27271 || r27274; float r27276 = cos(r27269); float r27277 = x; float r27278 = sin(r27277); float r27279 = r27276 * r27278; float r27280 = sin(r27269); float r27281 = cos(r27277); float r27282 = r27280 * r27281; float r27283 = r27282 - r27278; float r27284 = r27279 + r27283; float r27285 = 2; float r27286 = r27269 + r27277; float r27287 = r27277 + r27286; float r27288 = r27287 / r27285; float r27289 = cos(r27288); float r27290 = r27269 / r27285; float r27291 = sin(r27290); float r27292 = r27289 * r27291; float r27293 = r27285 * r27292; float r27294 = r27275 ? r27284 : r27293; return r27294; } double f_od(double x, double eps) { double r27295 = eps; double r27296 = -1.301495839618568e-07; bool r27297 = r27295 <= r27296; double r27298 = 5.159744887619244e-11; bool r27299 = r27295 <= r27298; double r27300 = !r27299; bool r27301 = r27297 || r27300; double r27302 = cos(r27295); double r27303 = x; double r27304 = sin(r27303); double r27305 = r27302 * r27304; double r27306 = sin(r27295); double r27307 = cos(r27303); double r27308 = r27306 * r27307; double r27309 = r27308 - r27304; double r27310 = r27305 + r27309; double r27311 = 2; double r27312 = r27295 + r27303; double r27313 = r27303 + r27312; double r27314 = r27313 / r27311; double r27315 = cos(r27314); double r27316 = r27295 / r27311; double r27317 = sin(r27316); double r27318 = r27315 * r27317; double r27319 = r27311 * r27318; double r27320 = r27301 ? r27310 : r27319; return r27320; } 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 r27321, r27322, r27323, r27324, r27325, r27326; void setup_mpfr_f_im() { mpfr_set_default_prec(2384); mpfr_init(r27321); mpfr_init(r27322); mpfr_init(r27323); mpfr_init(r27324); mpfr_init(r27325); mpfr_init(r27326); } double f_im(double x, double eps) { mpfr_set_d(r27321, x, MPFR_RNDN); mpfr_set_d(r27322, eps, MPFR_RNDN); mpfr_add(r27323, r27321, r27322, MPFR_RNDN); mpfr_sin(r27324, r27323, MPFR_RNDN); mpfr_sin(r27325, r27321, MPFR_RNDN); mpfr_sub(r27326, r27324, r27325, MPFR_RNDN); return mpfr_get_d(r27326, MPFR_RNDN); } static mpfr_t 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, r27352; void setup_mpfr_f_fm() { mpfr_set_default_prec(2384); mpfr_init(r27327); mpfr_init_set_str(r27328, "-1.301495839618568e-07", 10, MPFR_RNDN); mpfr_init(r27329); mpfr_init_set_str(r27330, "5.159744887619244e-11", 10, MPFR_RNDN); mpfr_init(r27331); mpfr_init(r27332); mpfr_init(r27333); mpfr_init(r27334); mpfr_init(r27335); mpfr_init(r27336); mpfr_init(r27337); mpfr_init(r27338); mpfr_init(r27339); mpfr_init(r27340); mpfr_init(r27341); mpfr_init(r27342); mpfr_init_set_str(r27343, "2", 10, MPFR_RNDN); 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); } double f_fm(double x, double eps) { mpfr_set_d(r27327, eps, MPFR_RNDN); ; mpfr_set_si(r27329, mpfr_cmp(r27327, r27328) <= 0, MPFR_RNDN); ; mpfr_set_si(r27331, mpfr_cmp(r27327, r27330) <= 0, MPFR_RNDN); mpfr_set_si(r27332, !mpfr_get_si(r27331, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r27333, mpfr_get_si(r27329, MPFR_RNDN) || mpfr_get_si(r27332, MPFR_RNDN), MPFR_RNDN); mpfr_cos(r27334, r27327, MPFR_RNDN); mpfr_set_d(r27335, x, MPFR_RNDN); mpfr_sin(r27336, r27335, MPFR_RNDN); mpfr_mul(r27337, r27334, r27336, MPFR_RNDN); mpfr_sin(r27338, r27327, MPFR_RNDN); mpfr_cos(r27339, r27335, MPFR_RNDN); mpfr_mul(r27340, r27338, r27339, MPFR_RNDN); mpfr_sub(r27341, r27340, r27336, MPFR_RNDN); mpfr_add(r27342, r27337, r27341, MPFR_RNDN); ; mpfr_add(r27344, r27327, r27335, MPFR_RNDN); mpfr_add(r27345, r27335, r27344, MPFR_RNDN); mpfr_div(r27346, r27345, r27343, MPFR_RNDN); mpfr_cos(r27347, r27346, MPFR_RNDN); mpfr_div(r27348, r27327, r27343, MPFR_RNDN); mpfr_sin(r27349, r27348, MPFR_RNDN); mpfr_mul(r27350, r27347, r27349, MPFR_RNDN); mpfr_mul(r27351, r27343, r27350, MPFR_RNDN); if (mpfr_get_si(r27333, MPFR_RNDN)) { mpfr_set(r27352, r27342, MPFR_RNDN); } else { mpfr_set(r27352, r27351, MPFR_RNDN); }; return mpfr_get_d(r27352, MPFR_RNDN); } static mpfr_t 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; void setup_mpfr_f_dm() { mpfr_set_default_prec(2384); mpfr_init(r27353); mpfr_init_set_str(r27354, "-1.301495839618568e-07", 10, MPFR_RNDN); mpfr_init(r27355); mpfr_init_set_str(r27356, "5.159744887619244e-11", 10, MPFR_RNDN); 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(r27366); mpfr_init(r27367); mpfr_init(r27368); mpfr_init_set_str(r27369, "2", 10, MPFR_RNDN); mpfr_init(r27370); mpfr_init(r27371); mpfr_init(r27372); mpfr_init(r27373); mpfr_init(r27374); mpfr_init(r27375); mpfr_init(r27376); mpfr_init(r27377); mpfr_init(r27378); } double f_dm(double x, double eps) { mpfr_set_d(r27353, eps, MPFR_RNDN); ; mpfr_set_si(r27355, mpfr_cmp(r27353, r27354) <= 0, MPFR_RNDN); ; mpfr_set_si(r27357, mpfr_cmp(r27353, r27356) <= 0, MPFR_RNDN); mpfr_set_si(r27358, !mpfr_get_si(r27357, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r27359, mpfr_get_si(r27355, MPFR_RNDN) || mpfr_get_si(r27358, MPFR_RNDN), MPFR_RNDN); mpfr_cos(r27360, r27353, MPFR_RNDN); mpfr_set_d(r27361, x, MPFR_RNDN); mpfr_sin(r27362, r27361, MPFR_RNDN); mpfr_mul(r27363, r27360, r27362, MPFR_RNDN); mpfr_sin(r27364, r27353, MPFR_RNDN); mpfr_cos(r27365, r27361, MPFR_RNDN); mpfr_mul(r27366, r27364, r27365, MPFR_RNDN); mpfr_sub(r27367, r27366, r27362, MPFR_RNDN); mpfr_add(r27368, r27363, r27367, MPFR_RNDN); ; mpfr_add(r27370, r27353, r27361, MPFR_RNDN); mpfr_add(r27371, r27361, r27370, MPFR_RNDN); mpfr_div(r27372, r27371, r27369, MPFR_RNDN); mpfr_cos(r27373, r27372, MPFR_RNDN); mpfr_div(r27374, r27353, r27369, MPFR_RNDN); mpfr_sin(r27375, r27374, MPFR_RNDN); mpfr_mul(r27376, r27373, r27375, MPFR_RNDN); mpfr_mul(r27377, r27369, r27376, MPFR_RNDN); if (mpfr_get_si(r27359, MPFR_RNDN)) { mpfr_set(r27378, r27368, MPFR_RNDN); } else { mpfr_set(r27378, r27377, MPFR_RNDN); }; return mpfr_get_d(r27378, MPFR_RNDN); }