#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 r21907 = a;
        float r21908 = asin(r21907);
        float r21909 = fmod(r21907, r21908);
        float r21910 = atan(r21909);
        float r21911 = r21907 * r21907;
        float r21912 = pow(r21910, r21911);
        return r21912;
}

double f_id(double a) {
        double r21913 = a;
        double r21914 = asin(r21913);
        double r21915 = fmod(r21913, r21914);
        double r21916 = atan(r21915);
        double r21917 = r21913 * r21913;
        double r21918 = pow(r21916, r21917);
        return r21918;
}


double f_of(float a) {
        float r21919 = a;
        float r21920 = asin(r21919);
        float r21921 = fmod(r21919, r21920);
        float r21922 = atan(r21921);
        float r21923 = r21919 * r21919;
        float r21924 = pow(r21922, r21923);
        return r21924;
}

double f_od(double a) {
        double r21925 = a;
        double r21926 = asin(r21925);
        double r21927 = fmod(r21925, r21926);
        double r21928 = atan(r21927);
        double r21929 = r21925 * r21925;
        double r21930 = pow(r21928, r21929);
        return r21930;
}

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 r21931, r21932, r21933, r21934, r21935, r21936;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21931);
        mpfr_init(r21932);
        mpfr_init(r21933);
        mpfr_init(r21934);
        mpfr_init(r21935);
        mpfr_init(r21936);
}

double f_im(double a) {
        mpfr_set_d(r21931, a, MPFR_RNDN);
        mpfr_asin(r21932, r21931, MPFR_RNDN);
        mpfr_fmod(r21933, r21931, r21932, MPFR_RNDN);
        mpfr_atan(r21934, r21933, MPFR_RNDN);
        mpfr_mul(r21935, r21931, r21931, MPFR_RNDN);
        mpfr_pow(r21936, r21934, r21935, MPFR_RNDN);
        return mpfr_get_d(r21936, MPFR_RNDN);
}

static mpfr_t r21937, r21938, r21939, r21940, r21941, r21942;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21937);
        mpfr_init(r21938);
        mpfr_init(r21939);
        mpfr_init(r21940);
        mpfr_init(r21941);
        mpfr_init(r21942);
}

double f_fm(double a) {
        mpfr_set_d(r21937, a, MPFR_RNDN);
        mpfr_asin(r21938, r21937, MPFR_RNDN);
        mpfr_fmod(r21939, r21937, r21938, MPFR_RNDN);
        mpfr_atan(r21940, r21939, MPFR_RNDN);
        mpfr_mul(r21941, r21937, r21937, MPFR_RNDN);
        mpfr_pow(r21942, r21940, r21941, MPFR_RNDN);
        return mpfr_get_d(r21942, MPFR_RNDN);
}

static mpfr_t r21943, r21944, r21945, r21946, r21947, r21948;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2448);
        mpfr_init(r21943);
        mpfr_init(r21944);
        mpfr_init(r21945);
        mpfr_init(r21946);
        mpfr_init(r21947);
        mpfr_init(r21948);
}

double f_dm(double a) {
        mpfr_set_d(r21943, a, MPFR_RNDN);
        mpfr_asin(r21944, r21943, MPFR_RNDN);
        mpfr_fmod(r21945, r21943, r21944, MPFR_RNDN);
        mpfr_atan(r21946, r21945, MPFR_RNDN);
        mpfr_mul(r21947, r21943, r21943, MPFR_RNDN);
        mpfr_pow(r21948, r21946, r21947, MPFR_RNDN);
        return mpfr_get_d(r21948, MPFR_RNDN);
}