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

char *name = "Random Jason Timeout Test 011";

double f_if(float a) {
        float r5738 = a;
        float r5739 = asin(r5738);
        float r5740 = fmod(r5738, r5739);
        float r5741 = atan(r5740);
        float r5742 = r5738 * r5738;
        float r5743 = pow(r5741, r5742);
        return r5743;
}

double f_id(double a) {
        double r5744 = a;
        double r5745 = asin(r5744);
        double r5746 = fmod(r5744, r5745);
        double r5747 = atan(r5746);
        double r5748 = r5744 * r5744;
        double r5749 = pow(r5747, r5748);
        return r5749;
}


double f_of(float a) {
        float r5750 = a;
        float r5751 = asin(r5750);
        float r5752 = fmod(r5750, r5751);
        float r5753 = atan(r5752);
        float r5754 = r5750 * r5750;
        float r5755 = pow(r5753, r5754);
        return r5755;
}

double f_od(double a) {
        double r5756 = a;
        double r5757 = asin(r5756);
        double r5758 = fmod(r5756, r5757);
        double r5759 = atan(r5758);
        double r5760 = r5756 * r5756;
        double r5761 = pow(r5759, r5760);
        return r5761;
}

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 r5762, r5763, r5764, r5765, r5766, r5767;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init(r5762);
        mpfr_init(r5763);
        mpfr_init(r5764);
        mpfr_init(r5765);
        mpfr_init(r5766);
        mpfr_init(r5767);
}

double f_im(double a) {
        mpfr_set_d(r5762, a, MPFR_RNDN);
        mpfr_asin(r5763, r5762, MPFR_RNDN);
        mpfr_fmod(r5764, r5762, r5763, MPFR_RNDN);
        mpfr_atan(r5765, r5764, MPFR_RNDN);
        mpfr_mul(r5766, r5762, r5762, MPFR_RNDN);
        mpfr_pow(r5767, r5765, r5766, MPFR_RNDN);
        return mpfr_get_d(r5767, MPFR_RNDN);
}

static mpfr_t r5768, r5769, r5770, r5771, r5772, r5773;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r5768);
        mpfr_init(r5769);
        mpfr_init(r5770);
        mpfr_init(r5771);
        mpfr_init(r5772);
        mpfr_init(r5773);
}

double f_fm(double a) {
        mpfr_set_d(r5768, a, MPFR_RNDN);
        mpfr_asin(r5769, r5768, MPFR_RNDN);
        mpfr_fmod(r5770, r5768, r5769, MPFR_RNDN);
        mpfr_atan(r5771, r5770, MPFR_RNDN);
        mpfr_mul(r5772, r5768, r5768, MPFR_RNDN);
        mpfr_pow(r5773, r5771, r5772, MPFR_RNDN);
        return mpfr_get_d(r5773, MPFR_RNDN);
}

static mpfr_t r5774, r5775, r5776, r5777, r5778, r5779;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r5774);
        mpfr_init(r5775);
        mpfr_init(r5776);
        mpfr_init(r5777);
        mpfr_init(r5778);
        mpfr_init(r5779);
}

double f_dm(double a) {
        mpfr_set_d(r5774, a, MPFR_RNDN);
        mpfr_asin(r5775, r5774, MPFR_RNDN);
        mpfr_fmod(r5776, r5774, r5775, MPFR_RNDN);
        mpfr_atan(r5777, r5776, MPFR_RNDN);
        mpfr_mul(r5778, r5774, r5774, MPFR_RNDN);
        mpfr_pow(r5779, r5777, r5778, MPFR_RNDN);
        return mpfr_get_d(r5779, MPFR_RNDN);
}