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

char *name = "math.log/1 on complex, real part";

double f_if(float re, float im) {
        float r21787 = re;
        float r21788 = r21787 * r21787;
        float r21789 = im;
        float r21790 = r21789 * r21789;
        float r21791 = r21788 + r21790;
        float r21792 = sqrt(r21791);
        float r21793 = log(r21792);
        return r21793;
}

double f_id(double re, double im) {
        double r21794 = re;
        double r21795 = r21794 * r21794;
        double r21796 = im;
        double r21797 = r21796 * r21796;
        double r21798 = r21795 + r21797;
        double r21799 = sqrt(r21798);
        double r21800 = log(r21799);
        return r21800;
}


double f_of(float re, float im) {
        float r21801 = re;
        float r21802 = -r21801;
        float r21803 = -7.440968527251743e+68;
        bool r21804 = r21802 <= r21803;
        float r21805 = log(r21801);
        float r21806 = -4.7713816172072814e-213;
        bool r21807 = r21802 <= r21806;
        float r21808 = r21801 * r21801;
        float r21809 = im;
        float r21810 = r21809 * r21809;
        float r21811 = r21808 + r21810;
        float r21812 = sqrt(r21811);
        float r21813 = log(r21812);
        float r21814 = 1.9902505349126515e-239;
        bool r21815 = r21802 <= r21814;
        float r21816 = log(r21809);
        float r21817 = 1.8961716390801075e+88;
        bool r21818 = r21802 <= r21817;
        float r21819 = log(r21802);
        float r21820 = r21818 ? r21813 : r21819;
        float r21821 = r21815 ? r21816 : r21820;
        float r21822 = r21807 ? r21813 : r21821;
        float r21823 = r21804 ? r21805 : r21822;
        return r21823;
}

double f_od(double re, double im) {
        double r21824 = re;
        double r21825 = -r21824;
        double r21826 = -7.440968527251743e+68;
        bool r21827 = r21825 <= r21826;
        double r21828 = log(r21824);
        double r21829 = -4.7713816172072814e-213;
        bool r21830 = r21825 <= r21829;
        double r21831 = r21824 * r21824;
        double r21832 = im;
        double r21833 = r21832 * r21832;
        double r21834 = r21831 + r21833;
        double r21835 = sqrt(r21834);
        double r21836 = log(r21835);
        double r21837 = 1.9902505349126515e-239;
        bool r21838 = r21825 <= r21837;
        double r21839 = log(r21832);
        double r21840 = 1.8961716390801075e+88;
        bool r21841 = r21825 <= r21840;
        double r21842 = log(r21825);
        double r21843 = r21841 ? r21836 : r21842;
        double r21844 = r21838 ? r21839 : r21843;
        double r21845 = r21830 ? r21836 : r21844;
        double r21846 = r21827 ? r21828 : r21845;
        return r21846;
}

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 r21847, r21848, r21849, r21850, r21851, r21852, r21853;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r21847);
        mpfr_init(r21848);
        mpfr_init(r21849);
        mpfr_init(r21850);
        mpfr_init(r21851);
        mpfr_init(r21852);
        mpfr_init(r21853);
}

double f_im(double re, double im) {
        mpfr_set_d(r21847, re, MPFR_RNDN);
        mpfr_mul(r21848, r21847, r21847, MPFR_RNDN);
        mpfr_set_d(r21849, im, MPFR_RNDN);
        mpfr_mul(r21850, r21849, r21849, MPFR_RNDN);
        mpfr_add(r21851, r21848, r21850, MPFR_RNDN);
        mpfr_sqrt(r21852, r21851, MPFR_RNDN);
        mpfr_log(r21853, r21852, MPFR_RNDN);
        return mpfr_get_d(r21853, MPFR_RNDN);
}

static mpfr_t r21854, r21855, r21856, r21857, r21858, r21859, r21860, r21861, r21862, r21863, r21864, r21865, r21866, r21867, r21868, r21869, r21870, r21871, r21872, r21873, r21874, r21875, r21876;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21854);
        mpfr_init(r21855);
        mpfr_init_set_str(r21856, "-7.440968527251743e+68", 10, MPFR_RNDN);
        mpfr_init(r21857);
        mpfr_init(r21858);
        mpfr_init_set_str(r21859, "-4.7713816172072814e-213", 10, MPFR_RNDN);
        mpfr_init(r21860);
        mpfr_init(r21861);
        mpfr_init(r21862);
        mpfr_init(r21863);
        mpfr_init(r21864);
        mpfr_init(r21865);
        mpfr_init(r21866);
        mpfr_init_set_str(r21867, "1.9902505349126515e-239", 10, MPFR_RNDN);
        mpfr_init(r21868);
        mpfr_init(r21869);
        mpfr_init_set_str(r21870, "1.8961716390801075e+88", 10, MPFR_RNDN);
        mpfr_init(r21871);
        mpfr_init(r21872);
        mpfr_init(r21873);
        mpfr_init(r21874);
        mpfr_init(r21875);
        mpfr_init(r21876);
}

double f_fm(double re, double im) {
        mpfr_set_d(r21854, re, MPFR_RNDN);
        mpfr_neg(r21855, r21854, MPFR_RNDN);
        ;
        mpfr_set_si(r21857, mpfr_cmp(r21855, r21856) <= 0, MPFR_RNDN);
        mpfr_log(r21858, r21854, MPFR_RNDN);
        ;
        mpfr_set_si(r21860, mpfr_cmp(r21855, r21859) <= 0, MPFR_RNDN);
        mpfr_mul(r21861, r21854, r21854, MPFR_RNDN);
        mpfr_set_d(r21862, im, MPFR_RNDN);
        mpfr_mul(r21863, r21862, r21862, MPFR_RNDN);
        mpfr_add(r21864, r21861, r21863, MPFR_RNDN);
        mpfr_sqrt(r21865, r21864, MPFR_RNDN);
        mpfr_log(r21866, r21865, MPFR_RNDN);
        ;
        mpfr_set_si(r21868, mpfr_cmp(r21855, r21867) <= 0, MPFR_RNDN);
        mpfr_log(r21869, r21862, MPFR_RNDN);
        ;
        mpfr_set_si(r21871, mpfr_cmp(r21855, r21870) <= 0, MPFR_RNDN);
        mpfr_log(r21872, r21855, MPFR_RNDN);
        if (mpfr_get_si(r21871, MPFR_RNDN)) { mpfr_set(r21873, r21866, MPFR_RNDN); } else { mpfr_set(r21873, r21872, MPFR_RNDN); };
        if (mpfr_get_si(r21868, MPFR_RNDN)) { mpfr_set(r21874, r21869, MPFR_RNDN); } else { mpfr_set(r21874, r21873, MPFR_RNDN); };
        if (mpfr_get_si(r21860, MPFR_RNDN)) { mpfr_set(r21875, r21866, MPFR_RNDN); } else { mpfr_set(r21875, r21874, MPFR_RNDN); };
        if (mpfr_get_si(r21857, MPFR_RNDN)) { mpfr_set(r21876, r21858, MPFR_RNDN); } else { mpfr_set(r21876, r21875, MPFR_RNDN); };
        return mpfr_get_d(r21876, MPFR_RNDN);
}

static mpfr_t r21877, r21878, r21879, r21880, r21881, r21882, r21883, r21884, r21885, r21886, r21887, r21888, r21889, r21890, r21891, r21892, r21893, r21894, r21895, r21896, r21897, r21898, r21899;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r21877);
        mpfr_init(r21878);
        mpfr_init_set_str(r21879, "-7.440968527251743e+68", 10, MPFR_RNDN);
        mpfr_init(r21880);
        mpfr_init(r21881);
        mpfr_init_set_str(r21882, "-4.7713816172072814e-213", 10, MPFR_RNDN);
        mpfr_init(r21883);
        mpfr_init(r21884);
        mpfr_init(r21885);
        mpfr_init(r21886);
        mpfr_init(r21887);
        mpfr_init(r21888);
        mpfr_init(r21889);
        mpfr_init_set_str(r21890, "1.9902505349126515e-239", 10, MPFR_RNDN);
        mpfr_init(r21891);
        mpfr_init(r21892);
        mpfr_init_set_str(r21893, "1.8961716390801075e+88", 10, MPFR_RNDN);
        mpfr_init(r21894);
        mpfr_init(r21895);
        mpfr_init(r21896);
        mpfr_init(r21897);
        mpfr_init(r21898);
        mpfr_init(r21899);
}

double f_dm(double re, double im) {
        mpfr_set_d(r21877, re, MPFR_RNDN);
        mpfr_neg(r21878, r21877, MPFR_RNDN);
        ;
        mpfr_set_si(r21880, mpfr_cmp(r21878, r21879) <= 0, MPFR_RNDN);
        mpfr_log(r21881, r21877, MPFR_RNDN);
        ;
        mpfr_set_si(r21883, mpfr_cmp(r21878, r21882) <= 0, MPFR_RNDN);
        mpfr_mul(r21884, r21877, r21877, MPFR_RNDN);
        mpfr_set_d(r21885, im, MPFR_RNDN);
        mpfr_mul(r21886, r21885, r21885, MPFR_RNDN);
        mpfr_add(r21887, r21884, r21886, MPFR_RNDN);
        mpfr_sqrt(r21888, r21887, MPFR_RNDN);
        mpfr_log(r21889, r21888, MPFR_RNDN);
        ;
        mpfr_set_si(r21891, mpfr_cmp(r21878, r21890) <= 0, MPFR_RNDN);
        mpfr_log(r21892, r21885, MPFR_RNDN);
        ;
        mpfr_set_si(r21894, mpfr_cmp(r21878, r21893) <= 0, MPFR_RNDN);
        mpfr_log(r21895, r21878, MPFR_RNDN);
        if (mpfr_get_si(r21894, MPFR_RNDN)) { mpfr_set(r21896, r21889, MPFR_RNDN); } else { mpfr_set(r21896, r21895, MPFR_RNDN); };
        if (mpfr_get_si(r21891, MPFR_RNDN)) { mpfr_set(r21897, r21892, MPFR_RNDN); } else { mpfr_set(r21897, r21896, MPFR_RNDN); };
        if (mpfr_get_si(r21883, MPFR_RNDN)) { mpfr_set(r21898, r21889, MPFR_RNDN); } else { mpfr_set(r21898, r21897, MPFR_RNDN); };
        if (mpfr_get_si(r21880, MPFR_RNDN)) { mpfr_set(r21899, r21881, MPFR_RNDN); } else { mpfr_set(r21899, r21898, MPFR_RNDN); };
        return mpfr_get_d(r21899, MPFR_RNDN);
}