#include #include #include #include #include char *name = "powComplex, imaginary part"; double f_if(float x_re, float x_im, float y_re, float y_im) { float r14904 = x_re; float r14905 = r14904 * r14904; float r14906 = x_im; float r14907 = r14906 * r14906; float r14908 = r14905 + r14907; float r14909 = sqrt(r14908); float r14910 = log(r14909); float r14911 = y_re; float r14912 = r14910 * r14911; float r14913 = atan2(r14906, r14904); float r14914 = y_im; float r14915 = r14913 * r14914; float r14916 = r14912 - r14915; float r14917 = exp(r14916); float r14918 = r14910 * r14914; float r14919 = r14913 * r14911; float r14920 = r14918 + r14919; float r14921 = sin(r14920); float r14922 = r14917 * r14921; return r14922; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r14923 = x_re; double r14924 = r14923 * r14923; double r14925 = x_im; double r14926 = r14925 * r14925; double r14927 = r14924 + r14926; double r14928 = sqrt(r14927); double r14929 = log(r14928); double r14930 = y_re; double r14931 = r14929 * r14930; double r14932 = atan2(r14925, r14923); double r14933 = y_im; double r14934 = r14932 * r14933; double r14935 = r14931 - r14934; double r14936 = exp(r14935); double r14937 = r14929 * r14933; double r14938 = r14932 * r14930; double r14939 = r14937 + r14938; double r14940 = sin(r14939); double r14941 = r14936 * r14940; return r14941; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r14942 = x_re; float r14943 = -25803.66015625f; bool r14944 = r14942 <= r14943; float r14945 = y_re; float r14946 = x_im; float r14947 = atan2(r14946, r14942); float r14948 = r14945 * r14947; float r14949 = -r14942; float r14950 = log(r14949); float r14951 = y_im; float r14952 = r14950 * r14951; float r14953 = r14948 + r14952; float r14954 = sin(r14953); float r14955 = exp(r14951); float r14956 = pow(r14955, r14947); float r14957 = pow(r14949, r14945); float r14958 = r14956 / r14957; float r14959 = r14954 / r14958; float r14960 = -1.5151715780788365e-28f; bool r14961 = r14942 <= r14960; float r14962 = 1.0f; float r14963 = r14947 * r14951; float r14964 = r14962 + r14963; float r14965 = 0.5f; float r14966 = r14951 * r14951; float r14967 = r14965 * r14966; float r14968 = r14947 * r14947; float r14969 = r14967 * r14968; float r14970 = r14964 + r14969; float r14971 = r14946 * r14946; float r14972 = r14942 * r14942; float r14973 = r14971 + r14972; float r14974 = sqrt(r14973); float r14975 = pow(r14974, r14945); float r14976 = r14970 / r14975; float r14977 = r14954 / r14976; float r14978 = 5.46829932876122e-38f; bool r14979 = r14942 <= r14978; float r14980 = log(r14946); float r14981 = r14951 * r14980; float r14982 = r14981 + r14948; float r14983 = sin(r14982); float r14984 = pow(r14946, r14945); float r14985 = r14956 / r14984; float r14986 = r14983 / r14985; float r14987 = 8.467779350639922e-33f; bool r14988 = r14942 <= r14987; float r14989 = log(r14942); float r14990 = r14989 * r14951; float r14991 = r14990 + r14948; float r14992 = sin(r14991); float r14993 = r14972 + r14971; float r14994 = sqrt(r14993); float r14995 = pow(r14994, r14945); float r14996 = r14992 * r14995; float r14997 = r14951 * r14947; float r14998 = r14962 + r14997; float r14999 = r14951 * r14951; float r15000 = r14999 * r14965; float r15001 = r14947 * r14947; float r15002 = r15000 * r15001; float r15003 = r14998 + r15002; float r15004 = r14996 / r15003; float r15005 = r14951 * r14989; float r15006 = r15005 + r14948; float r15007 = sin(r15006); float r15008 = pow(r14942, r14945); float r15009 = r14956 / r15008; float r15010 = r15007 / r15009; float r15011 = r14988 ? r15004 : r15010; float r15012 = r14979 ? r14986 : r15011; float r15013 = r14961 ? r14977 : r15012; float r15014 = r14944 ? r14959 : r15013; return r15014; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r15015 = x_re; double r15016 = -25803.66015625; bool r15017 = r15015 <= r15016; double r15018 = y_re; double r15019 = x_im; double r15020 = atan2(r15019, r15015); double r15021 = r15018 * r15020; double r15022 = -r15015; double r15023 = log(r15022); double r15024 = y_im; double r15025 = r15023 * r15024; double r15026 = r15021 + r15025; double r15027 = sin(r15026); double r15028 = exp(r15024); double r15029 = pow(r15028, r15020); double r15030 = pow(r15022, r15018); double r15031 = r15029 / r15030; double r15032 = r15027 / r15031; double r15033 = -1.5151715780788365e-28; bool r15034 = r15015 <= r15033; double r15035 = 1.0; double r15036 = r15020 * r15024; double r15037 = r15035 + r15036; double r15038 = 0.5; double r15039 = r15024 * r15024; double r15040 = r15038 * r15039; double r15041 = r15020 * r15020; double r15042 = r15040 * r15041; double r15043 = r15037 + r15042; double r15044 = r15019 * r15019; double r15045 = r15015 * r15015; double r15046 = r15044 + r15045; double r15047 = sqrt(r15046); double r15048 = pow(r15047, r15018); double r15049 = r15043 / r15048; double r15050 = r15027 / r15049; double r15051 = 5.46829932876122e-38; bool r15052 = r15015 <= r15051; double r15053 = log(r15019); double r15054 = r15024 * r15053; double r15055 = r15054 + r15021; double r15056 = sin(r15055); double r15057 = pow(r15019, r15018); double r15058 = r15029 / r15057; double r15059 = r15056 / r15058; double r15060 = 8.467779350639922e-33; bool r15061 = r15015 <= r15060; double r15062 = log(r15015); double r15063 = r15062 * r15024; double r15064 = r15063 + r15021; double r15065 = sin(r15064); double r15066 = r15045 + r15044; double r15067 = sqrt(r15066); double r15068 = pow(r15067, r15018); double r15069 = r15065 * r15068; double r15070 = r15024 * r15020; double r15071 = r15035 + r15070; double r15072 = r15024 * r15024; double r15073 = r15072 * r15038; double r15074 = r15020 * r15020; double r15075 = r15073 * r15074; double r15076 = r15071 + r15075; double r15077 = r15069 / r15076; double r15078 = r15024 * r15062; double r15079 = r15078 + r15021; double r15080 = sin(r15079); double r15081 = pow(r15015, r15018); double r15082 = r15029 / r15081; double r15083 = r15080 / r15082; double r15084 = r15061 ? r15077 : r15083; double r15085 = r15052 ? r15059 : r15084; double r15086 = r15034 ? r15050 : r15085; double r15087 = r15017 ? r15032 : r15086; return r15087; } 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 r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096, r15097, r15098, r15099, r15100, r15101, r15102, r15103, r15104, r15105, r15106; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15088); mpfr_init(r15089); mpfr_init(r15090); mpfr_init(r15091); mpfr_init(r15092); mpfr_init(r15093); mpfr_init(r15094); mpfr_init(r15095); mpfr_init(r15096); mpfr_init(r15097); mpfr_init(r15098); mpfr_init(r15099); mpfr_init(r15100); mpfr_init(r15101); mpfr_init(r15102); mpfr_init(r15103); mpfr_init(r15104); mpfr_init(r15105); mpfr_init(r15106); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15088, x_re, MPFR_RNDN); mpfr_mul(r15089, r15088, r15088, MPFR_RNDN); mpfr_set_d(r15090, x_im, MPFR_RNDN); mpfr_mul(r15091, r15090, r15090, MPFR_RNDN); mpfr_add(r15092, r15089, r15091, MPFR_RNDN); mpfr_sqrt(r15093, r15092, MPFR_RNDN); mpfr_log(r15094, r15093, MPFR_RNDN); mpfr_set_d(r15095, y_re, MPFR_RNDN); mpfr_mul(r15096, r15094, r15095, MPFR_RNDN); mpfr_atan2(r15097, r15090, r15088, MPFR_RNDN); mpfr_set_d(r15098, y_im, MPFR_RNDN); mpfr_mul(r15099, r15097, r15098, MPFR_RNDN); mpfr_sub(r15100, r15096, r15099, MPFR_RNDN); mpfr_exp(r15101, r15100, MPFR_RNDN); mpfr_mul(r15102, r15094, r15098, MPFR_RNDN); mpfr_mul(r15103, r15097, r15095, MPFR_RNDN); mpfr_add(r15104, r15102, r15103, MPFR_RNDN); mpfr_sin(r15105, r15104, MPFR_RNDN); mpfr_mul(r15106, r15101, r15105, MPFR_RNDN); return mpfr_get_d(r15106, MPFR_RNDN); } static mpfr_t r15107, r15108, r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118, r15119, r15120, r15121, r15122, r15123, r15124, r15125, r15126, r15127, r15128, r15129, r15130, r15131, r15132, r15133, r15134, r15135, r15136, r15137, r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164, r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172, r15173, r15174, r15175, r15176, r15177, r15178, r15179; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15107); mpfr_init_set_str(r15108, "-25803.66f0", 10, MPFR_RNDN); mpfr_init(r15109); mpfr_init(r15110); mpfr_init(r15111); mpfr_init(r15112); mpfr_init(r15113); mpfr_init(r15114); mpfr_init(r15115); mpfr_init(r15116); mpfr_init(r15117); mpfr_init(r15118); mpfr_init(r15119); mpfr_init(r15120); mpfr_init(r15121); mpfr_init(r15122); mpfr_init(r15123); mpfr_init(r15124); mpfr_init_set_str(r15125, "-1.5151716f-28", 10, MPFR_RNDN); mpfr_init(r15126); mpfr_init_set_str(r15127, "1", 10, MPFR_RNDN); mpfr_init(r15128); mpfr_init(r15129); mpfr_init_set_str(r15130, "1/2", 10, MPFR_RNDN); mpfr_init(r15131); mpfr_init(r15132); mpfr_init(r15133); mpfr_init(r15134); mpfr_init(r15135); mpfr_init(r15136); mpfr_init(r15137); mpfr_init(r15138); mpfr_init(r15139); mpfr_init(r15140); mpfr_init(r15141); mpfr_init(r15142); mpfr_init_set_str(r15143, "5.4682993f-38", 10, MPFR_RNDN); mpfr_init(r15144); mpfr_init(r15145); mpfr_init(r15146); mpfr_init(r15147); mpfr_init(r15148); mpfr_init(r15149); mpfr_init(r15150); mpfr_init(r15151); mpfr_init_set_str(r15152, "8.467779f-33", 10, MPFR_RNDN); mpfr_init(r15153); mpfr_init(r15154); mpfr_init(r15155); mpfr_init(r15156); mpfr_init(r15157); mpfr_init(r15158); mpfr_init(r15159); mpfr_init(r15160); mpfr_init(r15161); mpfr_init(r15162); mpfr_init(r15163); mpfr_init(r15164); mpfr_init(r15165); mpfr_init(r15166); mpfr_init(r15167); 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(r15179); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15107, x_re, MPFR_RNDN); ; mpfr_set_si(r15109, mpfr_cmp(r15107, r15108) <= 0, MPFR_RNDN); mpfr_set_d(r15110, y_re, MPFR_RNDN); mpfr_set_d(r15111, x_im, MPFR_RNDN); mpfr_atan2(r15112, r15111, r15107, MPFR_RNDN); mpfr_mul(r15113, r15110, r15112, MPFR_RNDN); mpfr_neg(r15114, r15107, MPFR_RNDN); mpfr_log(r15115, r15114, MPFR_RNDN); mpfr_set_d(r15116, y_im, MPFR_RNDN); mpfr_mul(r15117, r15115, r15116, MPFR_RNDN); mpfr_add(r15118, r15113, r15117, MPFR_RNDN); mpfr_sin(r15119, r15118, MPFR_RNDN); mpfr_exp(r15120, r15116, MPFR_RNDN); mpfr_pow(r15121, r15120, r15112, MPFR_RNDN); mpfr_pow(r15122, r15114, r15110, MPFR_RNDN); mpfr_div(r15123, r15121, r15122, MPFR_RNDN); mpfr_div(r15124, r15119, r15123, MPFR_RNDN); ; mpfr_set_si(r15126, mpfr_cmp(r15107, r15125) <= 0, MPFR_RNDN); ; mpfr_mul(r15128, r15112, r15116, MPFR_RNDN); mpfr_add(r15129, r15127, r15128, MPFR_RNDN); ; mpfr_mul(r15131, r15116, r15116, MPFR_RNDN); mpfr_mul(r15132, r15130, r15131, MPFR_RNDN); mpfr_mul(r15133, r15112, r15112, MPFR_RNDN); mpfr_mul(r15134, r15132, r15133, MPFR_RNDN); mpfr_add(r15135, r15129, r15134, MPFR_RNDN); mpfr_mul(r15136, r15111, r15111, MPFR_RNDN); mpfr_mul(r15137, r15107, r15107, MPFR_RNDN); mpfr_add(r15138, r15136, r15137, MPFR_RNDN); mpfr_sqrt(r15139, r15138, MPFR_RNDN); mpfr_pow(r15140, r15139, r15110, MPFR_RNDN); mpfr_div(r15141, r15135, r15140, MPFR_RNDN); mpfr_div(r15142, r15119, r15141, MPFR_RNDN); ; mpfr_set_si(r15144, mpfr_cmp(r15107, r15143) <= 0, MPFR_RNDN); mpfr_log(r15145, r15111, MPFR_RNDN); mpfr_mul(r15146, r15116, r15145, MPFR_RNDN); mpfr_add(r15147, r15146, r15113, MPFR_RNDN); mpfr_sin(r15148, r15147, MPFR_RNDN); mpfr_pow(r15149, r15111, r15110, MPFR_RNDN); mpfr_div(r15150, r15121, r15149, MPFR_RNDN); mpfr_div(r15151, r15148, r15150, MPFR_RNDN); ; mpfr_set_si(r15153, mpfr_cmp(r15107, r15152) <= 0, MPFR_RNDN); mpfr_log(r15154, r15107, MPFR_RNDN); mpfr_mul(r15155, r15154, r15116, MPFR_RNDN); mpfr_add(r15156, r15155, r15113, MPFR_RNDN); mpfr_sin(r15157, r15156, MPFR_RNDN); mpfr_add(r15158, r15137, r15136, MPFR_RNDN); mpfr_sqrt(r15159, r15158, MPFR_RNDN); mpfr_pow(r15160, r15159, r15110, MPFR_RNDN); mpfr_mul(r15161, r15157, r15160, MPFR_RNDN); mpfr_mul(r15162, r15116, r15112, MPFR_RNDN); mpfr_add(r15163, r15127, r15162, MPFR_RNDN); mpfr_sqr(r15164, r15116, MPFR_RNDN); mpfr_mul(r15165, r15164, r15130, MPFR_RNDN); mpfr_sqr(r15166, r15112, MPFR_RNDN); mpfr_mul(r15167, r15165, r15166, MPFR_RNDN); mpfr_add(r15168, r15163, r15167, MPFR_RNDN); mpfr_div(r15169, r15161, r15168, MPFR_RNDN); mpfr_mul(r15170, r15116, r15154, MPFR_RNDN); mpfr_add(r15171, r15170, r15113, MPFR_RNDN); mpfr_sin(r15172, r15171, MPFR_RNDN); mpfr_pow(r15173, r15107, r15110, MPFR_RNDN); mpfr_div(r15174, r15121, r15173, MPFR_RNDN); mpfr_div(r15175, r15172, r15174, MPFR_RNDN); if (mpfr_get_si(r15153, MPFR_RNDN)) { mpfr_set(r15176, r15169, MPFR_RNDN); } else { mpfr_set(r15176, r15175, MPFR_RNDN); }; if (mpfr_get_si(r15144, MPFR_RNDN)) { mpfr_set(r15177, r15151, MPFR_RNDN); } else { mpfr_set(r15177, r15176, MPFR_RNDN); }; if (mpfr_get_si(r15126, MPFR_RNDN)) { mpfr_set(r15178, r15142, MPFR_RNDN); } else { mpfr_set(r15178, r15177, MPFR_RNDN); }; if (mpfr_get_si(r15109, MPFR_RNDN)) { mpfr_set(r15179, r15124, MPFR_RNDN); } else { mpfr_set(r15179, r15178, MPFR_RNDN); }; return mpfr_get_d(r15179, MPFR_RNDN); } static mpfr_t 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, 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; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15180); mpfr_init_set_str(r15181, "-25803.66f0", 10, MPFR_RNDN); 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_set_str(r15198, "-1.5151716f-28", 10, MPFR_RNDN); mpfr_init(r15199); mpfr_init_set_str(r15200, "1", 10, MPFR_RNDN); mpfr_init(r15201); mpfr_init(r15202); mpfr_init_set_str(r15203, "1/2", 10, MPFR_RNDN); mpfr_init(r15204); mpfr_init(r15205); mpfr_init(r15206); mpfr_init(r15207); mpfr_init(r15208); mpfr_init(r15209); mpfr_init(r15210); mpfr_init(r15211); mpfr_init(r15212); mpfr_init(r15213); mpfr_init(r15214); mpfr_init(r15215); mpfr_init_set_str(r15216, "5.4682993f-38", 10, MPFR_RNDN); 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, "8.467779f-33", 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); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15180, x_re, MPFR_RNDN); ; mpfr_set_si(r15182, mpfr_cmp(r15180, r15181) <= 0, MPFR_RNDN); mpfr_set_d(r15183, y_re, MPFR_RNDN); mpfr_set_d(r15184, x_im, MPFR_RNDN); mpfr_atan2(r15185, r15184, r15180, MPFR_RNDN); mpfr_mul(r15186, r15183, r15185, MPFR_RNDN); mpfr_neg(r15187, r15180, MPFR_RNDN); mpfr_log(r15188, r15187, MPFR_RNDN); mpfr_set_d(r15189, y_im, MPFR_RNDN); mpfr_mul(r15190, r15188, r15189, MPFR_RNDN); mpfr_add(r15191, r15186, r15190, MPFR_RNDN); mpfr_sin(r15192, r15191, MPFR_RNDN); mpfr_exp(r15193, r15189, MPFR_RNDN); mpfr_pow(r15194, r15193, r15185, MPFR_RNDN); mpfr_pow(r15195, r15187, r15183, MPFR_RNDN); mpfr_div(r15196, r15194, r15195, MPFR_RNDN); mpfr_div(r15197, r15192, r15196, MPFR_RNDN); ; mpfr_set_si(r15199, mpfr_cmp(r15180, r15198) <= 0, MPFR_RNDN); ; mpfr_mul(r15201, r15185, r15189, MPFR_RNDN); mpfr_add(r15202, r15200, r15201, MPFR_RNDN); ; mpfr_mul(r15204, r15189, r15189, MPFR_RNDN); mpfr_mul(r15205, r15203, r15204, MPFR_RNDN); mpfr_mul(r15206, r15185, r15185, MPFR_RNDN); mpfr_mul(r15207, r15205, r15206, MPFR_RNDN); mpfr_add(r15208, r15202, r15207, MPFR_RNDN); mpfr_mul(r15209, r15184, r15184, MPFR_RNDN); mpfr_mul(r15210, r15180, r15180, MPFR_RNDN); mpfr_add(r15211, r15209, r15210, MPFR_RNDN); mpfr_sqrt(r15212, r15211, MPFR_RNDN); mpfr_pow(r15213, r15212, r15183, MPFR_RNDN); mpfr_div(r15214, r15208, r15213, MPFR_RNDN); mpfr_div(r15215, r15192, r15214, MPFR_RNDN); ; mpfr_set_si(r15217, mpfr_cmp(r15180, r15216) <= 0, MPFR_RNDN); mpfr_log(r15218, r15184, MPFR_RNDN); mpfr_mul(r15219, r15189, r15218, MPFR_RNDN); mpfr_add(r15220, r15219, r15186, MPFR_RNDN); mpfr_sin(r15221, r15220, MPFR_RNDN); mpfr_pow(r15222, r15184, r15183, MPFR_RNDN); mpfr_div(r15223, r15194, r15222, MPFR_RNDN); mpfr_div(r15224, r15221, r15223, MPFR_RNDN); ; mpfr_set_si(r15226, mpfr_cmp(r15180, r15225) <= 0, MPFR_RNDN); mpfr_log(r15227, r15180, MPFR_RNDN); mpfr_mul(r15228, r15227, r15189, MPFR_RNDN); mpfr_add(r15229, r15228, r15186, MPFR_RNDN); mpfr_sin(r15230, r15229, MPFR_RNDN); mpfr_add(r15231, r15210, r15209, MPFR_RNDN); mpfr_sqrt(r15232, r15231, MPFR_RNDN); mpfr_pow(r15233, r15232, r15183, MPFR_RNDN); mpfr_mul(r15234, r15230, r15233, MPFR_RNDN); mpfr_mul(r15235, r15189, r15185, MPFR_RNDN); mpfr_add(r15236, r15200, r15235, MPFR_RNDN); mpfr_sqr(r15237, r15189, MPFR_RNDN); mpfr_mul(r15238, r15237, r15203, MPFR_RNDN); mpfr_sqr(r15239, r15185, MPFR_RNDN); mpfr_mul(r15240, r15238, r15239, MPFR_RNDN); mpfr_add(r15241, r15236, r15240, MPFR_RNDN); mpfr_div(r15242, r15234, r15241, MPFR_RNDN); mpfr_mul(r15243, r15189, r15227, MPFR_RNDN); mpfr_add(r15244, r15243, r15186, MPFR_RNDN); mpfr_sin(r15245, r15244, MPFR_RNDN); mpfr_pow(r15246, r15180, r15183, MPFR_RNDN); mpfr_div(r15247, r15194, r15246, MPFR_RNDN); mpfr_div(r15248, r15245, r15247, MPFR_RNDN); if (mpfr_get_si(r15226, MPFR_RNDN)) { mpfr_set(r15249, r15242, MPFR_RNDN); } else { mpfr_set(r15249, r15248, MPFR_RNDN); }; if (mpfr_get_si(r15217, MPFR_RNDN)) { mpfr_set(r15250, r15224, MPFR_RNDN); } else { mpfr_set(r15250, r15249, MPFR_RNDN); }; if (mpfr_get_si(r15199, MPFR_RNDN)) { mpfr_set(r15251, r15215, MPFR_RNDN); } else { mpfr_set(r15251, r15250, MPFR_RNDN); }; if (mpfr_get_si(r15182, MPFR_RNDN)) { mpfr_set(r15252, r15197, MPFR_RNDN); } else { mpfr_set(r15252, r15251, MPFR_RNDN); }; return mpfr_get_d(r15252, MPFR_RNDN); }