#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 r14880 = x_re; float r14881 = r14880 * r14880; float r14882 = x_im; float r14883 = r14882 * r14882; float r14884 = r14881 + r14883; float r14885 = sqrt(r14884); float r14886 = log(r14885); float r14887 = y_re; float r14888 = r14886 * r14887; float r14889 = atan2(r14882, r14880); float r14890 = y_im; float r14891 = r14889 * r14890; float r14892 = r14888 - r14891; float r14893 = exp(r14892); float r14894 = r14886 * r14890; float r14895 = r14889 * r14887; float r14896 = r14894 + r14895; float r14897 = sin(r14896); float r14898 = r14893 * r14897; return r14898; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r14899 = x_re; double r14900 = r14899 * r14899; double r14901 = x_im; double r14902 = r14901 * r14901; double r14903 = r14900 + r14902; double r14904 = sqrt(r14903); double r14905 = log(r14904); double r14906 = y_re; double r14907 = r14905 * r14906; double r14908 = atan2(r14901, r14899); double r14909 = y_im; double r14910 = r14908 * r14909; double r14911 = r14907 - r14910; double r14912 = exp(r14911); double r14913 = r14905 * r14909; double r14914 = r14908 * r14906; double r14915 = r14913 + r14914; double r14916 = sin(r14915); double r14917 = r14912 * r14916; return r14917; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r14918 = x_re; float r14919 = -4.298880167301166e-38f; bool r14920 = r14918 <= r14919; float r14921 = y_re; float r14922 = x_im; float r14923 = atan2(r14922, r14918); float r14924 = r14921 * r14923; float r14925 = -1.0f; float r14926 = r14925 * r14918; float r14927 = log(r14926); float r14928 = y_im; float r14929 = r14927 * r14928; float r14930 = r14924 + r14929; float r14931 = sin(r14930); float r14932 = exp(r14928); float r14933 = pow(r14932, r14923); float r14934 = r14918 * r14918; float r14935 = r14922 * r14922; float r14936 = r14934 + r14935; float r14937 = sqrt(r14936); float r14938 = pow(r14937, r14921); float r14939 = r14933 / r14938; float r14940 = r14931 / r14939; float r14941 = log(r14918); float r14942 = r14928 * r14941; float r14943 = r14923 * r14921; float r14944 = r14942 + r14943; float r14945 = r14928 * r14923; float r14946 = exp(r14945); float r14947 = r14946 / r14938; float r14948 = r14944 / r14947; float r14949 = r14920 ? r14940 : r14948; return r14949; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r14950 = x_re; double r14951 = -4.298880167301166e-38; bool r14952 = r14950 <= r14951; double r14953 = y_re; double r14954 = x_im; double r14955 = atan2(r14954, r14950); double r14956 = r14953 * r14955; double r14957 = -1.0; double r14958 = r14957 * r14950; double r14959 = log(r14958); double r14960 = y_im; double r14961 = r14959 * r14960; double r14962 = r14956 + r14961; double r14963 = sin(r14962); double r14964 = exp(r14960); double r14965 = pow(r14964, r14955); double r14966 = r14950 * r14950; double r14967 = r14954 * r14954; double r14968 = r14966 + r14967; double r14969 = sqrt(r14968); double r14970 = pow(r14969, r14953); double r14971 = r14965 / r14970; double r14972 = r14963 / r14971; double r14973 = log(r14950); double r14974 = r14960 * r14973; double r14975 = r14955 * r14953; double r14976 = r14974 + r14975; double r14977 = r14960 * r14955; double r14978 = exp(r14977); double r14979 = r14978 / r14970; double r14980 = r14976 / r14979; double r14981 = r14952 ? r14972 : r14980; return r14981; } 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 r14982, r14983, r14984, r14985, r14986, r14987, r14988, r14989, r14990, r14991, r14992, r14993, r14994, r14995, r14996, r14997, r14998, r14999, r15000; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r14982); mpfr_init(r14983); mpfr_init(r14984); mpfr_init(r14985); mpfr_init(r14986); mpfr_init(r14987); mpfr_init(r14988); mpfr_init(r14989); mpfr_init(r14990); mpfr_init(r14991); mpfr_init(r14992); mpfr_init(r14993); mpfr_init(r14994); mpfr_init(r14995); mpfr_init(r14996); mpfr_init(r14997); mpfr_init(r14998); mpfr_init(r14999); mpfr_init(r15000); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r14982, x_re, MPFR_RNDN); mpfr_mul(r14983, r14982, r14982, MPFR_RNDN); mpfr_set_d(r14984, x_im, MPFR_RNDN); mpfr_mul(r14985, r14984, r14984, MPFR_RNDN); mpfr_add(r14986, r14983, r14985, MPFR_RNDN); mpfr_sqrt(r14987, r14986, MPFR_RNDN); mpfr_log(r14988, r14987, MPFR_RNDN); mpfr_set_d(r14989, y_re, MPFR_RNDN); mpfr_mul(r14990, r14988, r14989, MPFR_RNDN); mpfr_atan2(r14991, r14984, r14982, MPFR_RNDN); mpfr_set_d(r14992, y_im, MPFR_RNDN); mpfr_mul(r14993, r14991, r14992, MPFR_RNDN); mpfr_sub(r14994, r14990, r14993, MPFR_RNDN); mpfr_exp(r14995, r14994, MPFR_RNDN); mpfr_mul(r14996, r14988, r14992, MPFR_RNDN); mpfr_mul(r14997, r14991, r14989, MPFR_RNDN); mpfr_add(r14998, r14996, r14997, MPFR_RNDN); mpfr_sin(r14999, r14998, MPFR_RNDN); mpfr_mul(r15000, r14995, r14999, MPFR_RNDN); return mpfr_get_d(r15000, MPFR_RNDN); } static mpfr_t r15001, r15002, r15003, r15004, r15005, r15006, r15007, r15008, r15009, r15010, r15011, r15012, r15013, r15014, r15015, r15016, r15017, r15018, r15019, r15020, r15021, r15022, r15023, r15024, r15025, r15026, r15027, r15028, r15029, r15030, r15031, r15032; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15001); mpfr_init_set_str(r15002, "-4.2988802f-38", 10, MPFR_RNDN); mpfr_init(r15003); mpfr_init(r15004); mpfr_init(r15005); mpfr_init(r15006); mpfr_init(r15007); mpfr_init_set_str(r15008, "-1", 10, MPFR_RNDN); mpfr_init(r15009); mpfr_init(r15010); mpfr_init(r15011); mpfr_init(r15012); mpfr_init(r15013); mpfr_init(r15014); mpfr_init(r15015); mpfr_init(r15016); mpfr_init(r15017); mpfr_init(r15018); mpfr_init(r15019); mpfr_init(r15020); mpfr_init(r15021); mpfr_init(r15022); mpfr_init(r15023); mpfr_init(r15024); mpfr_init(r15025); mpfr_init(r15026); mpfr_init(r15027); mpfr_init(r15028); mpfr_init(r15029); mpfr_init(r15030); mpfr_init(r15031); mpfr_init(r15032); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15001, x_re, MPFR_RNDN); ; mpfr_set_si(r15003, mpfr_cmp(r15001, r15002) <= 0, MPFR_RNDN); mpfr_set_d(r15004, y_re, MPFR_RNDN); mpfr_set_d(r15005, x_im, MPFR_RNDN); mpfr_atan2(r15006, r15005, r15001, MPFR_RNDN); mpfr_mul(r15007, r15004, r15006, MPFR_RNDN); ; mpfr_mul(r15009, r15008, r15001, MPFR_RNDN); mpfr_log(r15010, r15009, MPFR_RNDN); mpfr_set_d(r15011, y_im, MPFR_RNDN); mpfr_mul(r15012, r15010, r15011, MPFR_RNDN); mpfr_add(r15013, r15007, r15012, MPFR_RNDN); mpfr_sin(r15014, r15013, MPFR_RNDN); mpfr_exp(r15015, r15011, MPFR_RNDN); mpfr_pow(r15016, r15015, r15006, MPFR_RNDN); mpfr_sqr(r15017, r15001, MPFR_RNDN); mpfr_mul(r15018, r15005, r15005, MPFR_RNDN); mpfr_add(r15019, r15017, r15018, MPFR_RNDN); mpfr_sqrt(r15020, r15019, MPFR_RNDN); mpfr_pow(r15021, r15020, r15004, MPFR_RNDN); mpfr_div(r15022, r15016, r15021, MPFR_RNDN); mpfr_div(r15023, r15014, r15022, MPFR_RNDN); mpfr_log(r15024, r15001, MPFR_RNDN); mpfr_mul(r15025, r15011, r15024, MPFR_RNDN); mpfr_mul(r15026, r15006, r15004, MPFR_RNDN); mpfr_add(r15027, r15025, r15026, MPFR_RNDN); mpfr_mul(r15028, r15011, r15006, MPFR_RNDN); mpfr_exp(r15029, r15028, MPFR_RNDN); mpfr_div(r15030, r15029, r15021, MPFR_RNDN); mpfr_div(r15031, r15027, r15030, MPFR_RNDN); if (mpfr_get_si(r15003, MPFR_RNDN)) { mpfr_set(r15032, r15023, MPFR_RNDN); } else { mpfr_set(r15032, r15031, MPFR_RNDN); }; return mpfr_get_d(r15032, MPFR_RNDN); } static mpfr_t r15033, r15034, r15035, r15036, r15037, r15038, r15039, r15040, r15041, r15042, r15043, r15044, r15045, r15046, r15047, r15048, r15049, r15050, r15051, r15052, r15053, r15054, r15055, r15056, r15057, r15058, r15059, r15060, r15061, r15062, r15063, r15064; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15033); mpfr_init_set_str(r15034, "-4.2988802f-38", 10, MPFR_RNDN); mpfr_init(r15035); mpfr_init(r15036); mpfr_init(r15037); mpfr_init(r15038); mpfr_init(r15039); mpfr_init_set_str(r15040, "-1", 10, MPFR_RNDN); mpfr_init(r15041); mpfr_init(r15042); mpfr_init(r15043); mpfr_init(r15044); mpfr_init(r15045); mpfr_init(r15046); mpfr_init(r15047); mpfr_init(r15048); mpfr_init(r15049); mpfr_init(r15050); mpfr_init(r15051); mpfr_init(r15052); mpfr_init(r15053); mpfr_init(r15054); mpfr_init(r15055); mpfr_init(r15056); mpfr_init(r15057); mpfr_init(r15058); mpfr_init(r15059); mpfr_init(r15060); mpfr_init(r15061); mpfr_init(r15062); mpfr_init(r15063); mpfr_init(r15064); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15033, x_re, MPFR_RNDN); ; mpfr_set_si(r15035, mpfr_cmp(r15033, r15034) <= 0, MPFR_RNDN); mpfr_set_d(r15036, y_re, MPFR_RNDN); mpfr_set_d(r15037, x_im, MPFR_RNDN); mpfr_atan2(r15038, r15037, r15033, MPFR_RNDN); mpfr_mul(r15039, r15036, r15038, MPFR_RNDN); ; mpfr_mul(r15041, r15040, r15033, MPFR_RNDN); mpfr_log(r15042, r15041, MPFR_RNDN); mpfr_set_d(r15043, y_im, MPFR_RNDN); mpfr_mul(r15044, r15042, r15043, MPFR_RNDN); mpfr_add(r15045, r15039, r15044, MPFR_RNDN); mpfr_sin(r15046, r15045, MPFR_RNDN); mpfr_exp(r15047, r15043, MPFR_RNDN); mpfr_pow(r15048, r15047, r15038, MPFR_RNDN); mpfr_sqr(r15049, r15033, MPFR_RNDN); mpfr_mul(r15050, r15037, r15037, MPFR_RNDN); mpfr_add(r15051, r15049, r15050, MPFR_RNDN); mpfr_sqrt(r15052, r15051, MPFR_RNDN); mpfr_pow(r15053, r15052, r15036, MPFR_RNDN); mpfr_div(r15054, r15048, r15053, MPFR_RNDN); mpfr_div(r15055, r15046, r15054, MPFR_RNDN); mpfr_log(r15056, r15033, MPFR_RNDN); mpfr_mul(r15057, r15043, r15056, MPFR_RNDN); mpfr_mul(r15058, r15038, r15036, MPFR_RNDN); mpfr_add(r15059, r15057, r15058, MPFR_RNDN); mpfr_mul(r15060, r15043, r15038, MPFR_RNDN); mpfr_exp(r15061, r15060, MPFR_RNDN); mpfr_div(r15062, r15061, r15053, MPFR_RNDN); mpfr_div(r15063, r15059, r15062, MPFR_RNDN); if (mpfr_get_si(r15035, MPFR_RNDN)) { mpfr_set(r15064, r15055, MPFR_RNDN); } else { mpfr_set(r15064, r15063, MPFR_RNDN); }; return mpfr_get_d(r15064, MPFR_RNDN); }