#include #include #include #include #include char *name = "jeff quadratic root 2"; double f_if(float a, float b, float c) { float r14997 = b; float r14998 = 0.0f; bool r14999 = r14997 >= r14998; float r15000 = 2.0f; float r15001 = c; float r15002 = r15000 * r15001; float r15003 = -r14997; float r15004 = r14997 * r14997; float r15005 = 4.0f; float r15006 = a; float r15007 = r15005 * r15006; float r15008 = r15007 * r15001; float r15009 = r15004 - r15008; float r15010 = sqrt(r15009); float r15011 = r15003 - r15010; float r15012 = r15002 / r15011; float r15013 = r15003 + r15010; float r15014 = r15000 * r15006; float r15015 = r15013 / r15014; float r15016 = r14999 ? r15012 : r15015; return r15016; } double f_id(double a, double b, double c) { double r15017 = b; double r15018 = 0.0; bool r15019 = r15017 >= r15018; double r15020 = 2.0; double r15021 = c; double r15022 = r15020 * r15021; double r15023 = -r15017; double r15024 = r15017 * r15017; double r15025 = 4.0; double r15026 = a; double r15027 = r15025 * r15026; double r15028 = r15027 * r15021; double r15029 = r15024 - r15028; double r15030 = sqrt(r15029); double r15031 = r15023 - r15030; double r15032 = r15022 / r15031; double r15033 = r15023 + r15030; double r15034 = r15020 * r15026; double r15035 = r15033 / r15034; double r15036 = r15019 ? r15032 : r15035; return r15036; } double f_of(float a, float b, float c) { float r15037 = b; float r15038 = -2.326207163052239e+115f; bool r15039 = r15037 <= r15038; float r15040 = 0.0f; bool r15041 = r15037 >= r15040; float r15042 = c; float r15043 = 2.0f; float r15044 = r15042 * r15043; float r15045 = -r15037; float r15046 = r15037 * r15037; float r15047 = 4.0f; float r15048 = r15047 * r15042; float r15049 = a; float r15050 = r15048 * r15049; float r15051 = r15046 - r15050; float r15052 = sqrt(r15051); float r15053 = r15045 - r15052; float r15054 = r15044 / r15053; float r15055 = r15042 / r15037; float r15056 = r15037 / r15049; float r15057 = r15055 - r15056; float r15058 = r15041 ? r15054 : r15057; float r15059 = 4.449432714488087e+57f; bool r15060 = r15037 <= r15059; float r15061 = r15043 * r15042; float r15062 = r15047 * r15049; float r15063 = r15062 * r15042; float r15064 = r15046 - r15063; float r15065 = sqrt(r15064); float r15066 = sqrt(r15065); float r15067 = r15066 * r15066; float r15068 = r15045 - r15067; float r15069 = r15061 / r15068; float r15070 = r15045 + r15065; float r15071 = r15043 * r15049; float r15072 = r15070 / r15071; float r15073 = r15041 ? r15069 : r15072; float r15074 = r15055 * r15049; float r15075 = r15074 - r15037; float r15076 = r15042 / r15075; float r15077 = r15042 * r15049; float r15078 = r15077 * r15047; float r15079 = r15046 - r15078; float r15080 = sqrt(r15079); float r15081 = r15080 + r15045; float r15082 = r15049 * r15043; float r15083 = r15081 / r15082; float r15084 = r15041 ? r15076 : r15083; float r15085 = r15060 ? r15073 : r15084; float r15086 = r15039 ? r15058 : r15085; return r15086; } double f_od(double a, double b, double c) { double r15087 = b; double r15088 = -2.326207163052239e+115; bool r15089 = r15087 <= r15088; double r15090 = 0.0; bool r15091 = r15087 >= r15090; double r15092 = c; double r15093 = 2.0; double r15094 = r15092 * r15093; double r15095 = -r15087; double r15096 = r15087 * r15087; double r15097 = 4.0; double r15098 = r15097 * r15092; double r15099 = a; double r15100 = r15098 * r15099; double r15101 = r15096 - r15100; double r15102 = sqrt(r15101); double r15103 = r15095 - r15102; double r15104 = r15094 / r15103; double r15105 = r15092 / r15087; double r15106 = r15087 / r15099; double r15107 = r15105 - r15106; double r15108 = r15091 ? r15104 : r15107; double r15109 = 4.449432714488087e+57; bool r15110 = r15087 <= r15109; double r15111 = r15093 * r15092; double r15112 = r15097 * r15099; double r15113 = r15112 * r15092; double r15114 = r15096 - r15113; double r15115 = sqrt(r15114); double r15116 = sqrt(r15115); double r15117 = r15116 * r15116; double r15118 = r15095 - r15117; double r15119 = r15111 / r15118; double r15120 = r15095 + r15115; double r15121 = r15093 * r15099; double r15122 = r15120 / r15121; double r15123 = r15091 ? r15119 : r15122; double r15124 = r15105 * r15099; double r15125 = r15124 - r15087; double r15126 = r15092 / r15125; double r15127 = r15092 * r15099; double r15128 = r15127 * r15097; double r15129 = r15096 - r15128; double r15130 = sqrt(r15129); double r15131 = r15130 + r15095; double r15132 = r15099 * r15093; double r15133 = r15131 / r15132; double r15134 = r15091 ? r15126 : r15133; double r15135 = r15110 ? r15123 : r15134; double r15136 = r15089 ? r15108 : r15135; return r15136; } 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 r15137, r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15137); mpfr_init_set_str(r15138, "0", 10, MPFR_RNDN); mpfr_init(r15139); mpfr_init_set_str(r15140, "2", 10, MPFR_RNDN); mpfr_init(r15141); mpfr_init(r15142); mpfr_init(r15143); mpfr_init(r15144); mpfr_init_set_str(r15145, "4", 10, MPFR_RNDN); mpfr_init(r15146); mpfr_init(r15147); mpfr_init(r15148); mpfr_init(r15149); mpfr_init(r15150); mpfr_init(r15151); mpfr_init(r15152); mpfr_init(r15153); mpfr_init(r15154); mpfr_init(r15155); mpfr_init(r15156); } double f_im(double a, double b, double c) { mpfr_set_d(r15137, b, MPFR_RNDN); ; mpfr_set_si(r15139, mpfr_cmp(r15137, r15138) >= 0, MPFR_RNDN); ; mpfr_set_d(r15141, c, MPFR_RNDN); mpfr_mul(r15142, r15140, r15141, MPFR_RNDN); mpfr_neg(r15143, r15137, MPFR_RNDN); mpfr_sqr(r15144, r15137, MPFR_RNDN); ; mpfr_set_d(r15146, a, MPFR_RNDN); mpfr_mul(r15147, r15145, r15146, MPFR_RNDN); mpfr_mul(r15148, r15147, r15141, MPFR_RNDN); mpfr_sub(r15149, r15144, r15148, MPFR_RNDN); mpfr_sqrt(r15150, r15149, MPFR_RNDN); mpfr_sub(r15151, r15143, r15150, MPFR_RNDN); mpfr_div(r15152, r15142, r15151, MPFR_RNDN); mpfr_add(r15153, r15143, r15150, MPFR_RNDN); mpfr_mul(r15154, r15140, r15146, MPFR_RNDN); mpfr_div(r15155, r15153, r15154, MPFR_RNDN); if (mpfr_get_si(r15139, MPFR_RNDN)) { mpfr_set(r15156, r15152, MPFR_RNDN); } else { mpfr_set(r15156, r15155, MPFR_RNDN); }; return mpfr_get_d(r15156, MPFR_RNDN); } static mpfr_t r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164, r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172, r15173, r15174, r15175, r15176, r15177, r15178, r15179, r15180, r15181, r15182, r15183, r15184, r15185, r15186, r15187, r15188, r15189, r15190, r15191, r15192, r15193, r15194, r15195, r15196, r15197, r15198, r15199, r15200, r15201, r15202, r15203, r15204, r15205, r15206; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15157); mpfr_init_set_str(r15158, "-2.326207163052239e+115", 10, MPFR_RNDN); mpfr_init(r15159); mpfr_init_set_str(r15160, "0", 10, MPFR_RNDN); mpfr_init(r15161); mpfr_init(r15162); mpfr_init_set_str(r15163, "2", 10, MPFR_RNDN); mpfr_init(r15164); mpfr_init(r15165); mpfr_init(r15166); mpfr_init_set_str(r15167, "4", 10, MPFR_RNDN); mpfr_init(r15168); mpfr_init(r15169); mpfr_init(r15170); mpfr_init(r15171); mpfr_init(r15172); mpfr_init(r15173); mpfr_init(r15174); mpfr_init(r15175); mpfr_init(r15176); mpfr_init(r15177); mpfr_init(r15178); mpfr_init_set_str(r15179, "4.449432714488087e+57", 10, MPFR_RNDN); mpfr_init(r15180); mpfr_init(r15181); mpfr_init(r15182); mpfr_init(r15183); mpfr_init(r15184); mpfr_init(r15185); mpfr_init(r15186); mpfr_init(r15187); mpfr_init(r15188); mpfr_init(r15189); mpfr_init(r15190); mpfr_init(r15191); 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); mpfr_init(r15203); mpfr_init(r15204); mpfr_init(r15205); mpfr_init(r15206); } double f_fm(double a, double b, double c) { mpfr_set_d(r15157, b, MPFR_RNDN); ; mpfr_set_si(r15159, mpfr_cmp(r15157, r15158) <= 0, MPFR_RNDN); ; mpfr_set_si(r15161, mpfr_cmp(r15157, r15160) >= 0, MPFR_RNDN); mpfr_set_d(r15162, c, MPFR_RNDN); ; mpfr_mul(r15164, r15162, r15163, MPFR_RNDN); mpfr_neg(r15165, r15157, MPFR_RNDN); mpfr_sqr(r15166, r15157, MPFR_RNDN); ; mpfr_mul(r15168, r15167, r15162, MPFR_RNDN); mpfr_set_d(r15169, a, MPFR_RNDN); mpfr_mul(r15170, r15168, r15169, MPFR_RNDN); mpfr_sub(r15171, r15166, r15170, MPFR_RNDN); mpfr_sqrt(r15172, r15171, MPFR_RNDN); mpfr_sub(r15173, r15165, r15172, MPFR_RNDN); mpfr_div(r15174, r15164, r15173, MPFR_RNDN); mpfr_div(r15175, r15162, r15157, MPFR_RNDN); mpfr_div(r15176, r15157, r15169, MPFR_RNDN); mpfr_sub(r15177, r15175, r15176, MPFR_RNDN); if (mpfr_get_si(r15161, MPFR_RNDN)) { mpfr_set(r15178, r15174, MPFR_RNDN); } else { mpfr_set(r15178, r15177, MPFR_RNDN); }; ; mpfr_set_si(r15180, mpfr_cmp(r15157, r15179) <= 0, MPFR_RNDN); mpfr_mul(r15181, r15163, r15162, MPFR_RNDN); mpfr_mul(r15182, r15167, r15169, MPFR_RNDN); mpfr_mul(r15183, r15182, r15162, MPFR_RNDN); mpfr_sub(r15184, r15166, r15183, MPFR_RNDN); mpfr_sqrt(r15185, r15184, MPFR_RNDN); mpfr_sqrt(r15186, r15185, MPFR_RNDN); mpfr_sqr(r15187, r15186, MPFR_RNDN); mpfr_sub(r15188, r15165, r15187, MPFR_RNDN); mpfr_div(r15189, r15181, r15188, MPFR_RNDN); mpfr_add(r15190, r15165, r15185, MPFR_RNDN); mpfr_mul(r15191, r15163, r15169, MPFR_RNDN); mpfr_div(r15192, r15190, r15191, MPFR_RNDN); if (mpfr_get_si(r15161, MPFR_RNDN)) { mpfr_set(r15193, r15189, MPFR_RNDN); } else { mpfr_set(r15193, r15192, MPFR_RNDN); }; mpfr_mul(r15194, r15175, r15169, MPFR_RNDN); mpfr_sub(r15195, r15194, r15157, MPFR_RNDN); mpfr_div(r15196, r15162, r15195, MPFR_RNDN); mpfr_mul(r15197, r15162, r15169, MPFR_RNDN); mpfr_mul(r15198, r15197, r15167, MPFR_RNDN); mpfr_sub(r15199, r15166, r15198, MPFR_RNDN); mpfr_sqrt(r15200, r15199, MPFR_RNDN); mpfr_add(r15201, r15200, r15165, MPFR_RNDN); mpfr_mul(r15202, r15169, r15163, MPFR_RNDN); mpfr_div(r15203, r15201, r15202, MPFR_RNDN); if (mpfr_get_si(r15161, MPFR_RNDN)) { mpfr_set(r15204, r15196, MPFR_RNDN); } else { mpfr_set(r15204, r15203, MPFR_RNDN); }; if (mpfr_get_si(r15180, MPFR_RNDN)) { mpfr_set(r15205, r15193, MPFR_RNDN); } else { mpfr_set(r15205, r15204, MPFR_RNDN); }; if (mpfr_get_si(r15159, MPFR_RNDN)) { mpfr_set(r15206, r15178, MPFR_RNDN); } else { mpfr_set(r15206, r15205, MPFR_RNDN); }; return mpfr_get_d(r15206, MPFR_RNDN); } static mpfr_t 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, r15256; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15207); mpfr_init_set_str(r15208, "-2.326207163052239e+115", 10, MPFR_RNDN); mpfr_init(r15209); mpfr_init_set_str(r15210, "0", 10, MPFR_RNDN); mpfr_init(r15211); mpfr_init(r15212); mpfr_init_set_str(r15213, "2", 10, MPFR_RNDN); mpfr_init(r15214); mpfr_init(r15215); mpfr_init(r15216); mpfr_init_set_str(r15217, "4", 10, MPFR_RNDN); mpfr_init(r15218); mpfr_init(r15219); mpfr_init(r15220); mpfr_init(r15221); mpfr_init(r15222); mpfr_init(r15223); mpfr_init(r15224); mpfr_init(r15225); mpfr_init(r15226); mpfr_init(r15227); mpfr_init(r15228); mpfr_init_set_str(r15229, "4.449432714488087e+57", 10, MPFR_RNDN); 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); mpfr_init(r15256); } double f_dm(double a, double b, double c) { mpfr_set_d(r15207, b, MPFR_RNDN); ; mpfr_set_si(r15209, mpfr_cmp(r15207, r15208) <= 0, MPFR_RNDN); ; mpfr_set_si(r15211, mpfr_cmp(r15207, r15210) >= 0, MPFR_RNDN); mpfr_set_d(r15212, c, MPFR_RNDN); ; mpfr_mul(r15214, r15212, r15213, MPFR_RNDN); mpfr_neg(r15215, r15207, MPFR_RNDN); mpfr_sqr(r15216, r15207, MPFR_RNDN); ; mpfr_mul(r15218, r15217, r15212, MPFR_RNDN); mpfr_set_d(r15219, a, MPFR_RNDN); mpfr_mul(r15220, r15218, r15219, MPFR_RNDN); mpfr_sub(r15221, r15216, r15220, MPFR_RNDN); mpfr_sqrt(r15222, r15221, MPFR_RNDN); mpfr_sub(r15223, r15215, r15222, MPFR_RNDN); mpfr_div(r15224, r15214, r15223, MPFR_RNDN); mpfr_div(r15225, r15212, r15207, MPFR_RNDN); mpfr_div(r15226, r15207, r15219, MPFR_RNDN); mpfr_sub(r15227, r15225, r15226, MPFR_RNDN); if (mpfr_get_si(r15211, MPFR_RNDN)) { mpfr_set(r15228, r15224, MPFR_RNDN); } else { mpfr_set(r15228, r15227, MPFR_RNDN); }; ; mpfr_set_si(r15230, mpfr_cmp(r15207, r15229) <= 0, MPFR_RNDN); mpfr_mul(r15231, r15213, r15212, MPFR_RNDN); mpfr_mul(r15232, r15217, r15219, MPFR_RNDN); mpfr_mul(r15233, r15232, r15212, MPFR_RNDN); mpfr_sub(r15234, r15216, r15233, MPFR_RNDN); mpfr_sqrt(r15235, r15234, MPFR_RNDN); mpfr_sqrt(r15236, r15235, MPFR_RNDN); mpfr_sqr(r15237, r15236, MPFR_RNDN); mpfr_sub(r15238, r15215, r15237, MPFR_RNDN); mpfr_div(r15239, r15231, r15238, MPFR_RNDN); mpfr_add(r15240, r15215, r15235, MPFR_RNDN); mpfr_mul(r15241, r15213, r15219, MPFR_RNDN); mpfr_div(r15242, r15240, r15241, MPFR_RNDN); if (mpfr_get_si(r15211, MPFR_RNDN)) { mpfr_set(r15243, r15239, MPFR_RNDN); } else { mpfr_set(r15243, r15242, MPFR_RNDN); }; mpfr_mul(r15244, r15225, r15219, MPFR_RNDN); mpfr_sub(r15245, r15244, r15207, MPFR_RNDN); mpfr_div(r15246, r15212, r15245, MPFR_RNDN); mpfr_mul(r15247, r15212, r15219, MPFR_RNDN); mpfr_mul(r15248, r15247, r15217, MPFR_RNDN); mpfr_sub(r15249, r15216, r15248, MPFR_RNDN); mpfr_sqrt(r15250, r15249, MPFR_RNDN); mpfr_add(r15251, r15250, r15215, MPFR_RNDN); mpfr_mul(r15252, r15219, r15213, MPFR_RNDN); mpfr_div(r15253, r15251, r15252, MPFR_RNDN); if (mpfr_get_si(r15211, MPFR_RNDN)) { mpfr_set(r15254, r15246, MPFR_RNDN); } else { mpfr_set(r15254, r15253, MPFR_RNDN); }; if (mpfr_get_si(r15230, MPFR_RNDN)) { mpfr_set(r15255, r15243, MPFR_RNDN); } else { mpfr_set(r15255, r15254, MPFR_RNDN); }; if (mpfr_get_si(r15209, MPFR_RNDN)) { mpfr_set(r15256, r15228, MPFR_RNDN); } else { mpfr_set(r15256, r15255, MPFR_RNDN); }; return mpfr_get_d(r15256, MPFR_RNDN); }