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

char *name = "Fuzzer 001";

double f_if(float a) {
        float r27259 = a;
        float r27260 = acos(r27259);
        float r27261 = -r27260;
        float r27262 = r27259 / r27261;
        return r27262;
}

double f_id(double a) {
        double r27263 = a;
        double r27264 = acos(r27263);
        double r27265 = -r27264;
        double r27266 = r27263 / r27265;
        return r27266;
}


double f_of(float a) {
        float r27267 = a;
        float r27268 = acos(r27267);
        float r27269 = -r27268;
        float r27270 = r27267 / r27269;
        return r27270;
}

double f_od(double a) {
        double r27271 = a;
        double r27272 = acos(r27271);
        double r27273 = -r27272;
        double r27274 = r27271 / r27273;
        return r27274;
}

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 r27275, r27276, r27277, r27278;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r27275);
        mpfr_init(r27276);
        mpfr_init(r27277);
        mpfr_init(r27278);
}

double f_im(double a) {
        mpfr_set_d(r27275, a, MPFR_RNDN);
        mpfr_acos(r27276, r27275, MPFR_RNDN);
        mpfr_neg(r27277, r27276, MPFR_RNDN);
        mpfr_div(r27278, r27275, r27277, MPFR_RNDN);
        return mpfr_get_d(r27278, MPFR_RNDN);
}

static mpfr_t r27279, r27280, r27281, r27282;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r27279);
        mpfr_init(r27280);
        mpfr_init(r27281);
        mpfr_init(r27282);
}

double f_fm(double a) {
        mpfr_set_d(r27279, a, MPFR_RNDN);
        mpfr_acos(r27280, r27279, MPFR_RNDN);
        mpfr_neg(r27281, r27280, MPFR_RNDN);
        mpfr_div(r27282, r27279, r27281, MPFR_RNDN);
        return mpfr_get_d(r27282, MPFR_RNDN);
}

static mpfr_t r27283, r27284, r27285, r27286;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r27283);
        mpfr_init(r27284);
        mpfr_init(r27285);
        mpfr_init(r27286);
}

double f_dm(double a) {
        mpfr_set_d(r27283, a, MPFR_RNDN);
        mpfr_acos(r27284, r27283, MPFR_RNDN);
        mpfr_neg(r27285, r27284, MPFR_RNDN);
        mpfr_div(r27286, r27283, r27285, MPFR_RNDN);
        return mpfr_get_d(r27286, MPFR_RNDN);
}