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

char *name = "math.log10 on complex, imaginary part";

double f_if(float re, float im) {
        float r22097 = im;
        float r22098 = re;
        float r22099 = atan2(r22097, r22098);
        float r22100 = 10;
        float r22101 = log(r22100);
        float r22102 = r22099 / r22101;
        return r22102;
}

double f_id(double re, double im) {
        double r22103 = im;
        double r22104 = re;
        double r22105 = atan2(r22103, r22104);
        double r22106 = 10;
        double r22107 = log(r22106);
        double r22108 = r22105 / r22107;
        return r22108;
}


double f_of(float re, float im) {
        float r22109 = 1;
        float r22110 = 10;
        float r22111 = log(r22110);
        float r22112 = sqrt(r22111);
        float r22113 = r22109 / r22112;
        float r22114 = im;
        float r22115 = re;
        float r22116 = atan2(r22114, r22115);
        float r22117 = r22116 * r22113;
        float r22118 = r22113 * r22117;
        return r22118;
}

double f_od(double re, double im) {
        double r22119 = 1;
        double r22120 = 10;
        double r22121 = log(r22120);
        double r22122 = sqrt(r22121);
        double r22123 = r22119 / r22122;
        double r22124 = im;
        double r22125 = re;
        double r22126 = atan2(r22124, r22125);
        double r22127 = r22126 * r22123;
        double r22128 = r22123 * r22127;
        return r22128;
}

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 r22129, r22130, r22131, r22132, r22133, r22134;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r22129);
        mpfr_init(r22130);
        mpfr_init(r22131);
        mpfr_init_set_str(r22132, "10", 10, MPFR_RNDN);
        mpfr_init(r22133);
        mpfr_init(r22134);
}

double f_im(double re, double im) {
        mpfr_set_d(r22129, im, MPFR_RNDN);
        mpfr_set_d(r22130, re, MPFR_RNDN);
        mpfr_atan2(r22131, r22129, r22130, MPFR_RNDN);
        ;
        mpfr_log(r22133, r22132, MPFR_RNDN);
        mpfr_div(r22134, r22131, r22133, MPFR_RNDN);
        return mpfr_get_d(r22134, MPFR_RNDN);
}

static mpfr_t r22135, r22136, r22137, r22138, r22139, r22140, r22141, r22142, r22143, r22144;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22135, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22136, "10", 10, MPFR_RNDN);
        mpfr_init(r22137);
        mpfr_init(r22138);
        mpfr_init(r22139);
        mpfr_init(r22140);
        mpfr_init(r22141);
        mpfr_init(r22142);
        mpfr_init(r22143);
        mpfr_init(r22144);
}

double f_fm(double re, double im) {
        ;
        ;
        mpfr_log(r22137, r22136, MPFR_RNDN);
        mpfr_sqrt(r22138, r22137, MPFR_RNDN);
        mpfr_div(r22139, r22135, r22138, MPFR_RNDN);
        mpfr_set_d(r22140, im, MPFR_RNDN);
        mpfr_set_d(r22141, re, MPFR_RNDN);
        mpfr_atan2(r22142, r22140, r22141, MPFR_RNDN);
        mpfr_mul(r22143, r22142, r22139, MPFR_RNDN);
        mpfr_mul(r22144, r22139, r22143, MPFR_RNDN);
        return mpfr_get_d(r22144, MPFR_RNDN);
}

static mpfr_t r22145, r22146, r22147, r22148, r22149, r22150, r22151, r22152, r22153, r22154;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r22145, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r22146, "10", 10, MPFR_RNDN);
        mpfr_init(r22147);
        mpfr_init(r22148);
        mpfr_init(r22149);
        mpfr_init(r22150);
        mpfr_init(r22151);
        mpfr_init(r22152);
        mpfr_init(r22153);
        mpfr_init(r22154);
}

double f_dm(double re, double im) {
        ;
        ;
        mpfr_log(r22147, r22146, MPFR_RNDN);
        mpfr_sqrt(r22148, r22147, MPFR_RNDN);
        mpfr_div(r22149, r22145, r22148, MPFR_RNDN);
        mpfr_set_d(r22150, im, MPFR_RNDN);
        mpfr_set_d(r22151, re, MPFR_RNDN);
        mpfr_atan2(r22152, r22150, r22151, MPFR_RNDN);
        mpfr_mul(r22153, r22152, r22149, MPFR_RNDN);
        mpfr_mul(r22154, r22149, r22153, MPFR_RNDN);
        return mpfr_get_d(r22154, MPFR_RNDN);
}