#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "powComplex, imaginary part";

double f_if(float x_re, float x_im, float y_re, float y_im) {
        float r14856 = x_re;
        float r14857 = r14856 * r14856;
        float r14858 = x_im;
        float r14859 = r14858 * r14858;
        float r14860 = r14857 + r14859;
        float r14861 = sqrt(r14860);
        float r14862 = log(r14861);
        float r14863 = y_re;
        float r14864 = r14862 * r14863;
        float r14865 = atan2(r14858, r14856);
        float r14866 = y_im;
        float r14867 = r14865 * r14866;
        float r14868 = r14864 - r14867;
        float r14869 = exp(r14868);
        float r14870 = r14862 * r14866;
        float r14871 = r14865 * r14863;
        float r14872 = r14870 + r14871;
        float r14873 = sin(r14872);
        float r14874 = r14869 * r14873;
        return r14874;
}

double f_id(double x_re, double x_im, double y_re, double y_im) {
        double r14875 = x_re;
        double r14876 = r14875 * r14875;
        double r14877 = x_im;
        double r14878 = r14877 * r14877;
        double r14879 = r14876 + r14878;
        double r14880 = sqrt(r14879);
        double r14881 = log(r14880);
        double r14882 = y_re;
        double r14883 = r14881 * r14882;
        double r14884 = atan2(r14877, r14875);
        double r14885 = y_im;
        double r14886 = r14884 * r14885;
        double r14887 = r14883 - r14886;
        double r14888 = exp(r14887);
        double r14889 = r14881 * r14885;
        double r14890 = r14884 * r14882;
        double r14891 = r14889 + r14890;
        double r14892 = sin(r14891);
        double r14893 = r14888 * r14892;
        return r14893;
}


double f_of(float x_re, float x_im, float y_re, float y_im) {
        float r14894 = x_re;
        float r14895 = 6.092285203498575e-39f;
        bool r14896 = r14894 <= r14895;
        float r14897 = y_re;
        float r14898 = x_im;
        float r14899 = atan2(r14898, r14894);
        float r14900 = r14897 * r14899;
        float r14901 = -r14894;
        float r14902 = log(r14901);
        float r14903 = y_im;
        float r14904 = r14902 * r14903;
        float r14905 = r14900 + r14904;
        float r14906 = sin(r14905);
        float r14907 = exp(r14903);
        float r14908 = pow(r14907, r14899);
        float r14909 = pow(r14901, r14897);
        float r14910 = r14908 / r14909;
        float r14911 = r14906 / r14910;
        float r14912 = 1.5368829222151782e+18f;
        bool r14913 = r14894 <= r14912;
        float r14914 = log(r14894);
        float r14915 = r14914 * r14903;
        float r14916 = r14915 + r14900;
        float r14917 = r14903 * r14899;
        float r14918 = 1.0f;
        float r14919 = r14917 + r14918;
        float r14920 = r14899 * r14899;
        float r14921 = r14903 * r14903;
        float r14922 = 0.5f;
        float r14923 = r14921 * r14922;
        float r14924 = r14920 * r14923;
        float r14925 = r14919 + r14924;
        float r14926 = r14894 * r14894;
        float r14927 = r14898 * r14898;
        float r14928 = r14926 + r14927;
        float r14929 = sqrt(r14928);
        float r14930 = pow(r14929, r14897);
        float r14931 = r14925 / r14930;
        float r14932 = r14916 / r14931;
        float r14933 = r14903 * r14914;
        float r14934 = r14933 + r14900;
        float r14935 = sin(r14934);
        float r14936 = pow(r14894, r14897);
        float r14937 = r14908 / r14936;
        float r14938 = r14935 / r14937;
        float r14939 = r14913 ? r14932 : r14938;
        float r14940 = r14896 ? r14911 : r14939;
        return r14940;
}

double f_od(double x_re, double x_im, double y_re, double y_im) {
        double r14941 = x_re;
        double r14942 = 6.092285203498575e-39;
        bool r14943 = r14941 <= r14942;
        double r14944 = y_re;
        double r14945 = x_im;
        double r14946 = atan2(r14945, r14941);
        double r14947 = r14944 * r14946;
        double r14948 = -r14941;
        double r14949 = log(r14948);
        double r14950 = y_im;
        double r14951 = r14949 * r14950;
        double r14952 = r14947 + r14951;
        double r14953 = sin(r14952);
        double r14954 = exp(r14950);
        double r14955 = pow(r14954, r14946);
        double r14956 = pow(r14948, r14944);
        double r14957 = r14955 / r14956;
        double r14958 = r14953 / r14957;
        double r14959 = 1.5368829222151782e+18;
        bool r14960 = r14941 <= r14959;
        double r14961 = log(r14941);
        double r14962 = r14961 * r14950;
        double r14963 = r14962 + r14947;
        double r14964 = r14950 * r14946;
        double r14965 = 1.0;
        double r14966 = r14964 + r14965;
        double r14967 = r14946 * r14946;
        double r14968 = r14950 * r14950;
        double r14969 = 0.5;
        double r14970 = r14968 * r14969;
        double r14971 = r14967 * r14970;
        double r14972 = r14966 + r14971;
        double r14973 = r14941 * r14941;
        double r14974 = r14945 * r14945;
        double r14975 = r14973 + r14974;
        double r14976 = sqrt(r14975);
        double r14977 = pow(r14976, r14944);
        double r14978 = r14972 / r14977;
        double r14979 = r14963 / r14978;
        double r14980 = r14950 * r14961;
        double r14981 = r14980 + r14947;
        double r14982 = sin(r14981);
        double r14983 = pow(r14941, r14944);
        double r14984 = r14955 / r14983;
        double r14985 = r14982 / r14984;
        double r14986 = r14960 ? r14979 : r14985;
        double r14987 = r14943 ? r14958 : r14986;
        return r14987;
}

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 r14988, r14989, r14990, r14991, r14992, r14993, r14994, r14995, r14996, r14997, r14998, r14999, r15000, r15001, r15002, r15003, r15004, r15005, r15006;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        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);
        mpfr_init(r15001);
        mpfr_init(r15002);
        mpfr_init(r15003);
        mpfr_init(r15004);
        mpfr_init(r15005);
        mpfr_init(r15006);
}

double f_im(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r14988, x_re, MPFR_RNDN);
        mpfr_mul(r14989, r14988, r14988, MPFR_RNDN);
        mpfr_set_d(r14990, x_im, MPFR_RNDN);
        mpfr_mul(r14991, r14990, r14990, MPFR_RNDN);
        mpfr_add(r14992, r14989, r14991, MPFR_RNDN);
        mpfr_sqrt(r14993, r14992, MPFR_RNDN);
        mpfr_log(r14994, r14993, MPFR_RNDN);
        mpfr_set_d(r14995, y_re, MPFR_RNDN);
        mpfr_mul(r14996, r14994, r14995, MPFR_RNDN);
        mpfr_atan2(r14997, r14990, r14988, MPFR_RNDN);
        mpfr_set_d(r14998, y_im, MPFR_RNDN);
        mpfr_mul(r14999, r14997, r14998, MPFR_RNDN);
        mpfr_sub(r15000, r14996, r14999, MPFR_RNDN);
        mpfr_exp(r15001, r15000, MPFR_RNDN);
        mpfr_mul(r15002, r14994, r14998, MPFR_RNDN);
        mpfr_mul(r15003, r14997, r14995, MPFR_RNDN);
        mpfr_add(r15004, r15002, r15003, MPFR_RNDN);
        mpfr_sin(r15005, r15004, MPFR_RNDN);
        mpfr_mul(r15006, r15001, r15005, MPFR_RNDN);
        return mpfr_get_d(r15006, MPFR_RNDN);
}

static mpfr_t 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, r15033, r15034, r15035, r15036, r15037, r15038, r15039, r15040, r15041, r15042, r15043, r15044, r15045, r15046, r15047, r15048, r15049, r15050, r15051, r15052, r15053;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15007);
        mpfr_init_set_str(r15008, "6.092285f-39", 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_set_str(r15025, "1.5368829f+18", 10, MPFR_RNDN);
        mpfr_init(r15026);
        mpfr_init(r15027);
        mpfr_init(r15028);
        mpfr_init(r15029);
        mpfr_init(r15030);
        mpfr_init_set_str(r15031, "1", 10, MPFR_RNDN);
        mpfr_init(r15032);
        mpfr_init(r15033);
        mpfr_init(r15034);
        mpfr_init_set_str(r15035, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15036);
        mpfr_init(r15037);
        mpfr_init(r15038);
        mpfr_init(r15039);
        mpfr_init(r15040);
        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);
}

double f_fm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r15007, x_re, MPFR_RNDN);
        ;
        mpfr_set_si(r15009, mpfr_cmp(r15007, r15008) <= 0, MPFR_RNDN);
        mpfr_set_d(r15010, y_re, MPFR_RNDN);
        mpfr_set_d(r15011, x_im, MPFR_RNDN);
        mpfr_atan2(r15012, r15011, r15007, MPFR_RNDN);
        mpfr_mul(r15013, r15010, r15012, MPFR_RNDN);
        mpfr_neg(r15014, r15007, MPFR_RNDN);
        mpfr_log(r15015, r15014, MPFR_RNDN);
        mpfr_set_d(r15016, y_im, MPFR_RNDN);
        mpfr_mul(r15017, r15015, r15016, MPFR_RNDN);
        mpfr_add(r15018, r15013, r15017, MPFR_RNDN);
        mpfr_sin(r15019, r15018, MPFR_RNDN);
        mpfr_exp(r15020, r15016, MPFR_RNDN);
        mpfr_pow(r15021, r15020, r15012, MPFR_RNDN);
        mpfr_pow(r15022, r15014, r15010, MPFR_RNDN);
        mpfr_div(r15023, r15021, r15022, MPFR_RNDN);
        mpfr_div(r15024, r15019, r15023, MPFR_RNDN);
        ;
        mpfr_set_si(r15026, mpfr_cmp(r15007, r15025) <= 0, MPFR_RNDN);
        mpfr_log(r15027, r15007, MPFR_RNDN);
        mpfr_mul(r15028, r15027, r15016, MPFR_RNDN);
        mpfr_add(r15029, r15028, r15013, MPFR_RNDN);
        mpfr_mul(r15030, r15016, r15012, MPFR_RNDN);
        ;
        mpfr_add(r15032, r15030, r15031, MPFR_RNDN);
        mpfr_sqr(r15033, r15012, MPFR_RNDN);
        mpfr_mul(r15034, r15016, r15016, MPFR_RNDN);
        ;
        mpfr_mul(r15036, r15034, r15035, MPFR_RNDN);
        mpfr_mul(r15037, r15033, r15036, MPFR_RNDN);
        mpfr_add(r15038, r15032, r15037, MPFR_RNDN);
        mpfr_sqr(r15039, r15007, MPFR_RNDN);
        mpfr_mul(r15040, r15011, r15011, MPFR_RNDN);
        mpfr_add(r15041, r15039, r15040, MPFR_RNDN);
        mpfr_sqrt(r15042, r15041, MPFR_RNDN);
        mpfr_pow(r15043, r15042, r15010, MPFR_RNDN);
        mpfr_div(r15044, r15038, r15043, MPFR_RNDN);
        mpfr_div(r15045, r15029, r15044, MPFR_RNDN);
        mpfr_mul(r15046, r15016, r15027, MPFR_RNDN);
        mpfr_add(r15047, r15046, r15013, MPFR_RNDN);
        mpfr_sin(r15048, r15047, MPFR_RNDN);
        mpfr_pow(r15049, r15007, r15010, MPFR_RNDN);
        mpfr_div(r15050, r15021, r15049, MPFR_RNDN);
        mpfr_div(r15051, r15048, r15050, MPFR_RNDN);
        if (mpfr_get_si(r15026, MPFR_RNDN)) { mpfr_set(r15052, r15045, MPFR_RNDN); } else { mpfr_set(r15052, r15051, MPFR_RNDN); };
        if (mpfr_get_si(r15009, MPFR_RNDN)) { mpfr_set(r15053, r15024, MPFR_RNDN); } else { mpfr_set(r15053, r15052, MPFR_RNDN); };
        return mpfr_get_d(r15053, MPFR_RNDN);
}

static mpfr_t r15054, r15055, r15056, r15057, r15058, r15059, r15060, r15061, r15062, r15063, r15064, r15065, r15066, r15067, r15068, r15069, r15070, r15071, r15072, r15073, r15074, r15075, r15076, r15077, r15078, r15079, r15080, r15081, r15082, r15083, r15084, r15085, r15086, r15087, r15088, r15089, r15090, r15091, r15092, r15093, r15094, r15095, r15096, r15097, r15098, r15099, r15100;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15054);
        mpfr_init_set_str(r15055, "6.092285f-39", 10, MPFR_RNDN);
        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);
        mpfr_init(r15065);
        mpfr_init(r15066);
        mpfr_init(r15067);
        mpfr_init(r15068);
        mpfr_init(r15069);
        mpfr_init(r15070);
        mpfr_init(r15071);
        mpfr_init_set_str(r15072, "1.5368829f+18", 10, MPFR_RNDN);
        mpfr_init(r15073);
        mpfr_init(r15074);
        mpfr_init(r15075);
        mpfr_init(r15076);
        mpfr_init(r15077);
        mpfr_init_set_str(r15078, "1", 10, MPFR_RNDN);
        mpfr_init(r15079);
        mpfr_init(r15080);
        mpfr_init(r15081);
        mpfr_init_set_str(r15082, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15083);
        mpfr_init(r15084);
        mpfr_init(r15085);
        mpfr_init(r15086);
        mpfr_init(r15087);
        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);
}

double f_dm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r15054, x_re, MPFR_RNDN);
        ;
        mpfr_set_si(r15056, mpfr_cmp(r15054, r15055) <= 0, MPFR_RNDN);
        mpfr_set_d(r15057, y_re, MPFR_RNDN);
        mpfr_set_d(r15058, x_im, MPFR_RNDN);
        mpfr_atan2(r15059, r15058, r15054, MPFR_RNDN);
        mpfr_mul(r15060, r15057, r15059, MPFR_RNDN);
        mpfr_neg(r15061, r15054, MPFR_RNDN);
        mpfr_log(r15062, r15061, MPFR_RNDN);
        mpfr_set_d(r15063, y_im, MPFR_RNDN);
        mpfr_mul(r15064, r15062, r15063, MPFR_RNDN);
        mpfr_add(r15065, r15060, r15064, MPFR_RNDN);
        mpfr_sin(r15066, r15065, MPFR_RNDN);
        mpfr_exp(r15067, r15063, MPFR_RNDN);
        mpfr_pow(r15068, r15067, r15059, MPFR_RNDN);
        mpfr_pow(r15069, r15061, r15057, MPFR_RNDN);
        mpfr_div(r15070, r15068, r15069, MPFR_RNDN);
        mpfr_div(r15071, r15066, r15070, MPFR_RNDN);
        ;
        mpfr_set_si(r15073, mpfr_cmp(r15054, r15072) <= 0, MPFR_RNDN);
        mpfr_log(r15074, r15054, MPFR_RNDN);
        mpfr_mul(r15075, r15074, r15063, MPFR_RNDN);
        mpfr_add(r15076, r15075, r15060, MPFR_RNDN);
        mpfr_mul(r15077, r15063, r15059, MPFR_RNDN);
        ;
        mpfr_add(r15079, r15077, r15078, MPFR_RNDN);
        mpfr_sqr(r15080, r15059, MPFR_RNDN);
        mpfr_mul(r15081, r15063, r15063, MPFR_RNDN);
        ;
        mpfr_mul(r15083, r15081, r15082, MPFR_RNDN);
        mpfr_mul(r15084, r15080, r15083, MPFR_RNDN);
        mpfr_add(r15085, r15079, r15084, MPFR_RNDN);
        mpfr_sqr(r15086, r15054, MPFR_RNDN);
        mpfr_mul(r15087, r15058, r15058, MPFR_RNDN);
        mpfr_add(r15088, r15086, r15087, MPFR_RNDN);
        mpfr_sqrt(r15089, r15088, MPFR_RNDN);
        mpfr_pow(r15090, r15089, r15057, MPFR_RNDN);
        mpfr_div(r15091, r15085, r15090, MPFR_RNDN);
        mpfr_div(r15092, r15076, r15091, MPFR_RNDN);
        mpfr_mul(r15093, r15063, r15074, MPFR_RNDN);
        mpfr_add(r15094, r15093, r15060, MPFR_RNDN);
        mpfr_sin(r15095, r15094, MPFR_RNDN);
        mpfr_pow(r15096, r15054, r15057, MPFR_RNDN);
        mpfr_div(r15097, r15068, r15096, MPFR_RNDN);
        mpfr_div(r15098, r15095, r15097, MPFR_RNDN);
        if (mpfr_get_si(r15073, MPFR_RNDN)) { mpfr_set(r15099, r15092, MPFR_RNDN); } else { mpfr_set(r15099, r15098, MPFR_RNDN); };
        if (mpfr_get_si(r15056, MPFR_RNDN)) { mpfr_set(r15100, r15071, MPFR_RNDN); } else { mpfr_set(r15100, r15099, MPFR_RNDN); };
        return mpfr_get_d(r15100, MPFR_RNDN);
}

