#include #include #include #include #include char *name = "Bouland and Aaronson, Equation (25)"; double f_if(float a, float b) { float r17117 = a; float r17118 = r17117 * r17117; float r17119 = b; float r17120 = r17119 * r17119; float r17121 = r17118 + r17120; float r17122 = r17121 * r17121; float r17123 = 4.0f; float r17124 = 1.0f; float r17125 = r17124 + r17117; float r17126 = r17118 * r17125; float r17127 = 3.0f; float r17128 = r17127 * r17117; float r17129 = r17124 - r17128; float r17130 = r17120 * r17129; float r17131 = r17126 + r17130; float r17132 = r17123 * r17131; float r17133 = r17122 + r17132; float r17134 = r17133 - r17124; return r17134; } double f_id(double a, double b) { double r17135 = a; double r17136 = r17135 * r17135; double r17137 = b; double r17138 = r17137 * r17137; double r17139 = r17136 + r17138; double r17140 = r17139 * r17139; double r17141 = 4.0; double r17142 = 1.0; double r17143 = r17142 + r17135; double r17144 = r17136 * r17143; double r17145 = 3.0; double r17146 = r17145 * r17135; double r17147 = r17142 - r17146; double r17148 = r17138 * r17147; double r17149 = r17144 + r17148; double r17150 = r17141 * r17149; double r17151 = r17140 + r17150; double r17152 = r17151 - r17142; return r17152; } double f_of(float a, float b) { float r17153 = b; float r17154 = 4.0f; float r17155 = pow(r17153, r17154); float r17156 = 2.0f; float r17157 = r17153 * r17153; float r17158 = a; float r17159 = r17158 * r17158; float r17160 = r17157 * r17159; float r17161 = r17156 * r17160; float r17162 = pow(r17158, r17154); float r17163 = r17161 + r17162; float r17164 = r17155 + r17163; float r17165 = 1.0f; float r17166 = r17165 + r17158; float r17167 = r17159 * r17166; float r17168 = 3.0f; float r17169 = r17168 * r17158; float r17170 = r17165 - r17169; float r17171 = r17157 * r17170; float r17172 = r17167 + r17171; float r17173 = r17154 * r17172; float r17174 = r17164 + r17173; float r17175 = r17174 - r17165; return r17175; } double f_od(double a, double b) { double r17176 = b; double r17177 = 4.0; double r17178 = pow(r17176, r17177); double r17179 = 2.0; double r17180 = r17176 * r17176; double r17181 = a; double r17182 = r17181 * r17181; double r17183 = r17180 * r17182; double r17184 = r17179 * r17183; double r17185 = pow(r17181, r17177); double r17186 = r17184 + r17185; double r17187 = r17178 + r17186; double r17188 = 1.0; double r17189 = r17188 + r17181; double r17190 = r17182 * r17189; double r17191 = 3.0; double r17192 = r17191 * r17181; double r17193 = r17188 - r17192; double r17194 = r17180 * r17193; double r17195 = r17190 + r17194; double r17196 = r17177 * r17195; double r17197 = r17187 + r17196; double r17198 = r17197 - r17188; return r17198; } 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 r17199, r17200, r17201, r17202, r17203, r17204, r17205, r17206, r17207, r17208, r17209, r17210, r17211, r17212, r17213, r17214, r17215, r17216; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17199); mpfr_init(r17200); mpfr_init(r17201); mpfr_init(r17202); mpfr_init(r17203); mpfr_init(r17204); mpfr_init_set_str(r17205, "4", 10, MPFR_RNDN); mpfr_init_set_str(r17206, "1", 10, MPFR_RNDN); mpfr_init(r17207); mpfr_init(r17208); mpfr_init_set_str(r17209, "3", 10, MPFR_RNDN); mpfr_init(r17210); mpfr_init(r17211); mpfr_init(r17212); mpfr_init(r17213); mpfr_init(r17214); mpfr_init(r17215); mpfr_init(r17216); } double f_im(double a, double b) { mpfr_set_d(r17199, a, MPFR_RNDN); mpfr_sqr(r17200, r17199, MPFR_RNDN); mpfr_set_d(r17201, b, MPFR_RNDN); mpfr_sqr(r17202, r17201, MPFR_RNDN); mpfr_add(r17203, r17200, r17202, MPFR_RNDN); mpfr_sqr(r17204, r17203, MPFR_RNDN); ; ; mpfr_add(r17207, r17206, r17199, MPFR_RNDN); mpfr_mul(r17208, r17200, r17207, MPFR_RNDN); ; mpfr_mul(r17210, r17209, r17199, MPFR_RNDN); mpfr_sub(r17211, r17206, r17210, MPFR_RNDN); mpfr_mul(r17212, r17202, r17211, MPFR_RNDN); mpfr_add(r17213, r17208, r17212, MPFR_RNDN); mpfr_mul(r17214, r17205, r17213, MPFR_RNDN); mpfr_add(r17215, r17204, r17214, MPFR_RNDN); mpfr_sub(r17216, r17215, r17206, MPFR_RNDN); return mpfr_get_d(r17216, MPFR_RNDN); } static mpfr_t r17217, r17218, r17219, r17220, r17221, r17222, r17223, r17224, r17225, r17226, r17227, r17228, r17229, r17230, r17231, r17232, r17233, r17234, r17235, r17236, r17237, r17238, r17239; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17217); mpfr_init_set_str(r17218, "4", 10, MPFR_RNDN); mpfr_init(r17219); mpfr_init_set_str(r17220, "2", 10, MPFR_RNDN); mpfr_init(r17221); mpfr_init(r17222); mpfr_init(r17223); mpfr_init(r17224); mpfr_init(r17225); mpfr_init(r17226); mpfr_init(r17227); mpfr_init(r17228); mpfr_init_set_str(r17229, "1", 10, MPFR_RNDN); mpfr_init(r17230); mpfr_init(r17231); mpfr_init_set_str(r17232, "3", 10, MPFR_RNDN); mpfr_init(r17233); mpfr_init(r17234); mpfr_init(r17235); mpfr_init(r17236); mpfr_init(r17237); mpfr_init(r17238); mpfr_init(r17239); } double f_fm(double a, double b) { mpfr_set_d(r17217, b, MPFR_RNDN); ; mpfr_pow(r17219, r17217, r17218, MPFR_RNDN); ; mpfr_sqr(r17221, r17217, MPFR_RNDN); mpfr_set_d(r17222, a, MPFR_RNDN); mpfr_sqr(r17223, r17222, MPFR_RNDN); mpfr_mul(r17224, r17221, r17223, MPFR_RNDN); mpfr_mul(r17225, r17220, r17224, MPFR_RNDN); mpfr_pow(r17226, r17222, r17218, MPFR_RNDN); mpfr_add(r17227, r17225, r17226, MPFR_RNDN); mpfr_add(r17228, r17219, r17227, MPFR_RNDN); ; mpfr_add(r17230, r17229, r17222, MPFR_RNDN); mpfr_mul(r17231, r17223, r17230, MPFR_RNDN); ; mpfr_mul(r17233, r17232, r17222, MPFR_RNDN); mpfr_sub(r17234, r17229, r17233, MPFR_RNDN); mpfr_mul(r17235, r17221, r17234, MPFR_RNDN); mpfr_add(r17236, r17231, r17235, MPFR_RNDN); mpfr_mul(r17237, r17218, r17236, MPFR_RNDN); mpfr_add(r17238, r17228, r17237, MPFR_RNDN); mpfr_sub(r17239, r17238, r17229, MPFR_RNDN); return mpfr_get_d(r17239, MPFR_RNDN); } static mpfr_t r17240, r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250, r17251, r17252, r17253, r17254, r17255, r17256, r17257, r17258, r17259, r17260, r17261, r17262; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17240); mpfr_init_set_str(r17241, "4", 10, MPFR_RNDN); mpfr_init(r17242); mpfr_init_set_str(r17243, "2", 10, MPFR_RNDN); mpfr_init(r17244); mpfr_init(r17245); mpfr_init(r17246); mpfr_init(r17247); mpfr_init(r17248); mpfr_init(r17249); mpfr_init(r17250); mpfr_init(r17251); mpfr_init_set_str(r17252, "1", 10, MPFR_RNDN); mpfr_init(r17253); mpfr_init(r17254); mpfr_init_set_str(r17255, "3", 10, MPFR_RNDN); mpfr_init(r17256); mpfr_init(r17257); mpfr_init(r17258); mpfr_init(r17259); mpfr_init(r17260); mpfr_init(r17261); mpfr_init(r17262); } double f_dm(double a, double b) { mpfr_set_d(r17240, b, MPFR_RNDN); ; mpfr_pow(r17242, r17240, r17241, MPFR_RNDN); ; mpfr_sqr(r17244, r17240, MPFR_RNDN); mpfr_set_d(r17245, a, MPFR_RNDN); mpfr_sqr(r17246, r17245, MPFR_RNDN); mpfr_mul(r17247, r17244, r17246, MPFR_RNDN); mpfr_mul(r17248, r17243, r17247, MPFR_RNDN); mpfr_pow(r17249, r17245, r17241, MPFR_RNDN); mpfr_add(r17250, r17248, r17249, MPFR_RNDN); mpfr_add(r17251, r17242, r17250, MPFR_RNDN); ; mpfr_add(r17253, r17252, r17245, MPFR_RNDN); mpfr_mul(r17254, r17246, r17253, MPFR_RNDN); ; mpfr_mul(r17256, r17255, r17245, MPFR_RNDN); mpfr_sub(r17257, r17252, r17256, MPFR_RNDN); mpfr_mul(r17258, r17244, r17257, MPFR_RNDN); mpfr_add(r17259, r17254, r17258, MPFR_RNDN); mpfr_mul(r17260, r17241, r17259, MPFR_RNDN); mpfr_add(r17261, r17251, r17260, MPFR_RNDN); mpfr_sub(r17262, r17261, r17252, MPFR_RNDN); return mpfr_get_d(r17262, MPFR_RNDN); }