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

char *name = "neg log";

double f_if(float x) {
        float r20799 = 1;
        float r20800 = x;
        float r20801 = r20799 / r20800;
        float r20802 = r20801 - r20799;
        float r20803 = log(r20802);
        float r20804 = -r20803;
        return r20804;
}

double f_id(double x) {
        double r20805 = 1;
        double r20806 = x;
        double r20807 = r20805 / r20806;
        double r20808 = r20807 - r20805;
        double r20809 = log(r20808);
        double r20810 = -r20809;
        return r20810;
}


double f_of(float x) {
        float r20811 = 1;
        float r20812 = x;
        float r20813 = r20811 / r20812;
        float r20814 = r20813 - r20811;
        float r20815 = log(r20814);
        float r20816 = -r20815;
        return r20816;
}

double f_od(double x) {
        double r20817 = 1;
        double r20818 = x;
        double r20819 = r20817 / r20818;
        double r20820 = r20819 - r20817;
        double r20821 = log(r20820);
        double r20822 = -r20821;
        return r20822;
}

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 r20823, r20824, r20825, r20826, r20827, r20828;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20823, "1", 10, MPFR_RNDN);
        mpfr_init(r20824);
        mpfr_init(r20825);
        mpfr_init(r20826);
        mpfr_init(r20827);
        mpfr_init(r20828);
}

double f_im(double x) {
        ;
        mpfr_set_d(r20824, x, MPFR_RNDN);
        mpfr_div(r20825, r20823, r20824, MPFR_RNDN);
        mpfr_sub(r20826, r20825, r20823, MPFR_RNDN);
        mpfr_log(r20827, r20826, MPFR_RNDN);
        mpfr_neg(r20828, r20827, MPFR_RNDN);
        return mpfr_get_d(r20828, MPFR_RNDN);
}

static mpfr_t r20829, r20830, r20831, r20832, r20833, r20834;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20829, "1", 10, MPFR_RNDN);
        mpfr_init(r20830);
        mpfr_init(r20831);
        mpfr_init(r20832);
        mpfr_init(r20833);
        mpfr_init(r20834);
}

double f_fm(double x) {
        ;
        mpfr_set_d(r20830, x, MPFR_RNDN);
        mpfr_div(r20831, r20829, r20830, MPFR_RNDN);
        mpfr_sub(r20832, r20831, r20829, MPFR_RNDN);
        mpfr_log(r20833, r20832, MPFR_RNDN);
        mpfr_neg(r20834, r20833, MPFR_RNDN);
        return mpfr_get_d(r20834, MPFR_RNDN);
}

static mpfr_t r20835, r20836, r20837, r20838, r20839, r20840;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20835, "1", 10, MPFR_RNDN);
        mpfr_init(r20836);
        mpfr_init(r20837);
        mpfr_init(r20838);
        mpfr_init(r20839);
        mpfr_init(r20840);
}

double f_dm(double x) {
        ;
        mpfr_set_d(r20836, x, MPFR_RNDN);
        mpfr_div(r20837, r20835, r20836, MPFR_RNDN);
        mpfr_sub(r20838, r20837, r20835, MPFR_RNDN);
        mpfr_log(r20839, r20838, MPFR_RNDN);
        mpfr_neg(r20840, r20839, MPFR_RNDN);
        return mpfr_get_d(r20840, MPFR_RNDN);
}