#include #include #include #include #include char *name = "Random Jason Timeout Test 012"; double f_if(float a, float __attribute__((unused)) b, float __attribute__((unused)) c) { float r15865 = a; float r15866 = cosh(r15865); float r15867 = r15865 * r15865; float r15868 = fmod(r15866, r15867); float r15869 = log1p(r15865); float r15870 = pow(r15868, r15869); float r15871 = acos(r15870); return r15871; } double f_id(double a, double __attribute__((unused)) b, double __attribute__((unused)) c) { double r15872 = a; double r15873 = cosh(r15872); double r15874 = r15872 * r15872; double r15875 = fmod(r15873, r15874); double r15876 = log1p(r15872); double r15877 = pow(r15875, r15876); double r15878 = acos(r15877); return r15878; } double f_of(float a, float __attribute__((unused)) b, float __attribute__((unused)) c) { float r15879 = a; float r15880 = 1907.677734375f; bool r15881 = r15879 <= r15880; float r15882 = cosh(r15879); float r15883 = r15879 * r15879; float r15884 = fmod(r15882, r15883); float r15885 = log(r15884); float r15886 = log1p(r15879); float r15887 = r15885 * r15886; float r15888 = exp(r15887); float r15889 = acos(r15888); float r15890 = 1.0f; float r15891 = r15890 / r15879; float r15892 = cosh(r15891); float r15893 = r15890 / r15883; float r15894 = fmod(r15892, r15893); float r15895 = pow(r15894, r15886); float r15896 = acos(r15895); float r15897 = r15881 ? r15889 : r15896; return r15897; } double f_od(double a, double __attribute__((unused)) b, double __attribute__((unused)) c) { double r15898 = a; double r15899 = 1907.677734375; bool r15900 = r15898 <= r15899; double r15901 = cosh(r15898); double r15902 = r15898 * r15898; double r15903 = fmod(r15901, r15902); double r15904 = log(r15903); double r15905 = log1p(r15898); double r15906 = r15904 * r15905; double r15907 = exp(r15906); double r15908 = acos(r15907); double r15909 = 1.0; double r15910 = r15909 / r15898; double r15911 = cosh(r15910); double r15912 = r15909 / r15902; double r15913 = fmod(r15911, r15912); double r15914 = pow(r15913, r15905); double r15915 = acos(r15914); double r15916 = r15900 ? r15908 : r15915; return r15916; } 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 r15917, r15918, r15919, r15920, r15921, r15922, r15923; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15917); mpfr_init(r15918); mpfr_init(r15919); mpfr_init(r15920); mpfr_init(r15921); mpfr_init(r15922); mpfr_init(r15923); } double f_im(double a, double __attribute__((unused)) b, double __attribute__((unused)) c) { mpfr_set_d(r15917, a, MPFR_RNDN); mpfr_cosh(r15918, r15917, MPFR_RNDN); mpfr_mul(r15919, r15917, r15917, MPFR_RNDN); mpfr_fmod(r15920, r15918, r15919, MPFR_RNDN); mpfr_log1p(r15921, r15917, MPFR_RNDN); mpfr_pow(r15922, r15920, r15921, MPFR_RNDN); mpfr_acos(r15923, r15922, MPFR_RNDN); return mpfr_get_d(r15923, MPFR_RNDN); } static mpfr_t r15924, r15925, r15926, r15927, r15928, r15929, r15930, r15931, r15932, r15933, r15934, r15935, r15936, r15937, r15938, r15939, r15940, r15941, r15942; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15924); mpfr_init_set_str(r15925, "1907.6777f0", 10, MPFR_RNDN); mpfr_init(r15926); mpfr_init(r15927); mpfr_init(r15928); mpfr_init(r15929); mpfr_init(r15930); mpfr_init(r15931); mpfr_init(r15932); mpfr_init(r15933); mpfr_init(r15934); mpfr_init_set_str(r15935, "1", 10, MPFR_RNDN); mpfr_init(r15936); mpfr_init(r15937); mpfr_init(r15938); mpfr_init(r15939); mpfr_init(r15940); mpfr_init(r15941); mpfr_init(r15942); } double f_fm(double a, double __attribute__((unused)) b, double __attribute__((unused)) c) { mpfr_set_d(r15924, a, MPFR_RNDN); ; mpfr_set_si(r15926, mpfr_cmp(r15924, r15925) <= 0, MPFR_RNDN); mpfr_cosh(r15927, r15924, MPFR_RNDN); mpfr_sqr(r15928, r15924, MPFR_RNDN); mpfr_fmod(r15929, r15927, r15928, MPFR_RNDN); mpfr_log(r15930, r15929, MPFR_RNDN); mpfr_log1p(r15931, r15924, MPFR_RNDN); mpfr_mul(r15932, r15930, r15931, MPFR_RNDN); mpfr_exp(r15933, r15932, MPFR_RNDN); mpfr_acos(r15934, r15933, MPFR_RNDN); ; mpfr_div(r15936, r15935, r15924, MPFR_RNDN); mpfr_cosh(r15937, r15936, MPFR_RNDN); mpfr_div(r15938, r15935, r15928, MPFR_RNDN); mpfr_fmod(r15939, r15937, r15938, MPFR_RNDN); mpfr_pow(r15940, r15939, r15931, MPFR_RNDN); mpfr_acos(r15941, r15940, MPFR_RNDN); if (mpfr_get_si(r15926, MPFR_RNDN)) { mpfr_set(r15942, r15934, MPFR_RNDN); } else { mpfr_set(r15942, r15941, MPFR_RNDN); }; return mpfr_get_d(r15942, MPFR_RNDN); } static mpfr_t r15943, r15944, r15945, r15946, r15947, r15948, r15949, r15950, r15951, r15952, r15953, r15954, r15955, r15956, r15957, r15958, r15959, r15960, r15961; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15943); mpfr_init_set_str(r15944, "1907.6777f0", 10, MPFR_RNDN); mpfr_init(r15945); mpfr_init(r15946); mpfr_init(r15947); mpfr_init(r15948); mpfr_init(r15949); mpfr_init(r15950); mpfr_init(r15951); mpfr_init(r15952); mpfr_init(r15953); mpfr_init_set_str(r15954, "1", 10, MPFR_RNDN); mpfr_init(r15955); mpfr_init(r15956); mpfr_init(r15957); mpfr_init(r15958); mpfr_init(r15959); mpfr_init(r15960); mpfr_init(r15961); } double f_dm(double a, double __attribute__((unused)) b, double __attribute__((unused)) c) { mpfr_set_d(r15943, a, MPFR_RNDN); ; mpfr_set_si(r15945, mpfr_cmp(r15943, r15944) <= 0, MPFR_RNDN); mpfr_cosh(r15946, r15943, MPFR_RNDN); mpfr_sqr(r15947, r15943, MPFR_RNDN); mpfr_fmod(r15948, r15946, r15947, MPFR_RNDN); mpfr_log(r15949, r15948, MPFR_RNDN); mpfr_log1p(r15950, r15943, MPFR_RNDN); mpfr_mul(r15951, r15949, r15950, MPFR_RNDN); mpfr_exp(r15952, r15951, MPFR_RNDN); mpfr_acos(r15953, r15952, MPFR_RNDN); ; mpfr_div(r15955, r15954, r15943, MPFR_RNDN); mpfr_cosh(r15956, r15955, MPFR_RNDN); mpfr_div(r15957, r15954, r15947, MPFR_RNDN); mpfr_fmod(r15958, r15956, r15957, MPFR_RNDN); mpfr_pow(r15959, r15958, r15950, MPFR_RNDN); mpfr_acos(r15960, r15959, MPFR_RNDN); if (mpfr_get_si(r15945, MPFR_RNDN)) { mpfr_set(r15961, r15953, MPFR_RNDN); } else { mpfr_set(r15961, r15960, MPFR_RNDN); }; return mpfr_get_d(r15961, MPFR_RNDN); }