#include #include #include #include #include char *name = "The quadratic formula (r1)"; double f_if(float a, float b, float c) { float r17154 = b; float r17155 = -r17154; float r17156 = r17154 * r17154; float r17157 = 4.0f; float r17158 = a; float r17159 = r17157 * r17158; float r17160 = c; float r17161 = r17159 * r17160; float r17162 = r17156 - r17161; float r17163 = sqrt(r17162); float r17164 = r17155 + r17163; float r17165 = 2.0f; float r17166 = r17165 * r17158; float r17167 = r17164 / r17166; return r17167; } double f_id(double a, double b, double c) { double r17168 = b; double r17169 = -r17168; double r17170 = r17168 * r17168; double r17171 = 4.0; double r17172 = a; double r17173 = r17171 * r17172; double r17174 = c; double r17175 = r17173 * r17174; double r17176 = r17170 - r17175; double r17177 = sqrt(r17176); double r17178 = r17169 + r17177; double r17179 = 2.0; double r17180 = r17179 * r17172; double r17181 = r17178 / r17180; return r17181; } double f_of(float a, float b, float c) { float r17182 = 4.0f; float r17183 = a; float r17184 = r17182 * r17183; float r17185 = c; float r17186 = r17184 * r17185; float r17187 = b; float r17188 = -r17187; float r17189 = r17187 * r17187; float r17190 = r17189 - r17186; float r17191 = sqrt(r17190); float r17192 = r17188 - r17191; float r17193 = r17186 / r17192; float r17194 = 2.0f; float r17195 = r17194 * r17183; float r17196 = r17193 / r17195; return r17196; } double f_od(double a, double b, double c) { double r17197 = 4.0; double r17198 = a; double r17199 = r17197 * r17198; double r17200 = c; double r17201 = r17199 * r17200; double r17202 = b; double r17203 = -r17202; double r17204 = r17202 * r17202; double r17205 = r17204 - r17201; double r17206 = sqrt(r17205); double r17207 = r17203 - r17206; double r17208 = r17201 / r17207; double r17209 = 2.0; double r17210 = r17209 * r17198; double r17211 = r17208 / r17210; return r17211; } 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 r17212, r17213, r17214, r17215, r17216, r17217, r17218, r17219, r17220, r17221, r17222, r17223, r17224, r17225; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17212); mpfr_init(r17213); mpfr_init(r17214); mpfr_init_set_str(r17215, "4", 10, MPFR_RNDN); mpfr_init(r17216); mpfr_init(r17217); mpfr_init(r17218); mpfr_init(r17219); mpfr_init(r17220); mpfr_init(r17221); mpfr_init(r17222); mpfr_init_set_str(r17223, "2", 10, MPFR_RNDN); mpfr_init(r17224); mpfr_init(r17225); } double f_im(double a, double b, double c) { mpfr_set_d(r17212, b, MPFR_RNDN); mpfr_neg(r17213, r17212, MPFR_RNDN); mpfr_sqr(r17214, r17212, MPFR_RNDN); ; mpfr_set_d(r17216, a, MPFR_RNDN); mpfr_mul(r17217, r17215, r17216, MPFR_RNDN); mpfr_set_d(r17218, c, MPFR_RNDN); mpfr_mul(r17219, r17217, r17218, MPFR_RNDN); mpfr_sub(r17220, r17214, r17219, MPFR_RNDN); mpfr_sqrt(r17221, r17220, MPFR_RNDN); mpfr_add(r17222, r17213, r17221, MPFR_RNDN); ; mpfr_mul(r17224, r17223, r17216, MPFR_RNDN); mpfr_div(r17225, r17222, r17224, MPFR_RNDN); return mpfr_get_d(r17225, MPFR_RNDN); } static mpfr_t r17226, r17227, r17228, r17229, r17230, r17231, r17232, r17233, r17234, r17235, r17236, r17237, r17238, r17239, r17240; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r17226, "4", 10, MPFR_RNDN); mpfr_init(r17227); mpfr_init(r17228); mpfr_init(r17229); mpfr_init(r17230); mpfr_init(r17231); mpfr_init(r17232); mpfr_init(r17233); mpfr_init(r17234); mpfr_init(r17235); mpfr_init(r17236); mpfr_init(r17237); mpfr_init_set_str(r17238, "2", 10, MPFR_RNDN); mpfr_init(r17239); mpfr_init(r17240); } double f_fm(double a, double b, double c) { ; mpfr_set_d(r17227, a, MPFR_RNDN); mpfr_mul(r17228, r17226, r17227, MPFR_RNDN); mpfr_set_d(r17229, c, MPFR_RNDN); mpfr_mul(r17230, r17228, r17229, MPFR_RNDN); mpfr_set_d(r17231, b, MPFR_RNDN); mpfr_neg(r17232, r17231, MPFR_RNDN); mpfr_sqr(r17233, r17231, MPFR_RNDN); mpfr_sub(r17234, r17233, r17230, MPFR_RNDN); mpfr_sqrt(r17235, r17234, MPFR_RNDN); mpfr_sub(r17236, r17232, r17235, MPFR_RNDN); mpfr_div(r17237, r17230, r17236, MPFR_RNDN); ; mpfr_mul(r17239, r17238, r17227, MPFR_RNDN); mpfr_div(r17240, r17237, r17239, MPFR_RNDN); return mpfr_get_d(r17240, MPFR_RNDN); } static mpfr_t r17241, r17242, r17243, r17244, r17245, r17246, r17247, r17248, r17249, r17250, r17251, r17252, r17253, r17254, r17255; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r17241, "4", 10, MPFR_RNDN); mpfr_init(r17242); mpfr_init(r17243); 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(r17252); mpfr_init_set_str(r17253, "2", 10, MPFR_RNDN); mpfr_init(r17254); mpfr_init(r17255); } double f_dm(double a, double b, double c) { ; mpfr_set_d(r17242, a, MPFR_RNDN); mpfr_mul(r17243, r17241, r17242, MPFR_RNDN); mpfr_set_d(r17244, c, MPFR_RNDN); mpfr_mul(r17245, r17243, r17244, MPFR_RNDN); mpfr_set_d(r17246, b, MPFR_RNDN); mpfr_neg(r17247, r17246, MPFR_RNDN); mpfr_sqr(r17248, r17246, MPFR_RNDN); mpfr_sub(r17249, r17248, r17245, MPFR_RNDN); mpfr_sqrt(r17250, r17249, MPFR_RNDN); mpfr_sub(r17251, r17247, r17250, MPFR_RNDN); mpfr_div(r17252, r17245, r17251, MPFR_RNDN); ; mpfr_mul(r17254, r17253, r17242, MPFR_RNDN); mpfr_div(r17255, r17252, r17254, MPFR_RNDN); return mpfr_get_d(r17255, MPFR_RNDN); }