#include #include #include #include #include char *name = "2tan (problem 3.3.2)"; double f_if(float x, float eps) { float r27456 = x; float r27457 = eps; float r27458 = r27456 + r27457; float r27459 = tan(r27458); float r27460 = tan(r27456); float r27461 = r27459 - r27460; return r27461; } double f_id(double x, double eps) { double r27462 = x; double r27463 = eps; double r27464 = r27462 + r27463; double r27465 = tan(r27464); double r27466 = tan(r27462); double r27467 = r27465 - r27466; return r27467; } double f_of(float x, float eps) { float r27468 = x; float r27469 = sin(r27468); float r27470 = cos(r27468); float r27471 = r27469 / r27470; float r27472 = r27471 * r27471; float r27473 = 1; float r27474 = eps; float r27475 = sin(r27474); float r27476 = r27475 / r27470; float r27477 = r27476 * r27476; float r27478 = cos(r27474); float r27479 = r27469 / r27478; float r27480 = r27479 * r27479; float r27481 = r27477 * r27480; float r27482 = r27473 - r27481; float r27483 = r27472 / r27482; float r27484 = r27475 / r27478; float r27485 = cbrt(r27480); float r27486 = r27485 * r27485; float r27487 = r27486 * r27485; float r27488 = r27477 * r27487; float r27489 = r27473 - r27488; float r27490 = r27484 / r27489; float r27491 = fma(r27483, r27484, r27490); float r27492 = fma(r27484, r27484, r27473); float r27493 = r27492 * r27471; float r27494 = r27493 / r27482; float r27495 = r27494 - r27471; float r27496 = r27491 + r27495; return r27496; } double f_od(double x, double eps) { double r27497 = x; double r27498 = sin(r27497); double r27499 = cos(r27497); double r27500 = r27498 / r27499; double r27501 = r27500 * r27500; double r27502 = 1; double r27503 = eps; double r27504 = sin(r27503); double r27505 = r27504 / r27499; double r27506 = r27505 * r27505; double r27507 = cos(r27503); double r27508 = r27498 / r27507; double r27509 = r27508 * r27508; double r27510 = r27506 * r27509; double r27511 = r27502 - r27510; double r27512 = r27501 / r27511; double r27513 = r27504 / r27507; double r27514 = cbrt(r27509); double r27515 = r27514 * r27514; double r27516 = r27515 * r27514; double r27517 = r27506 * r27516; double r27518 = r27502 - r27517; double r27519 = r27513 / r27518; double r27520 = fma(r27512, r27513, r27519); double r27521 = fma(r27513, r27513, r27502); double r27522 = r27521 * r27500; double r27523 = r27522 / r27511; double r27524 = r27523 - r27500; double r27525 = r27520 + r27524; return r27525; } 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 r27526, r27527, r27528, r27529, r27530, r27531; void setup_mpfr_f_im() { mpfr_set_default_prec(2384); mpfr_init(r27526); mpfr_init(r27527); mpfr_init(r27528); mpfr_init(r27529); mpfr_init(r27530); mpfr_init(r27531); } double f_im(double x, double eps) { mpfr_set_d(r27526, x, MPFR_RNDN); mpfr_set_d(r27527, eps, MPFR_RNDN); mpfr_add(r27528, r27526, r27527, MPFR_RNDN); mpfr_tan(r27529, r27528, MPFR_RNDN); mpfr_tan(r27530, r27526, MPFR_RNDN); mpfr_sub(r27531, r27529, r27530, MPFR_RNDN); return mpfr_get_d(r27531, MPFR_RNDN); } static mpfr_t r27532, r27533, r27534, r27535, r27536, r27537, r27538, r27539, r27540, r27541, r27542, r27543, r27544, r27545, r27546, r27547, r27548, r27549, r27550, r27551, r27552, r27553, r27554, r27555, r27556, r27557, r27558, r27559, r27560; void setup_mpfr_f_fm() { mpfr_set_default_prec(2384); mpfr_init(r27532); mpfr_init(r27533); mpfr_init(r27534); mpfr_init(r27535); mpfr_init(r27536); mpfr_init_set_str(r27537, "1", 10, MPFR_RNDN); mpfr_init(r27538); mpfr_init(r27539); mpfr_init(r27540); mpfr_init(r27541); mpfr_init(r27542); mpfr_init(r27543); mpfr_init(r27544); mpfr_init(r27545); mpfr_init(r27546); mpfr_init(r27547); mpfr_init(r27548); mpfr_init(r27549); mpfr_init(r27550); mpfr_init(r27551); mpfr_init(r27552); mpfr_init(r27553); mpfr_init(r27554); mpfr_init(r27555); mpfr_init(r27556); mpfr_init(r27557); mpfr_init(r27558); mpfr_init(r27559); mpfr_init(r27560); } double f_fm(double x, double eps) { mpfr_set_d(r27532, x, MPFR_RNDN); mpfr_sin(r27533, r27532, MPFR_RNDN); mpfr_cos(r27534, r27532, MPFR_RNDN); mpfr_div(r27535, r27533, r27534, MPFR_RNDN); mpfr_mul(r27536, r27535, r27535, MPFR_RNDN); ; mpfr_set_d(r27538, eps, MPFR_RNDN); mpfr_sin(r27539, r27538, MPFR_RNDN); mpfr_div(r27540, r27539, r27534, MPFR_RNDN); mpfr_mul(r27541, r27540, r27540, MPFR_RNDN); mpfr_cos(r27542, r27538, MPFR_RNDN); mpfr_div(r27543, r27533, r27542, MPFR_RNDN); mpfr_mul(r27544, r27543, r27543, MPFR_RNDN); mpfr_mul(r27545, r27541, r27544, MPFR_RNDN); mpfr_sub(r27546, r27537, r27545, MPFR_RNDN); mpfr_div(r27547, r27536, r27546, MPFR_RNDN); mpfr_div(r27548, r27539, r27542, MPFR_RNDN); mpfr_cbrt(r27549, r27544, MPFR_RNDN); mpfr_mul(r27550, r27549, r27549, MPFR_RNDN); mpfr_mul(r27551, r27550, r27549, MPFR_RNDN); mpfr_mul(r27552, r27541, r27551, MPFR_RNDN); mpfr_sub(r27553, r27537, r27552, MPFR_RNDN); mpfr_div(r27554, r27548, r27553, MPFR_RNDN); mpfr_fma(r27555, r27547, r27548, r27554, MPFR_RNDN); mpfr_fma(r27556, r27548, r27548, r27537, MPFR_RNDN); mpfr_mul(r27557, r27556, r27535, MPFR_RNDN); mpfr_div(r27558, r27557, r27546, MPFR_RNDN); mpfr_sub(r27559, r27558, r27535, MPFR_RNDN); mpfr_add(r27560, r27555, r27559, MPFR_RNDN); return mpfr_get_d(r27560, MPFR_RNDN); } static mpfr_t r27561, r27562, r27563, r27564, r27565, r27566, r27567, r27568, r27569, r27570, r27571, r27572, r27573, r27574, r27575, r27576, r27577, r27578, r27579, r27580, r27581, r27582, r27583, r27584, r27585, r27586, r27587, r27588, r27589; void setup_mpfr_f_dm() { mpfr_set_default_prec(2384); mpfr_init(r27561); mpfr_init(r27562); mpfr_init(r27563); mpfr_init(r27564); mpfr_init(r27565); mpfr_init_set_str(r27566, "1", 10, MPFR_RNDN); mpfr_init(r27567); mpfr_init(r27568); mpfr_init(r27569); mpfr_init(r27570); mpfr_init(r27571); mpfr_init(r27572); mpfr_init(r27573); mpfr_init(r27574); mpfr_init(r27575); mpfr_init(r27576); mpfr_init(r27577); mpfr_init(r27578); mpfr_init(r27579); mpfr_init(r27580); mpfr_init(r27581); mpfr_init(r27582); mpfr_init(r27583); mpfr_init(r27584); mpfr_init(r27585); mpfr_init(r27586); mpfr_init(r27587); mpfr_init(r27588); mpfr_init(r27589); } double f_dm(double x, double eps) { mpfr_set_d(r27561, x, MPFR_RNDN); mpfr_sin(r27562, r27561, MPFR_RNDN); mpfr_cos(r27563, r27561, MPFR_RNDN); mpfr_div(r27564, r27562, r27563, MPFR_RNDN); mpfr_mul(r27565, r27564, r27564, MPFR_RNDN); ; mpfr_set_d(r27567, eps, MPFR_RNDN); mpfr_sin(r27568, r27567, MPFR_RNDN); mpfr_div(r27569, r27568, r27563, MPFR_RNDN); mpfr_mul(r27570, r27569, r27569, MPFR_RNDN); mpfr_cos(r27571, r27567, MPFR_RNDN); mpfr_div(r27572, r27562, r27571, MPFR_RNDN); mpfr_mul(r27573, r27572, r27572, MPFR_RNDN); mpfr_mul(r27574, r27570, r27573, MPFR_RNDN); mpfr_sub(r27575, r27566, r27574, MPFR_RNDN); mpfr_div(r27576, r27565, r27575, MPFR_RNDN); mpfr_div(r27577, r27568, r27571, MPFR_RNDN); mpfr_cbrt(r27578, r27573, MPFR_RNDN); mpfr_mul(r27579, r27578, r27578, MPFR_RNDN); mpfr_mul(r27580, r27579, r27578, MPFR_RNDN); mpfr_mul(r27581, r27570, r27580, MPFR_RNDN); mpfr_sub(r27582, r27566, r27581, MPFR_RNDN); mpfr_div(r27583, r27577, r27582, MPFR_RNDN); mpfr_fma(r27584, r27576, r27577, r27583, MPFR_RNDN); mpfr_fma(r27585, r27577, r27577, r27566, MPFR_RNDN); mpfr_mul(r27586, r27585, r27564, MPFR_RNDN); mpfr_div(r27587, r27586, r27575, MPFR_RNDN); mpfr_sub(r27588, r27587, r27564, MPFR_RNDN); mpfr_add(r27589, r27584, r27588, MPFR_RNDN); return mpfr_get_d(r27589, MPFR_RNDN); }