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

char *name = "r*sin(b)/cos(a+b), A";

double f_if(float r, float a, float b) {
        float r24087 = r;
        float r24088 = b;
        float r24089 = sin(r24088);
        float r24090 = r24087 * r24089;
        float r24091 = a;
        float r24092 = r24091 + r24088;
        float r24093 = cos(r24092);
        float r24094 = r24090 / r24093;
        return r24094;
}

double f_id(double r, double a, double b) {
        double r24095 = r;
        double r24096 = b;
        double r24097 = sin(r24096);
        double r24098 = r24095 * r24097;
        double r24099 = a;
        double r24100 = r24099 + r24096;
        double r24101 = cos(r24100);
        double r24102 = r24098 / r24101;
        return r24102;
}


double f_of(float r, float a, float b) {
        float r24103 = r;
        float r24104 = b;
        float r24105 = sin(r24104);
        float r24106 = r24103 * r24105;
        float r24107 = 1;
        float r24108 = a;
        float r24109 = cos(r24108);
        float r24110 = cos(r24104);
        float r24111 = r24109 * r24110;
        float r24112 = sin(r24108);
        float r24113 = r24112 * r24105;
        float r24114 = r24111 - r24113;
        float r24115 = r24107 / r24114;
        float r24116 = r24106 * r24115;
        return r24116;
}

double f_od(double r, double a, double b) {
        double r24117 = r;
        double r24118 = b;
        double r24119 = sin(r24118);
        double r24120 = r24117 * r24119;
        double r24121 = 1;
        double r24122 = a;
        double r24123 = cos(r24122);
        double r24124 = cos(r24118);
        double r24125 = r24123 * r24124;
        double r24126 = sin(r24122);
        double r24127 = r24126 * r24119;
        double r24128 = r24125 - r24127;
        double r24129 = r24121 / r24128;
        double r24130 = r24120 * r24129;
        return r24130;
}

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 r24131, r24132, r24133, r24134, r24135, r24136, r24137, r24138;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r24131);
        mpfr_init(r24132);
        mpfr_init(r24133);
        mpfr_init(r24134);
        mpfr_init(r24135);
        mpfr_init(r24136);
        mpfr_init(r24137);
        mpfr_init(r24138);
}

double f_im(double r, double a, double b) {
        mpfr_set_d(r24131, r, MPFR_RNDN);
        mpfr_set_d(r24132, b, MPFR_RNDN);
        mpfr_sin(r24133, r24132, MPFR_RNDN);
        mpfr_mul(r24134, r24131, r24133, MPFR_RNDN);
        mpfr_set_d(r24135, a, MPFR_RNDN);
        mpfr_add(r24136, r24135, r24132, MPFR_RNDN);
        mpfr_cos(r24137, r24136, MPFR_RNDN);
        mpfr_div(r24138, r24134, r24137, MPFR_RNDN);
        return mpfr_get_d(r24138, MPFR_RNDN);
}

static mpfr_t r24139, r24140, r24141, r24142, r24143, r24144, r24145, r24146, r24147, r24148, r24149, r24150, r24151, r24152;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r24139);
        mpfr_init(r24140);
        mpfr_init(r24141);
        mpfr_init(r24142);
        mpfr_init_set_str(r24143, "1", 10, MPFR_RNDN);
        mpfr_init(r24144);
        mpfr_init(r24145);
        mpfr_init(r24146);
        mpfr_init(r24147);
        mpfr_init(r24148);
        mpfr_init(r24149);
        mpfr_init(r24150);
        mpfr_init(r24151);
        mpfr_init(r24152);
}

double f_fm(double r, double a, double b) {
        mpfr_set_d(r24139, r, MPFR_RNDN);
        mpfr_set_d(r24140, b, MPFR_RNDN);
        mpfr_sin(r24141, r24140, MPFR_RNDN);
        mpfr_mul(r24142, r24139, r24141, MPFR_RNDN);
        ;
        mpfr_set_d(r24144, a, MPFR_RNDN);
        mpfr_cos(r24145, r24144, MPFR_RNDN);
        mpfr_cos(r24146, r24140, MPFR_RNDN);
        mpfr_mul(r24147, r24145, r24146, MPFR_RNDN);
        mpfr_sin(r24148, r24144, MPFR_RNDN);
        mpfr_mul(r24149, r24148, r24141, MPFR_RNDN);
        mpfr_sub(r24150, r24147, r24149, MPFR_RNDN);
        mpfr_div(r24151, r24143, r24150, MPFR_RNDN);
        mpfr_mul(r24152, r24142, r24151, MPFR_RNDN);
        return mpfr_get_d(r24152, MPFR_RNDN);
}

static mpfr_t r24153, r24154, r24155, r24156, r24157, r24158, r24159, r24160, r24161, r24162, r24163, r24164, r24165, r24166;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r24153);
        mpfr_init(r24154);
        mpfr_init(r24155);
        mpfr_init(r24156);
        mpfr_init_set_str(r24157, "1", 10, MPFR_RNDN);
        mpfr_init(r24158);
        mpfr_init(r24159);
        mpfr_init(r24160);
        mpfr_init(r24161);
        mpfr_init(r24162);
        mpfr_init(r24163);
        mpfr_init(r24164);
        mpfr_init(r24165);
        mpfr_init(r24166);
}

double f_dm(double r, double a, double b) {
        mpfr_set_d(r24153, r, MPFR_RNDN);
        mpfr_set_d(r24154, b, MPFR_RNDN);
        mpfr_sin(r24155, r24154, MPFR_RNDN);
        mpfr_mul(r24156, r24153, r24155, MPFR_RNDN);
        ;
        mpfr_set_d(r24158, a, MPFR_RNDN);
        mpfr_cos(r24159, r24158, MPFR_RNDN);
        mpfr_cos(r24160, r24154, MPFR_RNDN);
        mpfr_mul(r24161, r24159, r24160, MPFR_RNDN);
        mpfr_sin(r24162, r24158, MPFR_RNDN);
        mpfr_mul(r24163, r24162, r24155, MPFR_RNDN);
        mpfr_sub(r24164, r24161, r24163, MPFR_RNDN);
        mpfr_div(r24165, r24157, r24164, MPFR_RNDN);
        mpfr_mul(r24166, r24156, r24165, MPFR_RNDN);
        return mpfr_get_d(r24166, MPFR_RNDN);
}