#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 r14908 = x_re;
        float r14909 = r14908 * r14908;
        float r14910 = x_im;
        float r14911 = r14910 * r14910;
        float r14912 = r14909 + r14911;
        float r14913 = sqrt(r14912);
        float r14914 = log(r14913);
        float r14915 = y_re;
        float r14916 = r14914 * r14915;
        float r14917 = atan2(r14910, r14908);
        float r14918 = y_im;
        float r14919 = r14917 * r14918;
        float r14920 = r14916 - r14919;
        float r14921 = exp(r14920);
        float r14922 = r14914 * r14918;
        float r14923 = r14917 * r14915;
        float r14924 = r14922 + r14923;
        float r14925 = sin(r14924);
        float r14926 = r14921 * r14925;
        return r14926;
}

double f_id(double x_re, double x_im, double y_re, double y_im) {
        double r14927 = x_re;
        double r14928 = r14927 * r14927;
        double r14929 = x_im;
        double r14930 = r14929 * r14929;
        double r14931 = r14928 + r14930;
        double r14932 = sqrt(r14931);
        double r14933 = log(r14932);
        double r14934 = y_re;
        double r14935 = r14933 * r14934;
        double r14936 = atan2(r14929, r14927);
        double r14937 = y_im;
        double r14938 = r14936 * r14937;
        double r14939 = r14935 - r14938;
        double r14940 = exp(r14939);
        double r14941 = r14933 * r14937;
        double r14942 = r14936 * r14934;
        double r14943 = r14941 + r14942;
        double r14944 = sin(r14943);
        double r14945 = r14940 * r14944;
        return r14945;
}


double f_of(float x_re, float x_im, float y_re, float y_im) {
        float r14946 = y_re;
        float r14947 = -3.4496838170280365e+48f;
        bool r14948 = r14946 <= r14947;
        float r14949 = x_im;
        float r14950 = x_re;
        float r14951 = hypot(r14949, r14950);
        float r14952 = pow(r14951, r14946);
        float r14953 = atan2(r14949, r14950);
        float r14954 = y_im;
        float r14955 = r14953 * r14954;
        float r14956 = 1.0f;
        float r14957 = 0.5f;
        float r14958 = r14953 * r14953;
        float r14959 = r14954 * r14954;
        float r14960 = r14958 * r14959;
        float r14961 = r14957 * r14960;
        float r14962 = r14956 + r14961;
        float r14963 = r14955 + r14962;
        float r14964 = r14952 / r14963;
        float r14965 = log(r14951);
        float r14966 = r14946 * r14953;
        float r14967 = fma(r14954, r14965, r14966);
        float r14968 = sin(r14967);
        float r14969 = r14964 * r14968;
        float r14970 = exp(r14954);
        float r14971 = pow(r14970, r14953);
        float r14972 = r14952 / r14971;
        float r14973 = cbrt(r14968);
        float r14974 = r14973 * (r14973 * r14973);
        float r14975 = r14972 * r14974;
        float r14976 = r14948 ? r14969 : r14975;
        return r14976;
}

double f_od(double x_re, double x_im, double y_re, double y_im) {
        double r14977 = y_re;
        double r14978 = -3.4496838170280365e+48;
        bool r14979 = r14977 <= r14978;
        double r14980 = x_im;
        double r14981 = x_re;
        double r14982 = hypot(r14980, r14981);
        double r14983 = pow(r14982, r14977);
        double r14984 = atan2(r14980, r14981);
        double r14985 = y_im;
        double r14986 = r14984 * r14985;
        double r14987 = 1.0;
        double r14988 = 0.5;
        double r14989 = r14984 * r14984;
        double r14990 = r14985 * r14985;
        double r14991 = r14989 * r14990;
        double r14992 = r14988 * r14991;
        double r14993 = r14987 + r14992;
        double r14994 = r14986 + r14993;
        double r14995 = r14983 / r14994;
        double r14996 = log(r14982);
        double r14997 = r14977 * r14984;
        double r14998 = fma(r14985, r14996, r14997);
        double r14999 = sin(r14998);
        double r15000 = r14995 * r14999;
        double r15001 = exp(r14985);
        double r15002 = pow(r15001, r14984);
        double r15003 = r14983 / r15002;
        double r15004 = cbrt(r14999);
        double r15005 = r15004 * (r15004 * r15004);
        double r15006 = r15003 * r15005;
        double r15007 = r14979 ? r15000 : r15006;
        return r15007;
}

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 r15008, r15009, r15010, r15011, r15012, r15013, r15014, r15015, r15016, r15017, r15018, r15019, r15020, r15021, r15022, r15023, r15024, r15025, r15026;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r15008);
        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);
}

double f_im(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r15008, x_re, MPFR_RNDN);
        mpfr_mul(r15009, r15008, r15008, MPFR_RNDN);
        mpfr_set_d(r15010, x_im, MPFR_RNDN);
        mpfr_mul(r15011, r15010, r15010, MPFR_RNDN);
        mpfr_add(r15012, r15009, r15011, MPFR_RNDN);
        mpfr_sqrt(r15013, r15012, MPFR_RNDN);
        mpfr_log(r15014, r15013, MPFR_RNDN);
        mpfr_set_d(r15015, y_re, MPFR_RNDN);
        mpfr_mul(r15016, r15014, r15015, MPFR_RNDN);
        mpfr_atan2(r15017, r15010, r15008, MPFR_RNDN);
        mpfr_set_d(r15018, y_im, MPFR_RNDN);
        mpfr_mul(r15019, r15017, r15018, MPFR_RNDN);
        mpfr_sub(r15020, r15016, r15019, MPFR_RNDN);
        mpfr_exp(r15021, r15020, MPFR_RNDN);
        mpfr_mul(r15022, r15014, r15018, MPFR_RNDN);
        mpfr_mul(r15023, r15017, r15015, MPFR_RNDN);
        mpfr_add(r15024, r15022, r15023, MPFR_RNDN);
        mpfr_sin(r15025, r15024, MPFR_RNDN);
        mpfr_mul(r15026, r15021, r15025, MPFR_RNDN);
        return mpfr_get_d(r15026, MPFR_RNDN);
}

static mpfr_t 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, r15054, r15055, r15056, r15057;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15027);
        mpfr_init_set_str(r15028, "-3.4496838170280365e+48", 10, MPFR_RNDN);
        mpfr_init(r15029);
        mpfr_init(r15030);
        mpfr_init(r15031);
        mpfr_init(r15032);
        mpfr_init(r15033);
        mpfr_init(r15034);
        mpfr_init(r15035);
        mpfr_init(r15036);
        mpfr_init_set_str(r15037, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r15038, "1/2", 10, MPFR_RNDN);
        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);
        mpfr_init(r15054);
        mpfr_init(r15055);
        mpfr_init(r15056);
        mpfr_init(r15057);
}

double f_fm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r15027, y_re, MPFR_RNDN);
        ;
        mpfr_set_si(r15029, mpfr_cmp(r15027, r15028) <= 0, MPFR_RNDN);
        mpfr_set_d(r15030, x_im, MPFR_RNDN);
        mpfr_set_d(r15031, x_re, MPFR_RNDN);
        mpfr_hypot(r15032, r15030, r15031, MPFR_RNDN);
        mpfr_pow(r15033, r15032, r15027, MPFR_RNDN);
        mpfr_atan2(r15034, r15030, r15031, MPFR_RNDN);
        mpfr_set_d(r15035, y_im, MPFR_RNDN);
        mpfr_mul(r15036, r15034, r15035, MPFR_RNDN);
        ;
        ;
        mpfr_sqr(r15039, r15034, MPFR_RNDN);
        mpfr_sqr(r15040, r15035, MPFR_RNDN);
        mpfr_mul(r15041, r15039, r15040, MPFR_RNDN);
        mpfr_mul(r15042, r15038, r15041, MPFR_RNDN);
        mpfr_add(r15043, r15037, r15042, MPFR_RNDN);
        mpfr_add(r15044, r15036, r15043, MPFR_RNDN);
        mpfr_div(r15045, r15033, r15044, MPFR_RNDN);
        mpfr_log(r15046, r15032, MPFR_RNDN);
        mpfr_mul(r15047, r15027, r15034, MPFR_RNDN);
        mpfr_fma(r15048, r15035, r15046, r15047, MPFR_RNDN);
        mpfr_sin(r15049, r15048, MPFR_RNDN);
        mpfr_mul(r15050, r15045, r15049, MPFR_RNDN);
        mpfr_exp(r15051, r15035, MPFR_RNDN);
        mpfr_pow(r15052, r15051, r15034, MPFR_RNDN);
        mpfr_div(r15053, r15033, r15052, MPFR_RNDN);
        mpfr_cbrt(r15054, r15049, MPFR_RNDN);
        mpfr_mul(r15055, r15054, r15054, MPFR_RNDN); mpfr_mul(r15055, r15055, r15054, MPFR_RNDN);
        mpfr_mul(r15056, r15053, r15055, MPFR_RNDN);
        if (mpfr_get_si(r15029, MPFR_RNDN)) { mpfr_set(r15057, r15050, MPFR_RNDN); } else { mpfr_set(r15057, r15056, MPFR_RNDN); };
        return mpfr_get_d(r15057, MPFR_RNDN);
}

static mpfr_t 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;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r15058);
        mpfr_init_set_str(r15059, "-3.4496838170280365e+48", 10, MPFR_RNDN);
        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_set_str(r15068, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r15069, "1/2", 10, MPFR_RNDN);
        mpfr_init(r15070);
        mpfr_init(r15071);
        mpfr_init(r15072);
        mpfr_init(r15073);
        mpfr_init(r15074);
        mpfr_init(r15075);
        mpfr_init(r15076);
        mpfr_init(r15077);
        mpfr_init(r15078);
        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);
}

double f_dm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r15058, y_re, MPFR_RNDN);
        ;
        mpfr_set_si(r15060, mpfr_cmp(r15058, r15059) <= 0, MPFR_RNDN);
        mpfr_set_d(r15061, x_im, MPFR_RNDN);
        mpfr_set_d(r15062, x_re, MPFR_RNDN);
        mpfr_hypot(r15063, r15061, r15062, MPFR_RNDN);
        mpfr_pow(r15064, r15063, r15058, MPFR_RNDN);
        mpfr_atan2(r15065, r15061, r15062, MPFR_RNDN);
        mpfr_set_d(r15066, y_im, MPFR_RNDN);
        mpfr_mul(r15067, r15065, r15066, MPFR_RNDN);
        ;
        ;
        mpfr_sqr(r15070, r15065, MPFR_RNDN);
        mpfr_sqr(r15071, r15066, MPFR_RNDN);
        mpfr_mul(r15072, r15070, r15071, MPFR_RNDN);
        mpfr_mul(r15073, r15069, r15072, MPFR_RNDN);
        mpfr_add(r15074, r15068, r15073, MPFR_RNDN);
        mpfr_add(r15075, r15067, r15074, MPFR_RNDN);
        mpfr_div(r15076, r15064, r15075, MPFR_RNDN);
        mpfr_log(r15077, r15063, MPFR_RNDN);
        mpfr_mul(r15078, r15058, r15065, MPFR_RNDN);
        mpfr_fma(r15079, r15066, r15077, r15078, MPFR_RNDN);
        mpfr_sin(r15080, r15079, MPFR_RNDN);
        mpfr_mul(r15081, r15076, r15080, MPFR_RNDN);
        mpfr_exp(r15082, r15066, MPFR_RNDN);
        mpfr_pow(r15083, r15082, r15065, MPFR_RNDN);
        mpfr_div(r15084, r15064, r15083, MPFR_RNDN);
        mpfr_cbrt(r15085, r15080, MPFR_RNDN);
        mpfr_mul(r15086, r15085, r15085, MPFR_RNDN); mpfr_mul(r15086, r15086, r15085, MPFR_RNDN);
        mpfr_mul(r15087, r15084, r15086, MPFR_RNDN);
        if (mpfr_get_si(r15060, MPFR_RNDN)) { mpfr_set(r15088, r15081, MPFR_RNDN); } else { mpfr_set(r15088, r15087, MPFR_RNDN); };
        return mpfr_get_d(r15088, MPFR_RNDN);
}

