#include #include #include #include #include char *name = "jeff quadratic root 2"; double f_if(float a, float b, float c) { float r15037 = b; float r15038 = 0.0f; bool r15039 = r15037 >= r15038; float r15040 = 2.0f; float r15041 = c; float r15042 = r15040 * r15041; float r15043 = -r15037; float r15044 = r15037 * r15037; float r15045 = 4.0f; float r15046 = a; float r15047 = r15045 * r15046; float r15048 = r15047 * r15041; float r15049 = r15044 - r15048; float r15050 = sqrt(r15049); float r15051 = r15043 - r15050; float r15052 = r15042 / r15051; float r15053 = r15043 + r15050; float r15054 = r15040 * r15046; float r15055 = r15053 / r15054; float r15056 = r15039 ? r15052 : r15055; return r15056; } double f_id(double a, double b, double c) { double r15057 = b; double r15058 = 0.0; bool r15059 = r15057 >= r15058; double r15060 = 2.0; double r15061 = c; double r15062 = r15060 * r15061; double r15063 = -r15057; double r15064 = r15057 * r15057; double r15065 = 4.0; double r15066 = a; double r15067 = r15065 * r15066; double r15068 = r15067 * r15061; double r15069 = r15064 - r15068; double r15070 = sqrt(r15069); double r15071 = r15063 - r15070; double r15072 = r15062 / r15071; double r15073 = r15063 + r15070; double r15074 = r15060 * r15066; double r15075 = r15073 / r15074; double r15076 = r15059 ? r15072 : r15075; return r15076; } double f_of(float a, float b, float c) { float r15077 = b; float r15078 = -16844219392.0f; bool r15079 = r15077 <= r15078; float r15080 = 0.0f; bool r15081 = r15077 >= r15080; float r15082 = c; float r15083 = 2.0f; float r15084 = r15082 * r15083; float r15085 = -r15077; float r15086 = r15077 * r15077; float r15087 = 4.0f; float r15088 = r15087 * r15082; float r15089 = a; float r15090 = r15088 * r15089; float r15091 = r15086 - r15090; float r15092 = sqrt(r15091); float r15093 = r15085 - r15092; float r15094 = r15084 / r15093; float r15095 = r15082 / r15077; float r15096 = r15077 / r15089; float r15097 = r15095 - r15096; float r15098 = r15081 ? r15094 : r15097; float r15099 = 2.229931901798318e+17f; bool r15100 = r15077 <= r15099; float r15101 = r15083 * r15082; float r15102 = r15087 * r15089; float r15103 = r15102 * r15082; float r15104 = r15086 - r15103; float r15105 = sqrt(r15104); float r15106 = sqrt(r15105); float r15107 = r15106 * r15106; float r15108 = r15085 - r15107; float r15109 = r15101 / r15108; float r15110 = r15085 + r15105; float r15111 = r15083 * r15089; float r15112 = r15110 / r15111; float r15113 = r15081 ? r15109 : r15112; float r15114 = cbrt(r15095); float r15115 = cbrt(r15089); float r15116 = r15114 * r15115; float r15117 = r15116 * (r15116 * r15116); float r15118 = r15085 - r15077; float r15119 = fma(r15117, r15083, r15118); float r15120 = r15084 / r15119; float r15121 = r15089 * r15082; float r15122 = r15121 * r15087; float r15123 = r15086 - r15122; float r15124 = sqrt(r15123); float r15125 = r15124 + r15085; float r15126 = r15125 / r15111; float r15127 = r15081 ? r15120 : r15126; float r15128 = r15100 ? r15113 : r15127; float r15129 = r15079 ? r15098 : r15128; return r15129; } double f_od(double a, double b, double c) { double r15130 = b; double r15131 = -16844219392.0; bool r15132 = r15130 <= r15131; double r15133 = 0.0; bool r15134 = r15130 >= r15133; double r15135 = c; double r15136 = 2.0; double r15137 = r15135 * r15136; double r15138 = -r15130; double r15139 = r15130 * r15130; double r15140 = 4.0; double r15141 = r15140 * r15135; double r15142 = a; double r15143 = r15141 * r15142; double r15144 = r15139 - r15143; double r15145 = sqrt(r15144); double r15146 = r15138 - r15145; double r15147 = r15137 / r15146; double r15148 = r15135 / r15130; double r15149 = r15130 / r15142; double r15150 = r15148 - r15149; double r15151 = r15134 ? r15147 : r15150; double r15152 = 2.229931901798318e+17; bool r15153 = r15130 <= r15152; double r15154 = r15136 * r15135; double r15155 = r15140 * r15142; double r15156 = r15155 * r15135; double r15157 = r15139 - r15156; double r15158 = sqrt(r15157); double r15159 = sqrt(r15158); double r15160 = r15159 * r15159; double r15161 = r15138 - r15160; double r15162 = r15154 / r15161; double r15163 = r15138 + r15158; double r15164 = r15136 * r15142; double r15165 = r15163 / r15164; double r15166 = r15134 ? r15162 : r15165; double r15167 = cbrt(r15148); double r15168 = cbrt(r15142); double r15169 = r15167 * r15168; double r15170 = r15169 * (r15169 * r15169); double r15171 = r15138 - r15130; double r15172 = fma(r15170, r15136, r15171); double r15173 = r15137 / r15172; double r15174 = r15142 * r15135; double r15175 = r15174 * r15140; double r15176 = r15139 - r15175; double r15177 = sqrt(r15176); double r15178 = r15177 + r15138; double r15179 = r15178 / r15164; double r15180 = r15134 ? r15173 : r15179; double r15181 = r15153 ? r15166 : r15180; double r15182 = r15132 ? r15151 : r15181; return r15182; } 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 r15183, r15184, r15185, r15186, r15187, r15188, r15189, r15190, r15191, r15192, r15193, r15194, r15195, r15196, r15197, r15198, r15199, r15200, r15201, r15202; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15183); mpfr_init_set_str(r15184, "0", 10, MPFR_RNDN); mpfr_init(r15185); mpfr_init_set_str(r15186, "2", 10, MPFR_RNDN); mpfr_init(r15187); mpfr_init(r15188); mpfr_init(r15189); mpfr_init(r15190); mpfr_init_set_str(r15191, "4", 10, MPFR_RNDN); mpfr_init(r15192); mpfr_init(r15193); mpfr_init(r15194); mpfr_init(r15195); mpfr_init(r15196); mpfr_init(r15197); mpfr_init(r15198); mpfr_init(r15199); mpfr_init(r15200); mpfr_init(r15201); mpfr_init(r15202); } double f_im(double a, double b, double c) { mpfr_set_d(r15183, b, MPFR_RNDN); ; mpfr_set_si(r15185, mpfr_cmp(r15183, r15184) >= 0, MPFR_RNDN); ; mpfr_set_d(r15187, c, MPFR_RNDN); mpfr_mul(r15188, r15186, r15187, MPFR_RNDN); mpfr_neg(r15189, r15183, MPFR_RNDN); mpfr_sqr(r15190, r15183, MPFR_RNDN); ; mpfr_set_d(r15192, a, MPFR_RNDN); mpfr_mul(r15193, r15191, r15192, MPFR_RNDN); mpfr_mul(r15194, r15193, r15187, MPFR_RNDN); mpfr_sub(r15195, r15190, r15194, MPFR_RNDN); mpfr_sqrt(r15196, r15195, MPFR_RNDN); mpfr_sub(r15197, r15189, r15196, MPFR_RNDN); mpfr_div(r15198, r15188, r15197, MPFR_RNDN); mpfr_add(r15199, r15189, r15196, MPFR_RNDN); mpfr_mul(r15200, r15186, r15192, MPFR_RNDN); mpfr_div(r15201, r15199, r15200, MPFR_RNDN); if (mpfr_get_si(r15185, MPFR_RNDN)) { mpfr_set(r15202, r15198, MPFR_RNDN); } else { mpfr_set(r15202, r15201, MPFR_RNDN); }; return mpfr_get_d(r15202, MPFR_RNDN); } static mpfr_t r15203, r15204, r15205, r15206, r15207, r15208, r15209, r15210, r15211, r15212, r15213, r15214, r15215, r15216, r15217, r15218, r15219, r15220, r15221, r15222, r15223, r15224, r15225, r15226, r15227, r15228, r15229, r15230, r15231, r15232, r15233, r15234, r15235, r15236, r15237, r15238, r15239, r15240, r15241, r15242, r15243, r15244, r15245, r15246, r15247, r15248, r15249, r15250, r15251, r15252, r15253, r15254, r15255; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15203); mpfr_init_set_str(r15204, "-1.6844219f+10", 10, MPFR_RNDN); mpfr_init(r15205); mpfr_init_set_str(r15206, "0", 10, MPFR_RNDN); mpfr_init(r15207); mpfr_init(r15208); mpfr_init_set_str(r15209, "2", 10, MPFR_RNDN); mpfr_init(r15210); mpfr_init(r15211); mpfr_init(r15212); mpfr_init_set_str(r15213, "4", 10, MPFR_RNDN); mpfr_init(r15214); mpfr_init(r15215); mpfr_init(r15216); mpfr_init(r15217); mpfr_init(r15218); mpfr_init(r15219); mpfr_init(r15220); mpfr_init(r15221); mpfr_init(r15222); mpfr_init(r15223); mpfr_init(r15224); mpfr_init_set_str(r15225, "2.2299319f+17", 10, MPFR_RNDN); mpfr_init(r15226); mpfr_init(r15227); mpfr_init(r15228); mpfr_init(r15229); mpfr_init(r15230); mpfr_init(r15231); mpfr_init(r15232); mpfr_init(r15233); mpfr_init(r15234); mpfr_init(r15235); mpfr_init(r15236); mpfr_init(r15237); mpfr_init(r15238); mpfr_init(r15239); mpfr_init(r15240); mpfr_init(r15241); mpfr_init(r15242); mpfr_init(r15243); mpfr_init(r15244); mpfr_init(r15245); mpfr_init(r15246); mpfr_init(r15247); mpfr_init(r15248); mpfr_init(r15249); mpfr_init(r15250); mpfr_init(r15251); mpfr_init(r15252); mpfr_init(r15253); mpfr_init(r15254); mpfr_init(r15255); } double f_fm(double a, double b, double c) { mpfr_set_d(r15203, b, MPFR_RNDN); ; mpfr_set_si(r15205, mpfr_cmp(r15203, r15204) <= 0, MPFR_RNDN); ; mpfr_set_si(r15207, mpfr_cmp(r15203, r15206) >= 0, MPFR_RNDN); mpfr_set_d(r15208, c, MPFR_RNDN); ; mpfr_mul(r15210, r15208, r15209, MPFR_RNDN); mpfr_neg(r15211, r15203, MPFR_RNDN); mpfr_sqr(r15212, r15203, MPFR_RNDN); ; mpfr_mul(r15214, r15213, r15208, MPFR_RNDN); mpfr_set_d(r15215, a, MPFR_RNDN); mpfr_mul(r15216, r15214, r15215, MPFR_RNDN); mpfr_sub(r15217, r15212, r15216, MPFR_RNDN); mpfr_sqrt(r15218, r15217, MPFR_RNDN); mpfr_sub(r15219, r15211, r15218, MPFR_RNDN); mpfr_div(r15220, r15210, r15219, MPFR_RNDN); mpfr_div(r15221, r15208, r15203, MPFR_RNDN); mpfr_div(r15222, r15203, r15215, MPFR_RNDN); mpfr_sub(r15223, r15221, r15222, MPFR_RNDN); if (mpfr_get_si(r15207, MPFR_RNDN)) { mpfr_set(r15224, r15220, MPFR_RNDN); } else { mpfr_set(r15224, r15223, MPFR_RNDN); }; ; mpfr_set_si(r15226, mpfr_cmp(r15203, r15225) <= 0, MPFR_RNDN); mpfr_mul(r15227, r15209, r15208, MPFR_RNDN); mpfr_mul(r15228, r15213, r15215, MPFR_RNDN); mpfr_mul(r15229, r15228, r15208, MPFR_RNDN); mpfr_sub(r15230, r15212, r15229, MPFR_RNDN); mpfr_sqrt(r15231, r15230, MPFR_RNDN); mpfr_sqrt(r15232, r15231, MPFR_RNDN); mpfr_sqr(r15233, r15232, MPFR_RNDN); mpfr_sub(r15234, r15211, r15233, MPFR_RNDN); mpfr_div(r15235, r15227, r15234, MPFR_RNDN); mpfr_add(r15236, r15211, r15231, MPFR_RNDN); mpfr_mul(r15237, r15209, r15215, MPFR_RNDN); mpfr_div(r15238, r15236, r15237, MPFR_RNDN); if (mpfr_get_si(r15207, MPFR_RNDN)) { mpfr_set(r15239, r15235, MPFR_RNDN); } else { mpfr_set(r15239, r15238, MPFR_RNDN); }; mpfr_cbrt(r15240, r15221, MPFR_RNDN); mpfr_cbrt(r15241, r15215, MPFR_RNDN); mpfr_mul(r15242, r15240, r15241, MPFR_RNDN); mpfr_mul(r15243, r15242, r15242, MPFR_RNDN); mpfr_mul(r15243, r15243, r15242, MPFR_RNDN); mpfr_sub(r15244, r15211, r15203, MPFR_RNDN); mpfr_fma(r15245, r15243, r15209, r15244, MPFR_RNDN); mpfr_div(r15246, r15210, r15245, MPFR_RNDN); mpfr_mul(r15247, r15215, r15208, MPFR_RNDN); mpfr_mul(r15248, r15247, r15213, MPFR_RNDN); mpfr_sub(r15249, r15212, r15248, MPFR_RNDN); mpfr_sqrt(r15250, r15249, MPFR_RNDN); mpfr_add(r15251, r15250, r15211, MPFR_RNDN); mpfr_div(r15252, r15251, r15237, MPFR_RNDN); if (mpfr_get_si(r15207, MPFR_RNDN)) { mpfr_set(r15253, r15246, MPFR_RNDN); } else { mpfr_set(r15253, r15252, MPFR_RNDN); }; if (mpfr_get_si(r15226, MPFR_RNDN)) { mpfr_set(r15254, r15239, MPFR_RNDN); } else { mpfr_set(r15254, r15253, MPFR_RNDN); }; if (mpfr_get_si(r15205, MPFR_RNDN)) { mpfr_set(r15255, r15224, MPFR_RNDN); } else { mpfr_set(r15255, r15254, MPFR_RNDN); }; return mpfr_get_d(r15255, MPFR_RNDN); } static mpfr_t r15256, r15257, r15258, r15259, r15260, r15261, r15262, r15263, r15264, r15265, r15266, r15267, r15268, r15269, r15270, r15271, r15272, r15273, r15274, r15275, r15276, r15277, r15278, r15279, r15280, r15281, r15282, r15283, r15284, r15285, r15286, r15287, r15288, r15289, r15290, r15291, r15292, r15293, r15294, r15295, r15296, r15297, r15298, r15299, r15300, r15301, r15302, r15303, r15304, r15305, r15306, r15307, r15308; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15256); mpfr_init_set_str(r15257, "-1.6844219f+10", 10, MPFR_RNDN); mpfr_init(r15258); mpfr_init_set_str(r15259, "0", 10, MPFR_RNDN); mpfr_init(r15260); mpfr_init(r15261); mpfr_init_set_str(r15262, "2", 10, MPFR_RNDN); mpfr_init(r15263); mpfr_init(r15264); mpfr_init(r15265); mpfr_init_set_str(r15266, "4", 10, MPFR_RNDN); mpfr_init(r15267); mpfr_init(r15268); mpfr_init(r15269); mpfr_init(r15270); mpfr_init(r15271); mpfr_init(r15272); mpfr_init(r15273); mpfr_init(r15274); mpfr_init(r15275); mpfr_init(r15276); mpfr_init(r15277); mpfr_init_set_str(r15278, "2.2299319f+17", 10, MPFR_RNDN); mpfr_init(r15279); mpfr_init(r15280); mpfr_init(r15281); mpfr_init(r15282); mpfr_init(r15283); mpfr_init(r15284); mpfr_init(r15285); mpfr_init(r15286); mpfr_init(r15287); mpfr_init(r15288); mpfr_init(r15289); mpfr_init(r15290); mpfr_init(r15291); mpfr_init(r15292); mpfr_init(r15293); mpfr_init(r15294); mpfr_init(r15295); mpfr_init(r15296); mpfr_init(r15297); mpfr_init(r15298); mpfr_init(r15299); mpfr_init(r15300); mpfr_init(r15301); mpfr_init(r15302); mpfr_init(r15303); mpfr_init(r15304); mpfr_init(r15305); mpfr_init(r15306); mpfr_init(r15307); mpfr_init(r15308); } double f_dm(double a, double b, double c) { mpfr_set_d(r15256, b, MPFR_RNDN); ; mpfr_set_si(r15258, mpfr_cmp(r15256, r15257) <= 0, MPFR_RNDN); ; mpfr_set_si(r15260, mpfr_cmp(r15256, r15259) >= 0, MPFR_RNDN); mpfr_set_d(r15261, c, MPFR_RNDN); ; mpfr_mul(r15263, r15261, r15262, MPFR_RNDN); mpfr_neg(r15264, r15256, MPFR_RNDN); mpfr_sqr(r15265, r15256, MPFR_RNDN); ; mpfr_mul(r15267, r15266, r15261, MPFR_RNDN); mpfr_set_d(r15268, a, MPFR_RNDN); mpfr_mul(r15269, r15267, r15268, MPFR_RNDN); mpfr_sub(r15270, r15265, r15269, MPFR_RNDN); mpfr_sqrt(r15271, r15270, MPFR_RNDN); mpfr_sub(r15272, r15264, r15271, MPFR_RNDN); mpfr_div(r15273, r15263, r15272, MPFR_RNDN); mpfr_div(r15274, r15261, r15256, MPFR_RNDN); mpfr_div(r15275, r15256, r15268, MPFR_RNDN); mpfr_sub(r15276, r15274, r15275, MPFR_RNDN); if (mpfr_get_si(r15260, MPFR_RNDN)) { mpfr_set(r15277, r15273, MPFR_RNDN); } else { mpfr_set(r15277, r15276, MPFR_RNDN); }; ; mpfr_set_si(r15279, mpfr_cmp(r15256, r15278) <= 0, MPFR_RNDN); mpfr_mul(r15280, r15262, r15261, MPFR_RNDN); mpfr_mul(r15281, r15266, r15268, MPFR_RNDN); mpfr_mul(r15282, r15281, r15261, MPFR_RNDN); mpfr_sub(r15283, r15265, r15282, MPFR_RNDN); mpfr_sqrt(r15284, r15283, MPFR_RNDN); mpfr_sqrt(r15285, r15284, MPFR_RNDN); mpfr_sqr(r15286, r15285, MPFR_RNDN); mpfr_sub(r15287, r15264, r15286, MPFR_RNDN); mpfr_div(r15288, r15280, r15287, MPFR_RNDN); mpfr_add(r15289, r15264, r15284, MPFR_RNDN); mpfr_mul(r15290, r15262, r15268, MPFR_RNDN); mpfr_div(r15291, r15289, r15290, MPFR_RNDN); if (mpfr_get_si(r15260, MPFR_RNDN)) { mpfr_set(r15292, r15288, MPFR_RNDN); } else { mpfr_set(r15292, r15291, MPFR_RNDN); }; mpfr_cbrt(r15293, r15274, MPFR_RNDN); mpfr_cbrt(r15294, r15268, MPFR_RNDN); mpfr_mul(r15295, r15293, r15294, MPFR_RNDN); mpfr_mul(r15296, r15295, r15295, MPFR_RNDN); mpfr_mul(r15296, r15296, r15295, MPFR_RNDN); mpfr_sub(r15297, r15264, r15256, MPFR_RNDN); mpfr_fma(r15298, r15296, r15262, r15297, MPFR_RNDN); mpfr_div(r15299, r15263, r15298, MPFR_RNDN); mpfr_mul(r15300, r15268, r15261, MPFR_RNDN); mpfr_mul(r15301, r15300, r15266, MPFR_RNDN); mpfr_sub(r15302, r15265, r15301, MPFR_RNDN); mpfr_sqrt(r15303, r15302, MPFR_RNDN); mpfr_add(r15304, r15303, r15264, MPFR_RNDN); mpfr_div(r15305, r15304, r15290, MPFR_RNDN); if (mpfr_get_si(r15260, MPFR_RNDN)) { mpfr_set(r15306, r15299, MPFR_RNDN); } else { mpfr_set(r15306, r15305, MPFR_RNDN); }; if (mpfr_get_si(r15279, MPFR_RNDN)) { mpfr_set(r15307, r15292, MPFR_RNDN); } else { mpfr_set(r15307, r15306, MPFR_RNDN); }; if (mpfr_get_si(r15258, MPFR_RNDN)) { mpfr_set(r15308, r15277, MPFR_RNDN); } else { mpfr_set(r15308, r15307, MPFR_RNDN); }; return mpfr_get_d(r15308, MPFR_RNDN); }