#include #include #include #include #include char *name = "Kahan's exp quotient"; double f_if(float x) { float r22118 = x; float r22119 = exp(r22118); float r22120 = 1; float r22121 = r22119 - r22120; float r22122 = r22121 / r22118; return r22122; } double f_id(double x) { double r22123 = x; double r22124 = exp(r22123); double r22125 = 1; double r22126 = r22124 - r22125; double r22127 = r22126 / r22123; return r22127; } double f_of(float x) { float r22128 = 1/6; float r22129 = x; float r22130 = 2; float r22131 = pow(r22129, r22130); float r22132 = r22128 * r22131; float r22133 = 1; float r22134 = 1/2; float r22135 = r22134 * r22129; float r22136 = r22133 + r22135; float r22137 = r22132 + r22136; float r22138 = 1.0085994019832611; bool r22139 = r22137 <= r22138; float r22140 = r22129 + r22129; float r22141 = exp(r22140); float r22142 = exp(r22129); float r22143 = r22142 + r22133; float r22144 = r22141 / r22143; float r22145 = r22144 / r22129; float r22146 = r22133 / r22143; float r22147 = r22146 / r22129; float r22148 = r22145 - r22147; float r22149 = r22139 ? r22137 : r22148; return r22149; } double f_od(double x) { double r22150 = 1/6; double r22151 = x; double r22152 = 2; double r22153 = pow(r22151, r22152); double r22154 = r22150 * r22153; double r22155 = 1; double r22156 = 1/2; double r22157 = r22156 * r22151; double r22158 = r22155 + r22157; double r22159 = r22154 + r22158; double r22160 = 1.0085994019832611; bool r22161 = r22159 <= r22160; double r22162 = r22151 + r22151; double r22163 = exp(r22162); double r22164 = exp(r22151); double r22165 = r22164 + r22155; double r22166 = r22163 / r22165; double r22167 = r22166 / r22151; double r22168 = r22155 / r22165; double r22169 = r22168 / r22151; double r22170 = r22167 - r22169; double r22171 = r22161 ? r22159 : r22170; return r22171; } 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 r22172, r22173, r22174, r22175, r22176; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init(r22172); mpfr_init(r22173); mpfr_init_set_str(r22174, "1", 10, MPFR_RNDN); mpfr_init(r22175); mpfr_init(r22176); } double f_im(double x) { mpfr_set_d(r22172, x, MPFR_RNDN); mpfr_exp(r22173, r22172, MPFR_RNDN); ; mpfr_sub(r22175, r22173, r22174, MPFR_RNDN); mpfr_div(r22176, r22175, r22172, MPFR_RNDN); return mpfr_get_d(r22176, MPFR_RNDN); } static mpfr_t r22177, r22178, r22179, r22180, r22181, r22182, r22183, r22184, r22185, r22186, r22187, r22188, r22189, r22190, r22191, r22192, r22193, r22194, r22195, r22196, r22197, r22198; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r22177, "1/6", 10, MPFR_RNDN); mpfr_init(r22178); mpfr_init_set_str(r22179, "2", 10, MPFR_RNDN); mpfr_init(r22180); mpfr_init(r22181); mpfr_init_set_str(r22182, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22183, "1/2", 10, MPFR_RNDN); mpfr_init(r22184); mpfr_init(r22185); mpfr_init(r22186); mpfr_init_set_str(r22187, "1.0085994019832611", 10, MPFR_RNDN); mpfr_init(r22188); mpfr_init(r22189); mpfr_init(r22190); mpfr_init(r22191); mpfr_init(r22192); mpfr_init(r22193); mpfr_init(r22194); mpfr_init(r22195); mpfr_init(r22196); mpfr_init(r22197); mpfr_init(r22198); } double f_fm(double x) { ; mpfr_set_d(r22178, x, MPFR_RNDN); ; mpfr_pow(r22180, r22178, r22179, MPFR_RNDN); mpfr_mul(r22181, r22177, r22180, MPFR_RNDN); ; ; mpfr_mul(r22184, r22183, r22178, MPFR_RNDN); mpfr_add(r22185, r22182, r22184, MPFR_RNDN); mpfr_add(r22186, r22181, r22185, MPFR_RNDN); ; mpfr_set_si(r22188, mpfr_cmp(r22186, r22187) <= 0, MPFR_RNDN); mpfr_add(r22189, r22178, r22178, MPFR_RNDN); mpfr_exp(r22190, r22189, MPFR_RNDN); mpfr_exp(r22191, r22178, MPFR_RNDN); mpfr_add(r22192, r22191, r22182, MPFR_RNDN); mpfr_div(r22193, r22190, r22192, MPFR_RNDN); mpfr_div(r22194, r22193, r22178, MPFR_RNDN); mpfr_div(r22195, r22182, r22192, MPFR_RNDN); mpfr_div(r22196, r22195, r22178, MPFR_RNDN); mpfr_sub(r22197, r22194, r22196, MPFR_RNDN); if (mpfr_get_si(r22188, MPFR_RNDN)) { mpfr_set(r22198, r22186, MPFR_RNDN); } else { mpfr_set(r22198, r22197, MPFR_RNDN); }; return mpfr_get_d(r22198, MPFR_RNDN); } static mpfr_t r22199, r22200, r22201, r22202, r22203, r22204, r22205, r22206, r22207, r22208, r22209, r22210, r22211, r22212, r22213, r22214, r22215, r22216, r22217, r22218, r22219, r22220; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r22199, "1/6", 10, MPFR_RNDN); mpfr_init(r22200); mpfr_init_set_str(r22201, "2", 10, MPFR_RNDN); mpfr_init(r22202); mpfr_init(r22203); mpfr_init_set_str(r22204, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22205, "1/2", 10, MPFR_RNDN); mpfr_init(r22206); mpfr_init(r22207); mpfr_init(r22208); mpfr_init_set_str(r22209, "1.0085994019832611", 10, MPFR_RNDN); mpfr_init(r22210); mpfr_init(r22211); mpfr_init(r22212); mpfr_init(r22213); mpfr_init(r22214); mpfr_init(r22215); mpfr_init(r22216); mpfr_init(r22217); mpfr_init(r22218); mpfr_init(r22219); mpfr_init(r22220); } double f_dm(double x) { ; mpfr_set_d(r22200, x, MPFR_RNDN); ; mpfr_pow(r22202, r22200, r22201, MPFR_RNDN); mpfr_mul(r22203, r22199, r22202, MPFR_RNDN); ; ; mpfr_mul(r22206, r22205, r22200, MPFR_RNDN); mpfr_add(r22207, r22204, r22206, MPFR_RNDN); mpfr_add(r22208, r22203, r22207, MPFR_RNDN); ; mpfr_set_si(r22210, mpfr_cmp(r22208, r22209) <= 0, MPFR_RNDN); mpfr_add(r22211, r22200, r22200, MPFR_RNDN); mpfr_exp(r22212, r22211, MPFR_RNDN); mpfr_exp(r22213, r22200, MPFR_RNDN); mpfr_add(r22214, r22213, r22204, MPFR_RNDN); mpfr_div(r22215, r22212, r22214, MPFR_RNDN); mpfr_div(r22216, r22215, r22200, MPFR_RNDN); mpfr_div(r22217, r22204, r22214, MPFR_RNDN); mpfr_div(r22218, r22217, r22200, MPFR_RNDN); mpfr_sub(r22219, r22216, r22218, MPFR_RNDN); if (mpfr_get_si(r22210, MPFR_RNDN)) { mpfr_set(r22220, r22208, MPFR_RNDN); } else { mpfr_set(r22220, r22219, MPFR_RNDN); }; return mpfr_get_d(r22220, MPFR_RNDN); }