#include #include #include #include #include char *name = "(+ x (- (tan (+ y z)) (tan a)))"; double f_if(float x, float y, float z, float a) { float r23392 = x; float r23393 = y; float r23394 = z; float r23395 = r23393 + r23394; float r23396 = tan(r23395); float r23397 = a; float r23398 = tan(r23397); float r23399 = r23396 - r23398; float r23400 = r23392 + r23399; return r23400; } double f_id(double x, double y, double z, double a) { double r23401 = x; double r23402 = y; double r23403 = z; double r23404 = r23402 + r23403; double r23405 = tan(r23404); double r23406 = a; double r23407 = tan(r23406); double r23408 = r23405 - r23407; double r23409 = r23401 + r23408; return r23409; } double f_of(float x, float y, float z, float a) { float r23410 = x; float r23411 = y; float r23412 = tan(r23411); float r23413 = z; float r23414 = tan(r23413); float r23415 = r23412 + r23414; float r23416 = 1; float r23417 = 3; float r23418 = pow(r23412, r23417); float r23419 = pow(r23414, r23417); float r23420 = r23418 * r23419; float r23421 = cbrt(r23420); float r23422 = r23416 - r23421; float r23423 = r23415 / r23422; float r23424 = a; float r23425 = tan(r23424); float r23426 = r23423 - r23425; float r23427 = r23410 + r23426; return r23427; } double f_od(double x, double y, double z, double a) { double r23428 = x; double r23429 = y; double r23430 = tan(r23429); double r23431 = z; double r23432 = tan(r23431); double r23433 = r23430 + r23432; double r23434 = 1; double r23435 = 3; double r23436 = pow(r23430, r23435); double r23437 = pow(r23432, r23435); double r23438 = r23436 * r23437; double r23439 = cbrt(r23438); double r23440 = r23434 - r23439; double r23441 = r23433 / r23440; double r23442 = a; double r23443 = tan(r23442); double r23444 = r23441 - r23443; double r23445 = r23428 + r23444; return r23445; } 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 r23446, r23447, r23448, r23449, r23450, r23451, r23452, r23453, r23454; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init(r23446); mpfr_init(r23447); mpfr_init(r23448); mpfr_init(r23449); mpfr_init(r23450); mpfr_init(r23451); mpfr_init(r23452); mpfr_init(r23453); mpfr_init(r23454); } double f_im(double x, double y, double z, double a) { mpfr_set_d(r23446, x, MPFR_RNDN); mpfr_set_d(r23447, y, MPFR_RNDN); mpfr_set_d(r23448, z, MPFR_RNDN); mpfr_add(r23449, r23447, r23448, MPFR_RNDN); mpfr_tan(r23450, r23449, MPFR_RNDN); mpfr_set_d(r23451, a, MPFR_RNDN); mpfr_tan(r23452, r23451, MPFR_RNDN); mpfr_sub(r23453, r23450, r23452, MPFR_RNDN); mpfr_add(r23454, r23446, r23453, MPFR_RNDN); return mpfr_get_d(r23454, MPFR_RNDN); } static mpfr_t r23455, r23456, r23457, r23458, r23459, r23460, r23461, r23462, r23463, r23464, r23465, r23466, r23467, r23468, r23469, r23470, r23471, r23472; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init(r23455); mpfr_init(r23456); mpfr_init(r23457); mpfr_init(r23458); mpfr_init(r23459); mpfr_init(r23460); mpfr_init_set_str(r23461, "1", 10, MPFR_RNDN); mpfr_init_set_str(r23462, "3", 10, MPFR_RNDN); mpfr_init(r23463); mpfr_init(r23464); mpfr_init(r23465); mpfr_init(r23466); mpfr_init(r23467); mpfr_init(r23468); mpfr_init(r23469); mpfr_init(r23470); mpfr_init(r23471); mpfr_init(r23472); } double f_fm(double x, double y, double z, double a) { mpfr_set_d(r23455, x, MPFR_RNDN); mpfr_set_d(r23456, y, MPFR_RNDN); mpfr_tan(r23457, r23456, MPFR_RNDN); mpfr_set_d(r23458, z, MPFR_RNDN); mpfr_tan(r23459, r23458, MPFR_RNDN); mpfr_add(r23460, r23457, r23459, MPFR_RNDN); ; ; mpfr_pow(r23463, r23457, r23462, MPFR_RNDN); mpfr_pow(r23464, r23459, r23462, MPFR_RNDN); mpfr_mul(r23465, r23463, r23464, MPFR_RNDN); mpfr_cbrt(r23466, r23465, MPFR_RNDN); mpfr_sub(r23467, r23461, r23466, MPFR_RNDN); mpfr_div(r23468, r23460, r23467, MPFR_RNDN); mpfr_set_d(r23469, a, MPFR_RNDN); mpfr_tan(r23470, r23469, MPFR_RNDN); mpfr_sub(r23471, r23468, r23470, MPFR_RNDN); mpfr_add(r23472, r23455, r23471, MPFR_RNDN); return mpfr_get_d(r23472, MPFR_RNDN); } static mpfr_t r23473, r23474, r23475, r23476, r23477, r23478, r23479, r23480, r23481, r23482, r23483, r23484, r23485, r23486, r23487, r23488, r23489, r23490; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r23473); mpfr_init(r23474); mpfr_init(r23475); mpfr_init(r23476); mpfr_init(r23477); mpfr_init(r23478); mpfr_init_set_str(r23479, "1", 10, MPFR_RNDN); mpfr_init_set_str(r23480, "3", 10, MPFR_RNDN); mpfr_init(r23481); mpfr_init(r23482); mpfr_init(r23483); mpfr_init(r23484); mpfr_init(r23485); mpfr_init(r23486); mpfr_init(r23487); mpfr_init(r23488); mpfr_init(r23489); mpfr_init(r23490); } double f_dm(double x, double y, double z, double a) { mpfr_set_d(r23473, x, MPFR_RNDN); mpfr_set_d(r23474, y, MPFR_RNDN); mpfr_tan(r23475, r23474, MPFR_RNDN); mpfr_set_d(r23476, z, MPFR_RNDN); mpfr_tan(r23477, r23476, MPFR_RNDN); mpfr_add(r23478, r23475, r23477, MPFR_RNDN); ; ; mpfr_pow(r23481, r23475, r23480, MPFR_RNDN); mpfr_pow(r23482, r23477, r23480, MPFR_RNDN); mpfr_mul(r23483, r23481, r23482, MPFR_RNDN); mpfr_cbrt(r23484, r23483, MPFR_RNDN); mpfr_sub(r23485, r23479, r23484, MPFR_RNDN); mpfr_div(r23486, r23478, r23485, MPFR_RNDN); mpfr_set_d(r23487, a, MPFR_RNDN); mpfr_tan(r23488, r23487, MPFR_RNDN); mpfr_sub(r23489, r23486, r23488, MPFR_RNDN); mpfr_add(r23490, r23473, r23489, MPFR_RNDN); return mpfr_get_d(r23490, MPFR_RNDN); }