#include #include #include #include #include char *name = "(- (expm1 (- (tan (* a a)) a)) a)"; double f_if(float a) { float r15330 = a; float r15331 = r15330 * r15330; float r15332 = tan(r15331); float r15333 = r15332 - r15330; float r15334 = expm1(r15333); float r15335 = r15334 - r15330; return r15335; } double f_id(double a) { double r15336 = a; double r15337 = r15336 * r15336; double r15338 = tan(r15337); double r15339 = r15338 - r15336; double r15340 = expm1(r15339); double r15341 = r15340 - r15336; return r15341; } double f_of(float a) { float r15342 = a; float r15343 = 557.675537109375f; bool r15344 = r15342 <= r15343; float r15345 = r15342 * r15342; float r15346 = tan(r15345); float r15347 = cbrt(r15346); float r15348 = r15347 * (r15347 * r15347); float r15349 = r15348 - r15342; float r15350 = expm1(r15349); float r15351 = r15350 - r15342; float r15352 = 1.0f; float r15353 = r15352 / r15345; float r15354 = sin(r15353); float r15355 = cos(r15353); float r15356 = r15354 / r15355; float r15357 = r15356 - r15342; float r15358 = expm1(r15357); float r15359 = r15358 - r15342; float r15360 = r15344 ? r15351 : r15359; return r15360; } double f_od(double a) { double r15361 = a; double r15362 = 557.675537109375; bool r15363 = r15361 <= r15362; double r15364 = r15361 * r15361; double r15365 = tan(r15364); double r15366 = cbrt(r15365); double r15367 = r15366 * (r15366 * r15366); double r15368 = r15367 - r15361; double r15369 = expm1(r15368); double r15370 = r15369 - r15361; double r15371 = 1.0; double r15372 = r15371 / r15364; double r15373 = sin(r15372); double r15374 = cos(r15372); double r15375 = r15373 / r15374; double r15376 = r15375 - r15361; double r15377 = expm1(r15376); double r15378 = r15377 - r15361; double r15379 = r15363 ? r15370 : r15378; return r15379; } 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 r15380, r15381, r15382, r15383, r15384, r15385; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15380); mpfr_init(r15381); mpfr_init(r15382); mpfr_init(r15383); mpfr_init(r15384); mpfr_init(r15385); } double f_im(double a) { mpfr_set_d(r15380, a, MPFR_RNDN); mpfr_mul(r15381, r15380, r15380, MPFR_RNDN); mpfr_tan(r15382, r15381, MPFR_RNDN); mpfr_sub(r15383, r15382, r15380, MPFR_RNDN); mpfr_expm1(r15384, r15383, MPFR_RNDN); mpfr_sub(r15385, r15384, r15380, MPFR_RNDN); return mpfr_get_d(r15385, MPFR_RNDN); } static mpfr_t r15386, r15387, r15388, r15389, r15390, r15391, r15392, r15393, r15394, r15395, r15396, r15397, r15398, r15399, r15400, r15401, r15402, r15403, r15404; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15386); mpfr_init_set_str(r15387, "557.67554f0", 10, MPFR_RNDN); mpfr_init(r15388); mpfr_init(r15389); mpfr_init(r15390); mpfr_init(r15391); mpfr_init(r15392); mpfr_init(r15393); mpfr_init(r15394); mpfr_init(r15395); mpfr_init_set_str(r15396, "1", 10, MPFR_RNDN); mpfr_init(r15397); mpfr_init(r15398); mpfr_init(r15399); mpfr_init(r15400); mpfr_init(r15401); mpfr_init(r15402); mpfr_init(r15403); mpfr_init(r15404); } double f_fm(double a) { mpfr_set_d(r15386, a, MPFR_RNDN); ; mpfr_set_si(r15388, mpfr_cmp(r15386, r15387) <= 0, MPFR_RNDN); mpfr_sqr(r15389, r15386, MPFR_RNDN); mpfr_tan(r15390, r15389, MPFR_RNDN); mpfr_cbrt(r15391, r15390, MPFR_RNDN); mpfr_mul(r15392, r15391, r15391, MPFR_RNDN); mpfr_mul(r15392, r15392, r15391, MPFR_RNDN); mpfr_sub(r15393, r15392, r15386, MPFR_RNDN); mpfr_expm1(r15394, r15393, MPFR_RNDN); mpfr_sub(r15395, r15394, r15386, MPFR_RNDN); ; mpfr_div(r15397, r15396, r15389, MPFR_RNDN); mpfr_sin(r15398, r15397, MPFR_RNDN); mpfr_cos(r15399, r15397, MPFR_RNDN); mpfr_div(r15400, r15398, r15399, MPFR_RNDN); mpfr_sub(r15401, r15400, r15386, MPFR_RNDN); mpfr_expm1(r15402, r15401, MPFR_RNDN); mpfr_sub(r15403, r15402, r15386, MPFR_RNDN); if (mpfr_get_si(r15388, MPFR_RNDN)) { mpfr_set(r15404, r15395, MPFR_RNDN); } else { mpfr_set(r15404, r15403, MPFR_RNDN); }; return mpfr_get_d(r15404, MPFR_RNDN); } static mpfr_t r15405, r15406, r15407, r15408, r15409, r15410, r15411, r15412, r15413, r15414, r15415, r15416, r15417, r15418, r15419, r15420, r15421, r15422, r15423; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15405); mpfr_init_set_str(r15406, "557.67554f0", 10, MPFR_RNDN); mpfr_init(r15407); mpfr_init(r15408); mpfr_init(r15409); mpfr_init(r15410); mpfr_init(r15411); mpfr_init(r15412); mpfr_init(r15413); mpfr_init(r15414); mpfr_init_set_str(r15415, "1", 10, MPFR_RNDN); mpfr_init(r15416); mpfr_init(r15417); mpfr_init(r15418); mpfr_init(r15419); mpfr_init(r15420); mpfr_init(r15421); mpfr_init(r15422); mpfr_init(r15423); } double f_dm(double a) { mpfr_set_d(r15405, a, MPFR_RNDN); ; mpfr_set_si(r15407, mpfr_cmp(r15405, r15406) <= 0, MPFR_RNDN); mpfr_sqr(r15408, r15405, MPFR_RNDN); mpfr_tan(r15409, r15408, MPFR_RNDN); mpfr_cbrt(r15410, r15409, MPFR_RNDN); mpfr_mul(r15411, r15410, r15410, MPFR_RNDN); mpfr_mul(r15411, r15411, r15410, MPFR_RNDN); mpfr_sub(r15412, r15411, r15405, MPFR_RNDN); mpfr_expm1(r15413, r15412, MPFR_RNDN); mpfr_sub(r15414, r15413, r15405, MPFR_RNDN); ; mpfr_div(r15416, r15415, r15408, MPFR_RNDN); mpfr_sin(r15417, r15416, MPFR_RNDN); mpfr_cos(r15418, r15416, MPFR_RNDN); mpfr_div(r15419, r15417, r15418, MPFR_RNDN); mpfr_sub(r15420, r15419, r15405, MPFR_RNDN); mpfr_expm1(r15421, r15420, MPFR_RNDN); mpfr_sub(r15422, r15421, r15405, MPFR_RNDN); if (mpfr_get_si(r15407, MPFR_RNDN)) { mpfr_set(r15423, r15414, MPFR_RNDN); } else { mpfr_set(r15423, r15422, MPFR_RNDN); }; return mpfr_get_d(r15423, MPFR_RNDN); }