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

char *name = "Fuzzer 002";

double f_if(float a) {
        float r26716 = a;
        float r26717 = asin(r26716);
        float r26718 = fmod(r26716, r26717);
        float r26719 = atan(r26718);
        float r26720 = r26716 * r26716;
        float r26721 = pow(r26719, r26720);
        return r26721;
}

double f_id(double a) {
        double r26722 = a;
        double r26723 = asin(r26722);
        double r26724 = fmod(r26722, r26723);
        double r26725 = atan(r26724);
        double r26726 = r26722 * r26722;
        double r26727 = pow(r26725, r26726);
        return r26727;
}


double f_of(float a) {
        float r26728 = a;
        float r26729 = asin(r26728);
        float r26730 = fmod(r26728, r26729);
        float r26731 = atan(r26730);
        float r26732 = r26728 * r26728;
        float r26733 = pow(r26731, r26732);
        return r26733;
}

double f_od(double a) {
        double r26734 = a;
        double r26735 = asin(r26734);
        double r26736 = fmod(r26734, r26735);
        double r26737 = atan(r26736);
        double r26738 = r26734 * r26734;
        double r26739 = pow(r26737, r26738);
        return r26739;
}

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 r26740, r26741, r26742, r26743, r26744, r26745;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init(r26740);
        mpfr_init(r26741);
        mpfr_init(r26742);
        mpfr_init(r26743);
        mpfr_init(r26744);
        mpfr_init(r26745);
}

double f_im(double a) {
        mpfr_set_d(r26740, a, MPFR_RNDN);
        mpfr_asin(r26741, r26740, MPFR_RNDN);
        mpfr_fmod(r26742, r26740, r26741, MPFR_RNDN);
        mpfr_atan(r26743, r26742, MPFR_RNDN);
        mpfr_mul(r26744, r26740, r26740, MPFR_RNDN);
        mpfr_pow(r26745, r26743, r26744, MPFR_RNDN);
        return mpfr_get_d(r26745, MPFR_RNDN);
}

static mpfr_t r26746, r26747, r26748, r26749, r26750, r26751;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r26746);
        mpfr_init(r26747);
        mpfr_init(r26748);
        mpfr_init(r26749);
        mpfr_init(r26750);
        mpfr_init(r26751);
}

double f_fm(double a) {
        mpfr_set_d(r26746, a, MPFR_RNDN);
        mpfr_asin(r26747, r26746, MPFR_RNDN);
        mpfr_fmod(r26748, r26746, r26747, MPFR_RNDN);
        mpfr_atan(r26749, r26748, MPFR_RNDN);
        mpfr_mul(r26750, r26746, r26746, MPFR_RNDN);
        mpfr_pow(r26751, r26749, r26750, MPFR_RNDN);
        return mpfr_get_d(r26751, MPFR_RNDN);
}

static mpfr_t r26752, r26753, r26754, r26755, r26756, r26757;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r26752);
        mpfr_init(r26753);
        mpfr_init(r26754);
        mpfr_init(r26755);
        mpfr_init(r26756);
        mpfr_init(r26757);
}

double f_dm(double a) {
        mpfr_set_d(r26752, a, MPFR_RNDN);
        mpfr_asin(r26753, r26752, MPFR_RNDN);
        mpfr_fmod(r26754, r26752, r26753, MPFR_RNDN);
        mpfr_atan(r26755, r26754, MPFR_RNDN);
        mpfr_mul(r26756, r26752, r26752, MPFR_RNDN);
        mpfr_pow(r26757, r26755, r26756, MPFR_RNDN);
        return mpfr_get_d(r26757, MPFR_RNDN);
}