#include #include #include #include #include char *name = "fabs fraction 1"; double f_if(float x, float y, float z) { float r22084 = x; float r22085 = 4; float r22086 = r22084 + r22085; float r22087 = y; float r22088 = r22086 / r22087; float r22089 = r22084 / r22087; float r22090 = z; float r22091 = r22089 * r22090; float r22092 = r22088 - r22091; float r22093 = fabs(r22092); return r22093; } double f_id(double x, double y, double z) { double r22094 = x; double r22095 = 4; double r22096 = r22094 + r22095; double r22097 = y; double r22098 = r22096 / r22097; double r22099 = r22094 / r22097; double r22100 = z; double r22101 = r22099 * r22100; double r22102 = r22098 - r22101; double r22103 = fabs(r22102); return r22103; } double f_of(float x, float y, float z) { float r22104 = x; float r22105 = 4; float r22106 = r22104 + r22105; float r22107 = y; float r22108 = r22106 / r22107; float r22109 = z; float r22110 = r22109 / r22107; float r22111 = r22104 * r22110; float r22112 = r22108 - r22111; float r22113 = fabs(r22112); float r22114 = 1.9252027433535527e+211; bool r22115 = r22113 <= r22114; float r22116 = r22104 / r22107; float r22117 = r22116 * r22109; float r22118 = r22108 - r22117; float r22119 = fabs(r22118); float r22120 = r22115 ? r22113 : r22119; return r22120; } double f_od(double x, double y, double z) { double r22121 = x; double r22122 = 4; double r22123 = r22121 + r22122; double r22124 = y; double r22125 = r22123 / r22124; double r22126 = z; double r22127 = r22126 / r22124; double r22128 = r22121 * r22127; double r22129 = r22125 - r22128; double r22130 = fabs(r22129); double r22131 = 1.9252027433535527e+211; bool r22132 = r22130 <= r22131; double r22133 = r22121 / r22124; double r22134 = r22133 * r22126; double r22135 = r22125 - r22134; double r22136 = fabs(r22135); double r22137 = r22132 ? r22130 : r22136; return r22137; } 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 r22138, r22139, r22140, r22141, r22142, r22143, r22144, r22145, r22146, r22147; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r22138); mpfr_init_set_str(r22139, "4", 10, MPFR_RNDN); mpfr_init(r22140); mpfr_init(r22141); mpfr_init(r22142); mpfr_init(r22143); mpfr_init(r22144); mpfr_init(r22145); mpfr_init(r22146); mpfr_init(r22147); } double f_im(double x, double y, double z) { mpfr_set_d(r22138, x, MPFR_RNDN); ; mpfr_add(r22140, r22138, r22139, MPFR_RNDN); mpfr_set_d(r22141, y, MPFR_RNDN); mpfr_div(r22142, r22140, r22141, MPFR_RNDN); mpfr_div(r22143, r22138, r22141, MPFR_RNDN); mpfr_set_d(r22144, z, MPFR_RNDN); mpfr_mul(r22145, r22143, r22144, MPFR_RNDN); mpfr_sub(r22146, r22142, r22145, MPFR_RNDN); mpfr_abs(r22147, r22146, MPFR_RNDN); return mpfr_get_d(r22147, MPFR_RNDN); } static mpfr_t r22148, r22149, r22150, r22151, r22152, r22153, r22154, r22155, r22156, r22157, r22158, r22159, r22160, r22161, r22162, r22163, r22164; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r22148); mpfr_init_set_str(r22149, "4", 10, MPFR_RNDN); mpfr_init(r22150); mpfr_init(r22151); mpfr_init(r22152); mpfr_init(r22153); mpfr_init(r22154); mpfr_init(r22155); mpfr_init(r22156); mpfr_init(r22157); mpfr_init_set_str(r22158, "1.9252027433535527e+211", 10, MPFR_RNDN); mpfr_init(r22159); mpfr_init(r22160); mpfr_init(r22161); mpfr_init(r22162); mpfr_init(r22163); mpfr_init(r22164); } double f_fm(double x, double y, double z) { mpfr_set_d(r22148, x, MPFR_RNDN); ; mpfr_add(r22150, r22148, r22149, MPFR_RNDN); mpfr_set_d(r22151, y, MPFR_RNDN); mpfr_div(r22152, r22150, r22151, MPFR_RNDN); mpfr_set_d(r22153, z, MPFR_RNDN); mpfr_div(r22154, r22153, r22151, MPFR_RNDN); mpfr_mul(r22155, r22148, r22154, MPFR_RNDN); mpfr_sub(r22156, r22152, r22155, MPFR_RNDN); mpfr_abs(r22157, r22156, MPFR_RNDN); ; mpfr_set_si(r22159, mpfr_cmp(r22157, r22158) <= 0, MPFR_RNDN); mpfr_div(r22160, r22148, r22151, MPFR_RNDN); mpfr_mul(r22161, r22160, r22153, MPFR_RNDN); mpfr_sub(r22162, r22152, r22161, MPFR_RNDN); mpfr_abs(r22163, r22162, MPFR_RNDN); if (mpfr_get_si(r22159, MPFR_RNDN)) { mpfr_set(r22164, r22157, MPFR_RNDN); } else { mpfr_set(r22164, r22163, MPFR_RNDN); }; return mpfr_get_d(r22164, MPFR_RNDN); } static mpfr_t r22165, r22166, r22167, r22168, r22169, r22170, r22171, r22172, r22173, r22174, r22175, r22176, r22177, r22178, r22179, r22180, r22181; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r22165); mpfr_init_set_str(r22166, "4", 10, MPFR_RNDN); mpfr_init(r22167); mpfr_init(r22168); mpfr_init(r22169); mpfr_init(r22170); mpfr_init(r22171); mpfr_init(r22172); mpfr_init(r22173); mpfr_init(r22174); mpfr_init_set_str(r22175, "1.9252027433535527e+211", 10, MPFR_RNDN); mpfr_init(r22176); mpfr_init(r22177); mpfr_init(r22178); mpfr_init(r22179); mpfr_init(r22180); mpfr_init(r22181); } double f_dm(double x, double y, double z) { mpfr_set_d(r22165, x, MPFR_RNDN); ; mpfr_add(r22167, r22165, r22166, MPFR_RNDN); mpfr_set_d(r22168, y, MPFR_RNDN); mpfr_div(r22169, r22167, r22168, MPFR_RNDN); mpfr_set_d(r22170, z, MPFR_RNDN); mpfr_div(r22171, r22170, r22168, MPFR_RNDN); mpfr_mul(r22172, r22165, r22171, MPFR_RNDN); mpfr_sub(r22173, r22169, r22172, MPFR_RNDN); mpfr_abs(r22174, r22173, MPFR_RNDN); ; mpfr_set_si(r22176, mpfr_cmp(r22174, r22175) <= 0, MPFR_RNDN); mpfr_div(r22177, r22165, r22168, MPFR_RNDN); mpfr_mul(r22178, r22177, r22170, MPFR_RNDN); mpfr_sub(r22179, r22169, r22178, MPFR_RNDN); mpfr_abs(r22180, r22179, MPFR_RNDN); if (mpfr_get_si(r22176, MPFR_RNDN)) { mpfr_set(r22181, r22174, MPFR_RNDN); } else { mpfr_set(r22181, r22180, MPFR_RNDN); }; return mpfr_get_d(r22181, MPFR_RNDN); }