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