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

char *name = "2sin (example 3.3)";

double f_if(float x, float eps) {
        float r24658 = x;
        float r24659 = eps;
        float r24660 = r24658 + r24659;
        float r24661 = sin(r24660);
        float r24662 = sin(r24658);
        float r24663 = r24661 - r24662;
        return r24663;
}

double f_id(double x, double eps) {
        double r24664 = x;
        double r24665 = eps;
        double r24666 = r24664 + r24665;
        double r24667 = sin(r24666);
        double r24668 = sin(r24664);
        double r24669 = r24667 - r24668;
        return r24669;
}


double f_of(float x, float eps) {
        float r24670 = eps;
        float r24671 = -2.1190543966838903e-08;
        bool r24672 = r24670 <= r24671;
        float r24673 = x;
        float r24674 = sin(r24673);
        float r24675 = cos(r24670);
        float r24676 = r24674 * r24675;
        float r24677 = cos(r24673);
        float r24678 = sin(r24670);
        float r24679 = r24677 * r24678;
        float r24680 = r24676 + r24679;
        float r24681 = r24680 - r24674;
        float r24682 = 7.405811937888795e-09;
        bool r24683 = r24670 <= r24682;
        float r24684 = 2;
        float r24685 = r24670 / r24684;
        float r24686 = sin(r24685);
        float r24687 = r24670 + r24673;
        float r24688 = r24673 + r24687;
        float r24689 = r24688 / r24684;
        float r24690 = cos(r24689);
        float r24691 = log1p(r24690);
        float r24692 = expm1(r24691);
        float r24693 = r24686 * r24692;
        float r24694 = r24684 * r24693;
        float r24695 = r24679 - r24674;
        float r24696 = r24676 + r24695;
        float r24697 = r24683 ? r24694 : r24696;
        float r24698 = r24672 ? r24681 : r24697;
        return r24698;
}

double f_od(double x, double eps) {
        double r24699 = eps;
        double r24700 = -2.1190543966838903e-08;
        bool r24701 = r24699 <= r24700;
        double r24702 = x;
        double r24703 = sin(r24702);
        double r24704 = cos(r24699);
        double r24705 = r24703 * r24704;
        double r24706 = cos(r24702);
        double r24707 = sin(r24699);
        double r24708 = r24706 * r24707;
        double r24709 = r24705 + r24708;
        double r24710 = r24709 - r24703;
        double r24711 = 7.405811937888795e-09;
        bool r24712 = r24699 <= r24711;
        double r24713 = 2;
        double r24714 = r24699 / r24713;
        double r24715 = sin(r24714);
        double r24716 = r24699 + r24702;
        double r24717 = r24702 + r24716;
        double r24718 = r24717 / r24713;
        double r24719 = cos(r24718);
        double r24720 = log1p(r24719);
        double r24721 = expm1(r24720);
        double r24722 = r24715 * r24721;
        double r24723 = r24713 * r24722;
        double r24724 = r24708 - r24703;
        double r24725 = r24705 + r24724;
        double r24726 = r24712 ? r24723 : r24725;
        double r24727 = r24701 ? r24710 : r24726;
        return r24727;
}

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 r24728, r24729, r24730, r24731, r24732, r24733;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(2384);
        mpfr_init(r24728);
        mpfr_init(r24729);
        mpfr_init(r24730);
        mpfr_init(r24731);
        mpfr_init(r24732);
        mpfr_init(r24733);
}

double f_im(double x, double eps) {
        mpfr_set_d(r24728, x, MPFR_RNDN);
        mpfr_set_d(r24729, eps, MPFR_RNDN);
        mpfr_add(r24730, r24728, r24729, MPFR_RNDN);
        mpfr_sin(r24731, r24730, MPFR_RNDN);
        mpfr_sin(r24732, r24728, MPFR_RNDN);
        mpfr_sub(r24733, r24731, r24732, MPFR_RNDN);
        return mpfr_get_d(r24733, MPFR_RNDN);
}

static mpfr_t r24734, r24735, r24736, r24737, r24738, r24739, r24740, r24741, r24742, r24743, r24744, r24745, r24746, r24747, r24748, r24749, r24750, r24751, r24752, r24753, r24754, r24755, r24756, r24757, r24758, r24759, r24760, r24761, r24762;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r24734);
        mpfr_init_set_str(r24735, "-2.1190543966838903e-08", 10, MPFR_RNDN);
        mpfr_init(r24736);
        mpfr_init(r24737);
        mpfr_init(r24738);
        mpfr_init(r24739);
        mpfr_init(r24740);
        mpfr_init(r24741);
        mpfr_init(r24742);
        mpfr_init(r24743);
        mpfr_init(r24744);
        mpfr_init(r24745);
        mpfr_init_set_str(r24746, "7.405811937888795e-09", 10, MPFR_RNDN);
        mpfr_init(r24747);
        mpfr_init_set_str(r24748, "2", 10, MPFR_RNDN);
        mpfr_init(r24749);
        mpfr_init(r24750);
        mpfr_init(r24751);
        mpfr_init(r24752);
        mpfr_init(r24753);
        mpfr_init(r24754);
        mpfr_init(r24755);
        mpfr_init(r24756);
        mpfr_init(r24757);
        mpfr_init(r24758);
        mpfr_init(r24759);
        mpfr_init(r24760);
        mpfr_init(r24761);
        mpfr_init(r24762);
}

double f_fm(double x, double eps) {
        mpfr_set_d(r24734, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r24736, mpfr_cmp(r24734, r24735) <= 0, MPFR_RNDN);
        mpfr_set_d(r24737, x, MPFR_RNDN);
        mpfr_sin(r24738, r24737, MPFR_RNDN);
        mpfr_cos(r24739, r24734, MPFR_RNDN);
        mpfr_mul(r24740, r24738, r24739, MPFR_RNDN);
        mpfr_cos(r24741, r24737, MPFR_RNDN);
        mpfr_sin(r24742, r24734, MPFR_RNDN);
        mpfr_mul(r24743, r24741, r24742, MPFR_RNDN);
        mpfr_add(r24744, r24740, r24743, MPFR_RNDN);
        mpfr_sub(r24745, r24744, r24738, MPFR_RNDN);
        ;
        mpfr_set_si(r24747, mpfr_cmp(r24734, r24746) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r24749, r24734, r24748, MPFR_RNDN);
        mpfr_sin(r24750, r24749, MPFR_RNDN);
        mpfr_add(r24751, r24734, r24737, MPFR_RNDN);
        mpfr_add(r24752, r24737, r24751, MPFR_RNDN);
        mpfr_div(r24753, r24752, r24748, MPFR_RNDN);
        mpfr_cos(r24754, r24753, MPFR_RNDN);
        mpfr_log1p(r24755, r24754, MPFR_RNDN);
        mpfr_expm1(r24756, r24755, MPFR_RNDN);
        mpfr_mul(r24757, r24750, r24756, MPFR_RNDN);
        mpfr_mul(r24758, r24748, r24757, MPFR_RNDN);
        mpfr_sub(r24759, r24743, r24738, MPFR_RNDN);
        mpfr_add(r24760, r24740, r24759, MPFR_RNDN);
        if (mpfr_get_si(r24747, MPFR_RNDN)) { mpfr_set(r24761, r24758, MPFR_RNDN); } else { mpfr_set(r24761, r24760, MPFR_RNDN); };
        if (mpfr_get_si(r24736, MPFR_RNDN)) { mpfr_set(r24762, r24745, MPFR_RNDN); } else { mpfr_set(r24762, r24761, MPFR_RNDN); };
        return mpfr_get_d(r24762, MPFR_RNDN);
}

static mpfr_t r24763, r24764, r24765, r24766, r24767, r24768, r24769, r24770, r24771, r24772, r24773, r24774, r24775, r24776, r24777, r24778, r24779, r24780, r24781, r24782, r24783, r24784, r24785, r24786, r24787, r24788, r24789, r24790, r24791;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(2384);
        mpfr_init(r24763);
        mpfr_init_set_str(r24764, "-2.1190543966838903e-08", 10, MPFR_RNDN);
        mpfr_init(r24765);
        mpfr_init(r24766);
        mpfr_init(r24767);
        mpfr_init(r24768);
        mpfr_init(r24769);
        mpfr_init(r24770);
        mpfr_init(r24771);
        mpfr_init(r24772);
        mpfr_init(r24773);
        mpfr_init(r24774);
        mpfr_init_set_str(r24775, "7.405811937888795e-09", 10, MPFR_RNDN);
        mpfr_init(r24776);
        mpfr_init_set_str(r24777, "2", 10, MPFR_RNDN);
        mpfr_init(r24778);
        mpfr_init(r24779);
        mpfr_init(r24780);
        mpfr_init(r24781);
        mpfr_init(r24782);
        mpfr_init(r24783);
        mpfr_init(r24784);
        mpfr_init(r24785);
        mpfr_init(r24786);
        mpfr_init(r24787);
        mpfr_init(r24788);
        mpfr_init(r24789);
        mpfr_init(r24790);
        mpfr_init(r24791);
}

double f_dm(double x, double eps) {
        mpfr_set_d(r24763, eps, MPFR_RNDN);
        ;
        mpfr_set_si(r24765, mpfr_cmp(r24763, r24764) <= 0, MPFR_RNDN);
        mpfr_set_d(r24766, x, MPFR_RNDN);
        mpfr_sin(r24767, r24766, MPFR_RNDN);
        mpfr_cos(r24768, r24763, MPFR_RNDN);
        mpfr_mul(r24769, r24767, r24768, MPFR_RNDN);
        mpfr_cos(r24770, r24766, MPFR_RNDN);
        mpfr_sin(r24771, r24763, MPFR_RNDN);
        mpfr_mul(r24772, r24770, r24771, MPFR_RNDN);
        mpfr_add(r24773, r24769, r24772, MPFR_RNDN);
        mpfr_sub(r24774, r24773, r24767, MPFR_RNDN);
        ;
        mpfr_set_si(r24776, mpfr_cmp(r24763, r24775) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r24778, r24763, r24777, MPFR_RNDN);
        mpfr_sin(r24779, r24778, MPFR_RNDN);
        mpfr_add(r24780, r24763, r24766, MPFR_RNDN);
        mpfr_add(r24781, r24766, r24780, MPFR_RNDN);
        mpfr_div(r24782, r24781, r24777, MPFR_RNDN);
        mpfr_cos(r24783, r24782, MPFR_RNDN);
        mpfr_log1p(r24784, r24783, MPFR_RNDN);
        mpfr_expm1(r24785, r24784, MPFR_RNDN);
        mpfr_mul(r24786, r24779, r24785, MPFR_RNDN);
        mpfr_mul(r24787, r24777, r24786, MPFR_RNDN);
        mpfr_sub(r24788, r24772, r24767, MPFR_RNDN);
        mpfr_add(r24789, r24769, r24788, MPFR_RNDN);
        if (mpfr_get_si(r24776, MPFR_RNDN)) { mpfr_set(r24790, r24787, MPFR_RNDN); } else { mpfr_set(r24790, r24789, MPFR_RNDN); };
        if (mpfr_get_si(r24765, MPFR_RNDN)) { mpfr_set(r24791, r24774, MPFR_RNDN); } else { mpfr_set(r24791, r24790, MPFR_RNDN); };
        return mpfr_get_d(r24791, MPFR_RNDN);
}