#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 r14932 = x_re; float r14933 = r14932 * r14932; float r14934 = x_im; float r14935 = r14934 * r14934; float r14936 = r14933 + r14935; float r14937 = sqrt(r14936); float r14938 = log(r14937); float r14939 = y_re; float r14940 = r14938 * r14939; float r14941 = atan2(r14934, r14932); float r14942 = y_im; float r14943 = r14941 * r14942; float r14944 = r14940 - r14943; float r14945 = exp(r14944); float r14946 = r14938 * r14942; float r14947 = r14941 * r14939; float r14948 = r14946 + r14947; float r14949 = sin(r14948); float r14950 = r14945 * r14949; return r14950; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r14951 = x_re; double r14952 = r14951 * r14951; double r14953 = x_im; double r14954 = r14953 * r14953; double r14955 = r14952 + r14954; double r14956 = sqrt(r14955); double r14957 = log(r14956); double r14958 = y_re; double r14959 = r14957 * r14958; double r14960 = atan2(r14953, r14951); double r14961 = y_im; double r14962 = r14960 * r14961; double r14963 = r14959 - r14962; double r14964 = exp(r14963); double r14965 = r14957 * r14961; double r14966 = r14960 * r14958; double r14967 = r14965 + r14966; double r14968 = sin(r14967); double r14969 = r14964 * r14968; return r14969; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r14970 = x_re; float r14971 = -1.5701926893511905e-34f; bool r14972 = r14970 <= r14971; float r14973 = y_re; float r14974 = x_im; float r14975 = atan2(r14974, r14970); float r14976 = r14973 * r14975; float r14977 = -r14970; float r14978 = log(r14977); float r14979 = y_im; float r14980 = r14978 * r14979; float r14981 = r14976 + r14980; float r14982 = sin(r14981); float r14983 = exp(r14979); float r14984 = pow(r14983, r14975); float r14985 = pow(r14977, r14973); float r14986 = r14984 / r14985; float r14987 = r14982 / r14986; float r14988 = -7.527064062875945e-237f; bool r14989 = r14970 <= r14988; float r14990 = r14970 * r14970; float r14991 = r14974 * r14974; float r14992 = r14990 + r14991; float r14993 = sqrt(r14992); float r14994 = log(r14993); float r14995 = r14994 * r14979; float r14996 = r14976 + r14995; float r14997 = sin(r14996); float r14998 = r14975 * r14979; float r14999 = 1.0f; float r15000 = 0.5f; float r15001 = r14975 * r14975; float r15002 = r14979 * r14979; float r15003 = r15001 * r15002; float r15004 = r15000 * r15003; float r15005 = r14999 + r15004; float r15006 = r14998 + r15005; float r15007 = exp(r14994); float r15008 = pow(r15007, r14973); float r15009 = r15006 / r15008; float r15010 = r14997 / r15009; float r15011 = -7.560755522423213e-296f; bool r15012 = r14970 <= r15011; float r15013 = -1.0f; float r15014 = r15013 * r14970; float r15015 = log(r15014); float r15016 = r15015 * r14979; float r15017 = r14976 + r15016; float r15018 = sin(r15017); float r15019 = pow(r14993, r14973); float r15020 = r14984 / r15019; float r15021 = r15018 / r15020; float r15022 = 1.2924149934510948e-196f; bool r15023 = r14970 <= r15022; float r15024 = log(r14974); float r15025 = r14979 * r15024; float r15026 = r15025 + r14976; float r15027 = sin(r15026); float r15028 = pow(r14974, r14973); float r15029 = r14984 / r15028; float r15030 = r15027 / r15029; float r15031 = 1.0876079425786589e-68f; bool r15032 = r14970 <= r15031; float r15033 = r14974 * r14974; float r15034 = r14970 * r14970; float r15035 = r15033 + r15034; float r15036 = sqrt(r15035); float r15037 = pow(r15036, r14973); float r15038 = r14975 * r14973; float r15039 = log(r14970); float r15040 = r15039 * r14979; float r15041 = r15038 + r15040; float r15042 = r14999 + r14998; float r15043 = r15041 / r15042; float r15044 = r15037 * r15043; float r15045 = 3.7128779556970306e+50f; bool r15046 = r14970 <= r15045; float r15047 = r14979 * r15039; float r15048 = r15047 + r14976; float r15049 = sin(r15048); float r15050 = pow(r14970, r14973); float r15051 = r14984 / r15050; float r15052 = r15049 / r15051; float r15053 = r15046 ? r15010 : r15052; float r15054 = r15032 ? r15044 : r15053; float r15055 = r15023 ? r15030 : r15054; float r15056 = r15012 ? r15021 : r15055; float r15057 = r14989 ? r15010 : r15056; float r15058 = r14972 ? r14987 : r15057; return r15058; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r15059 = x_re; double r15060 = -1.5701926893511905e-34; bool r15061 = r15059 <= r15060; double r15062 = y_re; double r15063 = x_im; double r15064 = atan2(r15063, r15059); double r15065 = r15062 * r15064; double r15066 = -r15059; double r15067 = log(r15066); double r15068 = y_im; double r15069 = r15067 * r15068; double r15070 = r15065 + r15069; double r15071 = sin(r15070); double r15072 = exp(r15068); double r15073 = pow(r15072, r15064); double r15074 = pow(r15066, r15062); double r15075 = r15073 / r15074; double r15076 = r15071 / r15075; double r15077 = -7.527064062875945e-237; bool r15078 = r15059 <= r15077; double r15079 = r15059 * r15059; double r15080 = r15063 * r15063; double r15081 = r15079 + r15080; double r15082 = sqrt(r15081); double r15083 = log(r15082); double r15084 = r15083 * r15068; double r15085 = r15065 + r15084; double r15086 = sin(r15085); double r15087 = r15064 * r15068; double r15088 = 1.0; double r15089 = 0.5; double r15090 = r15064 * r15064; double r15091 = r15068 * r15068; double r15092 = r15090 * r15091; double r15093 = r15089 * r15092; double r15094 = r15088 + r15093; double r15095 = r15087 + r15094; double r15096 = exp(r15083); double r15097 = pow(r15096, r15062); double r15098 = r15095 / r15097; double r15099 = r15086 / r15098; double r15100 = -7.560755522423213e-296; bool r15101 = r15059 <= r15100; double r15102 = -1.0; double r15103 = r15102 * r15059; double r15104 = log(r15103); double r15105 = r15104 * r15068; double r15106 = r15065 + r15105; double r15107 = sin(r15106); double r15108 = pow(r15082, r15062); double r15109 = r15073 / r15108; double r15110 = r15107 / r15109; double r15111 = 1.2924149934510948e-196; bool r15112 = r15059 <= r15111; double r15113 = log(r15063); double r15114 = r15068 * r15113; double r15115 = r15114 + r15065; double r15116 = sin(r15115); double r15117 = pow(r15063, r15062); double r15118 = r15073 / r15117; double r15119 = r15116 / r15118; double r15120 = 1.0876079425786589e-68; bool r15121 = r15059 <= r15120; double r15122 = r15063 * r15063; double r15123 = r15059 * r15059; double r15124 = r15122 + r15123; double r15125 = sqrt(r15124); double r15126 = pow(r15125, r15062); double r15127 = r15064 * r15062; double r15128 = log(r15059); double r15129 = r15128 * r15068; double r15130 = r15127 + r15129; double r15131 = r15088 + r15087; double r15132 = r15130 / r15131; double r15133 = r15126 * r15132; double r15134 = 3.7128779556970306e+50; bool r15135 = r15059 <= r15134; double r15136 = r15068 * r15128; double r15137 = r15136 + r15065; double r15138 = sin(r15137); double r15139 = pow(r15059, r15062); double r15140 = r15073 / r15139; double r15141 = r15138 / r15140; double r15142 = r15135 ? r15099 : r15141; double r15143 = r15121 ? r15133 : r15142; double r15144 = r15112 ? r15119 : r15143; double r15145 = r15101 ? r15110 : r15144; double r15146 = r15078 ? r15099 : r15145; double r15147 = r15061 ? r15076 : r15146; return r15147; } 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 r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164, r15165, r15166; void setup_mpfr_f_im() { mpfr_set_default_prec(144); 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); 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); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15148, x_re, MPFR_RNDN); mpfr_mul(r15149, r15148, r15148, MPFR_RNDN); mpfr_set_d(r15150, x_im, MPFR_RNDN); mpfr_mul(r15151, r15150, r15150, MPFR_RNDN); mpfr_add(r15152, r15149, r15151, MPFR_RNDN); mpfr_sqrt(r15153, r15152, MPFR_RNDN); mpfr_log(r15154, r15153, MPFR_RNDN); mpfr_set_d(r15155, y_re, MPFR_RNDN); mpfr_mul(r15156, r15154, r15155, MPFR_RNDN); mpfr_atan2(r15157, r15150, r15148, MPFR_RNDN); mpfr_set_d(r15158, y_im, MPFR_RNDN); mpfr_mul(r15159, r15157, r15158, MPFR_RNDN); mpfr_sub(r15160, r15156, r15159, MPFR_RNDN); mpfr_exp(r15161, r15160, MPFR_RNDN); mpfr_mul(r15162, r15154, r15158, MPFR_RNDN); mpfr_mul(r15163, r15157, r15155, MPFR_RNDN); mpfr_add(r15164, r15162, r15163, MPFR_RNDN); mpfr_sin(r15165, r15164, MPFR_RNDN); mpfr_mul(r15166, r15161, r15165, MPFR_RNDN); return mpfr_get_d(r15166, MPFR_RNDN); } static mpfr_t 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, 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(r15167); mpfr_init_set_str(r15168, "-1.5701926893511905e-34", 10, MPFR_RNDN); 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(r15180); mpfr_init(r15181); mpfr_init(r15182); mpfr_init(r15183); mpfr_init(r15184); mpfr_init_set_str(r15185, "-7.527064062875945e-237", 10, MPFR_RNDN); 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_set_str(r15196, "1", 10, MPFR_RNDN); mpfr_init_set_str(r15197, "1/2", 10, MPFR_RNDN); 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); mpfr_init(r15207); mpfr_init_set_str(r15208, "-7.560755522423213e-296", 10, MPFR_RNDN); mpfr_init(r15209); mpfr_init_set_str(r15210, "-1", 10, MPFR_RNDN); 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_set_str(r15219, "1.2924149934510948e-196", 10, MPFR_RNDN); 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_set_str(r15228, "1.0876079425786589e-68", 10, MPFR_RNDN); 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_set_str(r15242, "3.7128779556970306e+50", 10, MPFR_RNDN); 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 x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15167, x_re, MPFR_RNDN); ; mpfr_set_si(r15169, mpfr_cmp(r15167, r15168) <= 0, MPFR_RNDN); mpfr_set_d(r15170, y_re, MPFR_RNDN); mpfr_set_d(r15171, x_im, MPFR_RNDN); mpfr_atan2(r15172, r15171, r15167, MPFR_RNDN); mpfr_mul(r15173, r15170, r15172, MPFR_RNDN); mpfr_neg(r15174, r15167, MPFR_RNDN); mpfr_log(r15175, r15174, MPFR_RNDN); mpfr_set_d(r15176, y_im, MPFR_RNDN); mpfr_mul(r15177, r15175, r15176, MPFR_RNDN); mpfr_add(r15178, r15173, r15177, MPFR_RNDN); mpfr_sin(r15179, r15178, MPFR_RNDN); mpfr_exp(r15180, r15176, MPFR_RNDN); mpfr_pow(r15181, r15180, r15172, MPFR_RNDN); mpfr_pow(r15182, r15174, r15170, MPFR_RNDN); mpfr_div(r15183, r15181, r15182, MPFR_RNDN); mpfr_div(r15184, r15179, r15183, MPFR_RNDN); ; mpfr_set_si(r15186, mpfr_cmp(r15167, r15185) <= 0, MPFR_RNDN); mpfr_sqr(r15187, r15167, MPFR_RNDN); mpfr_mul(r15188, r15171, r15171, MPFR_RNDN); mpfr_add(r15189, r15187, r15188, MPFR_RNDN); mpfr_sqrt(r15190, r15189, MPFR_RNDN); mpfr_log(r15191, r15190, MPFR_RNDN); mpfr_mul(r15192, r15191, r15176, MPFR_RNDN); mpfr_add(r15193, r15173, r15192, MPFR_RNDN); mpfr_sin(r15194, r15193, MPFR_RNDN); mpfr_mul(r15195, r15172, r15176, MPFR_RNDN); ; ; mpfr_sqr(r15198, r15172, MPFR_RNDN); mpfr_sqr(r15199, r15176, MPFR_RNDN); mpfr_mul(r15200, r15198, r15199, MPFR_RNDN); mpfr_mul(r15201, r15197, r15200, MPFR_RNDN); mpfr_add(r15202, r15196, r15201, MPFR_RNDN); mpfr_add(r15203, r15195, r15202, MPFR_RNDN); mpfr_exp(r15204, r15191, MPFR_RNDN); mpfr_pow(r15205, r15204, r15170, MPFR_RNDN); mpfr_div(r15206, r15203, r15205, MPFR_RNDN); mpfr_div(r15207, r15194, r15206, MPFR_RNDN); ; mpfr_set_si(r15209, mpfr_cmp(r15167, r15208) <= 0, MPFR_RNDN); ; mpfr_mul(r15211, r15210, r15167, MPFR_RNDN); mpfr_log(r15212, r15211, MPFR_RNDN); mpfr_mul(r15213, r15212, r15176, MPFR_RNDN); mpfr_add(r15214, r15173, r15213, MPFR_RNDN); mpfr_sin(r15215, r15214, MPFR_RNDN); mpfr_pow(r15216, r15190, r15170, MPFR_RNDN); mpfr_div(r15217, r15181, r15216, MPFR_RNDN); mpfr_div(r15218, r15215, r15217, MPFR_RNDN); ; mpfr_set_si(r15220, mpfr_cmp(r15167, r15219) <= 0, MPFR_RNDN); mpfr_log(r15221, r15171, MPFR_RNDN); mpfr_mul(r15222, r15176, r15221, MPFR_RNDN); mpfr_add(r15223, r15222, r15173, MPFR_RNDN); mpfr_sin(r15224, r15223, MPFR_RNDN); mpfr_pow(r15225, r15171, r15170, MPFR_RNDN); mpfr_div(r15226, r15181, r15225, MPFR_RNDN); mpfr_div(r15227, r15224, r15226, MPFR_RNDN); ; mpfr_set_si(r15229, mpfr_cmp(r15167, r15228) <= 0, MPFR_RNDN); mpfr_sqr(r15230, r15171, MPFR_RNDN); mpfr_mul(r15231, r15167, r15167, MPFR_RNDN); mpfr_add(r15232, r15230, r15231, MPFR_RNDN); mpfr_sqrt(r15233, r15232, MPFR_RNDN); mpfr_pow(r15234, r15233, r15170, MPFR_RNDN); mpfr_mul(r15235, r15172, r15170, MPFR_RNDN); mpfr_log(r15236, r15167, MPFR_RNDN); mpfr_mul(r15237, r15236, r15176, MPFR_RNDN); mpfr_add(r15238, r15235, r15237, MPFR_RNDN); mpfr_add(r15239, r15196, r15195, MPFR_RNDN); mpfr_div(r15240, r15238, r15239, MPFR_RNDN); mpfr_mul(r15241, r15234, r15240, MPFR_RNDN); ; mpfr_set_si(r15243, mpfr_cmp(r15167, r15242) <= 0, MPFR_RNDN); mpfr_mul(r15244, r15176, r15236, MPFR_RNDN); mpfr_add(r15245, r15244, r15173, MPFR_RNDN); mpfr_sin(r15246, r15245, MPFR_RNDN); mpfr_pow(r15247, r15167, r15170, MPFR_RNDN); mpfr_div(r15248, r15181, r15247, MPFR_RNDN); mpfr_div(r15249, r15246, r15248, MPFR_RNDN); if (mpfr_get_si(r15243, MPFR_RNDN)) { mpfr_set(r15250, r15207, MPFR_RNDN); } else { mpfr_set(r15250, r15249, MPFR_RNDN); }; if (mpfr_get_si(r15229, MPFR_RNDN)) { mpfr_set(r15251, r15241, MPFR_RNDN); } else { mpfr_set(r15251, r15250, MPFR_RNDN); }; if (mpfr_get_si(r15220, MPFR_RNDN)) { mpfr_set(r15252, r15227, MPFR_RNDN); } else { mpfr_set(r15252, r15251, MPFR_RNDN); }; if (mpfr_get_si(r15209, MPFR_RNDN)) { mpfr_set(r15253, r15218, MPFR_RNDN); } else { mpfr_set(r15253, r15252, MPFR_RNDN); }; if (mpfr_get_si(r15186, MPFR_RNDN)) { mpfr_set(r15254, r15207, MPFR_RNDN); } else { mpfr_set(r15254, r15253, MPFR_RNDN); }; if (mpfr_get_si(r15169, MPFR_RNDN)) { mpfr_set(r15255, r15184, 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, r15309, r15310, r15311, r15312, r15313, r15314, r15315, r15316, r15317, r15318, r15319, r15320, r15321, r15322, r15323, r15324, r15325, r15326, r15327, r15328, r15329, r15330, r15331, r15332, r15333, r15334, r15335, r15336, r15337, r15338, r15339, r15340, r15341, r15342, r15343, r15344; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15256); mpfr_init_set_str(r15257, "-1.5701926893511905e-34", 10, MPFR_RNDN); mpfr_init(r15258); mpfr_init(r15259); mpfr_init(r15260); mpfr_init(r15261); mpfr_init(r15262); mpfr_init(r15263); mpfr_init(r15264); mpfr_init(r15265); mpfr_init(r15266); mpfr_init(r15267); mpfr_init(r15268); mpfr_init(r15269); mpfr_init(r15270); mpfr_init(r15271); mpfr_init(r15272); mpfr_init(r15273); mpfr_init_set_str(r15274, "-7.527064062875945e-237", 10, MPFR_RNDN); mpfr_init(r15275); mpfr_init(r15276); mpfr_init(r15277); mpfr_init(r15278); mpfr_init(r15279); mpfr_init(r15280); mpfr_init(r15281); mpfr_init(r15282); mpfr_init(r15283); mpfr_init(r15284); mpfr_init_set_str(r15285, "1", 10, MPFR_RNDN); mpfr_init_set_str(r15286, "1/2", 10, MPFR_RNDN); 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_set_str(r15297, "-7.560755522423213e-296", 10, MPFR_RNDN); mpfr_init(r15298); mpfr_init_set_str(r15299, "-1", 10, MPFR_RNDN); 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_set_str(r15308, "1.2924149934510948e-196", 10, MPFR_RNDN); mpfr_init(r15309); mpfr_init(r15310); mpfr_init(r15311); mpfr_init(r15312); mpfr_init(r15313); mpfr_init(r15314); mpfr_init(r15315); mpfr_init(r15316); mpfr_init_set_str(r15317, "1.0876079425786589e-68", 10, MPFR_RNDN); mpfr_init(r15318); mpfr_init(r15319); mpfr_init(r15320); mpfr_init(r15321); mpfr_init(r15322); mpfr_init(r15323); mpfr_init(r15324); mpfr_init(r15325); mpfr_init(r15326); mpfr_init(r15327); mpfr_init(r15328); mpfr_init(r15329); mpfr_init(r15330); mpfr_init_set_str(r15331, "3.7128779556970306e+50", 10, MPFR_RNDN); mpfr_init(r15332); mpfr_init(r15333); mpfr_init(r15334); mpfr_init(r15335); mpfr_init(r15336); mpfr_init(r15337); mpfr_init(r15338); mpfr_init(r15339); mpfr_init(r15340); mpfr_init(r15341); mpfr_init(r15342); mpfr_init(r15343); mpfr_init(r15344); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15256, x_re, MPFR_RNDN); ; mpfr_set_si(r15258, mpfr_cmp(r15256, r15257) <= 0, MPFR_RNDN); mpfr_set_d(r15259, y_re, MPFR_RNDN); mpfr_set_d(r15260, x_im, MPFR_RNDN); mpfr_atan2(r15261, r15260, r15256, MPFR_RNDN); mpfr_mul(r15262, r15259, r15261, MPFR_RNDN); mpfr_neg(r15263, r15256, MPFR_RNDN); mpfr_log(r15264, r15263, MPFR_RNDN); mpfr_set_d(r15265, y_im, MPFR_RNDN); mpfr_mul(r15266, r15264, r15265, MPFR_RNDN); mpfr_add(r15267, r15262, r15266, MPFR_RNDN); mpfr_sin(r15268, r15267, MPFR_RNDN); mpfr_exp(r15269, r15265, MPFR_RNDN); mpfr_pow(r15270, r15269, r15261, MPFR_RNDN); mpfr_pow(r15271, r15263, r15259, MPFR_RNDN); mpfr_div(r15272, r15270, r15271, MPFR_RNDN); mpfr_div(r15273, r15268, r15272, MPFR_RNDN); ; mpfr_set_si(r15275, mpfr_cmp(r15256, r15274) <= 0, MPFR_RNDN); mpfr_sqr(r15276, r15256, MPFR_RNDN); mpfr_mul(r15277, r15260, r15260, MPFR_RNDN); mpfr_add(r15278, r15276, r15277, MPFR_RNDN); mpfr_sqrt(r15279, r15278, MPFR_RNDN); mpfr_log(r15280, r15279, MPFR_RNDN); mpfr_mul(r15281, r15280, r15265, MPFR_RNDN); mpfr_add(r15282, r15262, r15281, MPFR_RNDN); mpfr_sin(r15283, r15282, MPFR_RNDN); mpfr_mul(r15284, r15261, r15265, MPFR_RNDN); ; ; mpfr_sqr(r15287, r15261, MPFR_RNDN); mpfr_sqr(r15288, r15265, MPFR_RNDN); mpfr_mul(r15289, r15287, r15288, MPFR_RNDN); mpfr_mul(r15290, r15286, r15289, MPFR_RNDN); mpfr_add(r15291, r15285, r15290, MPFR_RNDN); mpfr_add(r15292, r15284, r15291, MPFR_RNDN); mpfr_exp(r15293, r15280, MPFR_RNDN); mpfr_pow(r15294, r15293, r15259, MPFR_RNDN); mpfr_div(r15295, r15292, r15294, MPFR_RNDN); mpfr_div(r15296, r15283, r15295, MPFR_RNDN); ; mpfr_set_si(r15298, mpfr_cmp(r15256, r15297) <= 0, MPFR_RNDN); ; mpfr_mul(r15300, r15299, r15256, MPFR_RNDN); mpfr_log(r15301, r15300, MPFR_RNDN); mpfr_mul(r15302, r15301, r15265, MPFR_RNDN); mpfr_add(r15303, r15262, r15302, MPFR_RNDN); mpfr_sin(r15304, r15303, MPFR_RNDN); mpfr_pow(r15305, r15279, r15259, MPFR_RNDN); mpfr_div(r15306, r15270, r15305, MPFR_RNDN); mpfr_div(r15307, r15304, r15306, MPFR_RNDN); ; mpfr_set_si(r15309, mpfr_cmp(r15256, r15308) <= 0, MPFR_RNDN); mpfr_log(r15310, r15260, MPFR_RNDN); mpfr_mul(r15311, r15265, r15310, MPFR_RNDN); mpfr_add(r15312, r15311, r15262, MPFR_RNDN); mpfr_sin(r15313, r15312, MPFR_RNDN); mpfr_pow(r15314, r15260, r15259, MPFR_RNDN); mpfr_div(r15315, r15270, r15314, MPFR_RNDN); mpfr_div(r15316, r15313, r15315, MPFR_RNDN); ; mpfr_set_si(r15318, mpfr_cmp(r15256, r15317) <= 0, MPFR_RNDN); mpfr_sqr(r15319, r15260, MPFR_RNDN); mpfr_mul(r15320, r15256, r15256, MPFR_RNDN); mpfr_add(r15321, r15319, r15320, MPFR_RNDN); mpfr_sqrt(r15322, r15321, MPFR_RNDN); mpfr_pow(r15323, r15322, r15259, MPFR_RNDN); mpfr_mul(r15324, r15261, r15259, MPFR_RNDN); mpfr_log(r15325, r15256, MPFR_RNDN); mpfr_mul(r15326, r15325, r15265, MPFR_RNDN); mpfr_add(r15327, r15324, r15326, MPFR_RNDN); mpfr_add(r15328, r15285, r15284, MPFR_RNDN); mpfr_div(r15329, r15327, r15328, MPFR_RNDN); mpfr_mul(r15330, r15323, r15329, MPFR_RNDN); ; mpfr_set_si(r15332, mpfr_cmp(r15256, r15331) <= 0, MPFR_RNDN); mpfr_mul(r15333, r15265, r15325, MPFR_RNDN); mpfr_add(r15334, r15333, r15262, MPFR_RNDN); mpfr_sin(r15335, r15334, MPFR_RNDN); mpfr_pow(r15336, r15256, r15259, MPFR_RNDN); mpfr_div(r15337, r15270, r15336, MPFR_RNDN); mpfr_div(r15338, r15335, r15337, MPFR_RNDN); if (mpfr_get_si(r15332, MPFR_RNDN)) { mpfr_set(r15339, r15296, MPFR_RNDN); } else { mpfr_set(r15339, r15338, MPFR_RNDN); }; if (mpfr_get_si(r15318, MPFR_RNDN)) { mpfr_set(r15340, r15330, MPFR_RNDN); } else { mpfr_set(r15340, r15339, MPFR_RNDN); }; if (mpfr_get_si(r15309, MPFR_RNDN)) { mpfr_set(r15341, r15316, MPFR_RNDN); } else { mpfr_set(r15341, r15340, MPFR_RNDN); }; if (mpfr_get_si(r15298, MPFR_RNDN)) { mpfr_set(r15342, r15307, MPFR_RNDN); } else { mpfr_set(r15342, r15341, MPFR_RNDN); }; if (mpfr_get_si(r15275, MPFR_RNDN)) { mpfr_set(r15343, r15296, MPFR_RNDN); } else { mpfr_set(r15343, r15342, MPFR_RNDN); }; if (mpfr_get_si(r15258, MPFR_RNDN)) { mpfr_set(r15344, r15273, MPFR_RNDN); } else { mpfr_set(r15344, r15343, MPFR_RNDN); }; return mpfr_get_d(r15344, MPFR_RNDN); }