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

char *name = "(+ x (- (tan (+ y z)) (tan a)))";

double f_if(float x, float y, float z, float a) {
        float r26898 = x;
        float r26899 = y;
        float r26900 = z;
        float r26901 = r26899 + r26900;
        float r26902 = tan(r26901);
        float r26903 = a;
        float r26904 = tan(r26903);
        float r26905 = r26902 - r26904;
        float r26906 = r26898 + r26905;
        return r26906;
}

double f_id(double x, double y, double z, double a) {
        double r26907 = x;
        double r26908 = y;
        double r26909 = z;
        double r26910 = r26908 + r26909;
        double r26911 = tan(r26910);
        double r26912 = a;
        double r26913 = tan(r26912);
        double r26914 = r26911 - r26913;
        double r26915 = r26907 + r26914;
        return r26915;
}


double f_of(float x, float y, float z, float a) {
        float r26916 = z;
        float r26917 = sin(r26916);
        float r26918 = cos(r26916);
        float r26919 = r26917 / r26918;
        float r26920 = y;
        float r26921 = sin(r26920);
        float r26922 = cos(r26920);
        float r26923 = r26921 / r26922;
        float r26924 = r26919 + r26923;
        float r26925 = 1;
        float r26926 = tan(r26920);
        float r26927 = tan(r26916);
        float r26928 = r26926 * r26927;
        float r26929 = r26925 - r26928;
        float r26930 = r26924 / r26929;
        float r26931 = a;
        float r26932 = sin(r26931);
        float r26933 = cos(r26931);
        float r26934 = r26932 / r26933;
        float r26935 = x;
        float r26936 = r26934 - r26935;
        float r26937 = r26930 - r26936;
        return r26937;
}

double f_od(double x, double y, double z, double a) {
        double r26938 = z;
        double r26939 = sin(r26938);
        double r26940 = cos(r26938);
        double r26941 = r26939 / r26940;
        double r26942 = y;
        double r26943 = sin(r26942);
        double r26944 = cos(r26942);
        double r26945 = r26943 / r26944;
        double r26946 = r26941 + r26945;
        double r26947 = 1;
        double r26948 = tan(r26942);
        double r26949 = tan(r26938);
        double r26950 = r26948 * r26949;
        double r26951 = r26947 - r26950;
        double r26952 = r26946 / r26951;
        double r26953 = a;
        double r26954 = sin(r26953);
        double r26955 = cos(r26953);
        double r26956 = r26954 / r26955;
        double r26957 = x;
        double r26958 = r26956 - r26957;
        double r26959 = r26952 - r26958;
        return r26959;
}

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 r26960, r26961, r26962, r26963, r26964, r26965, r26966, r26967, r26968;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26960);
        mpfr_init(r26961);
        mpfr_init(r26962);
        mpfr_init(r26963);
        mpfr_init(r26964);
        mpfr_init(r26965);
        mpfr_init(r26966);
        mpfr_init(r26967);
        mpfr_init(r26968);
}

double f_im(double x, double y, double z, double a) {
        mpfr_set_d(r26960, x, MPFR_RNDN);
        mpfr_set_d(r26961, y, MPFR_RNDN);
        mpfr_set_d(r26962, z, MPFR_RNDN);
        mpfr_add(r26963, r26961, r26962, MPFR_RNDN);
        mpfr_tan(r26964, r26963, MPFR_RNDN);
        mpfr_set_d(r26965, a, MPFR_RNDN);
        mpfr_tan(r26966, r26965, MPFR_RNDN);
        mpfr_sub(r26967, r26964, r26966, MPFR_RNDN);
        mpfr_add(r26968, r26960, r26967, MPFR_RNDN);
        return mpfr_get_d(r26968, MPFR_RNDN);
}

static mpfr_t r26969, r26970, r26971, r26972, r26973, r26974, r26975, r26976, r26977, r26978, r26979, r26980, r26981, r26982, r26983, r26984, r26985, r26986, r26987, r26988, r26989, r26990;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26969);
        mpfr_init(r26970);
        mpfr_init(r26971);
        mpfr_init(r26972);
        mpfr_init(r26973);
        mpfr_init(r26974);
        mpfr_init(r26975);
        mpfr_init(r26976);
        mpfr_init(r26977);
        mpfr_init_set_str(r26978, "1", 10, MPFR_RNDN);
        mpfr_init(r26979);
        mpfr_init(r26980);
        mpfr_init(r26981);
        mpfr_init(r26982);
        mpfr_init(r26983);
        mpfr_init(r26984);
        mpfr_init(r26985);
        mpfr_init(r26986);
        mpfr_init(r26987);
        mpfr_init(r26988);
        mpfr_init(r26989);
        mpfr_init(r26990);
}

double f_fm(double x, double y, double z, double a) {
        mpfr_set_d(r26969, z, MPFR_RNDN);
        mpfr_sin(r26970, r26969, MPFR_RNDN);
        mpfr_cos(r26971, r26969, MPFR_RNDN);
        mpfr_div(r26972, r26970, r26971, MPFR_RNDN);
        mpfr_set_d(r26973, y, MPFR_RNDN);
        mpfr_sin(r26974, r26973, MPFR_RNDN);
        mpfr_cos(r26975, r26973, MPFR_RNDN);
        mpfr_div(r26976, r26974, r26975, MPFR_RNDN);
        mpfr_add(r26977, r26972, r26976, MPFR_RNDN);
        ;
        mpfr_tan(r26979, r26973, MPFR_RNDN);
        mpfr_tan(r26980, r26969, MPFR_RNDN);
        mpfr_mul(r26981, r26979, r26980, MPFR_RNDN);
        mpfr_sub(r26982, r26978, r26981, MPFR_RNDN);
        mpfr_div(r26983, r26977, r26982, MPFR_RNDN);
        mpfr_set_d(r26984, a, MPFR_RNDN);
        mpfr_sin(r26985, r26984, MPFR_RNDN);
        mpfr_cos(r26986, r26984, MPFR_RNDN);
        mpfr_div(r26987, r26985, r26986, MPFR_RNDN);
        mpfr_set_d(r26988, x, MPFR_RNDN);
        mpfr_sub(r26989, r26987, r26988, MPFR_RNDN);
        mpfr_sub(r26990, r26983, r26989, MPFR_RNDN);
        return mpfr_get_d(r26990, MPFR_RNDN);
}

static mpfr_t r26991, r26992, r26993, r26994, r26995, r26996, r26997, r26998, r26999, r27000, r27001, r27002, r27003, r27004, r27005, r27006, r27007, r27008, r27009, r27010, r27011, r27012;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(1360);
        mpfr_init(r26991);
        mpfr_init(r26992);
        mpfr_init(r26993);
        mpfr_init(r26994);
        mpfr_init(r26995);
        mpfr_init(r26996);
        mpfr_init(r26997);
        mpfr_init(r26998);
        mpfr_init(r26999);
        mpfr_init_set_str(r27000, "1", 10, MPFR_RNDN);
        mpfr_init(r27001);
        mpfr_init(r27002);
        mpfr_init(r27003);
        mpfr_init(r27004);
        mpfr_init(r27005);
        mpfr_init(r27006);
        mpfr_init(r27007);
        mpfr_init(r27008);
        mpfr_init(r27009);
        mpfr_init(r27010);
        mpfr_init(r27011);
        mpfr_init(r27012);
}

double f_dm(double x, double y, double z, double a) {
        mpfr_set_d(r26991, z, MPFR_RNDN);
        mpfr_sin(r26992, r26991, MPFR_RNDN);
        mpfr_cos(r26993, r26991, MPFR_RNDN);
        mpfr_div(r26994, r26992, r26993, MPFR_RNDN);
        mpfr_set_d(r26995, y, MPFR_RNDN);
        mpfr_sin(r26996, r26995, MPFR_RNDN);
        mpfr_cos(r26997, r26995, MPFR_RNDN);
        mpfr_div(r26998, r26996, r26997, MPFR_RNDN);
        mpfr_add(r26999, r26994, r26998, MPFR_RNDN);
        ;
        mpfr_tan(r27001, r26995, MPFR_RNDN);
        mpfr_tan(r27002, r26991, MPFR_RNDN);
        mpfr_mul(r27003, r27001, r27002, MPFR_RNDN);
        mpfr_sub(r27004, r27000, r27003, MPFR_RNDN);
        mpfr_div(r27005, r26999, r27004, MPFR_RNDN);
        mpfr_set_d(r27006, a, MPFR_RNDN);
        mpfr_sin(r27007, r27006, MPFR_RNDN);
        mpfr_cos(r27008, r27006, MPFR_RNDN);
        mpfr_div(r27009, r27007, r27008, MPFR_RNDN);
        mpfr_set_d(r27010, x, MPFR_RNDN);
        mpfr_sub(r27011, r27009, r27010, MPFR_RNDN);
        mpfr_sub(r27012, r27005, r27011, MPFR_RNDN);
        return mpfr_get_d(r27012, MPFR_RNDN);
}