#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 r26774 = x; float r26775 = y; float r26776 = z; float r26777 = r26775 + r26776; float r26778 = tan(r26777); float r26779 = a; float r26780 = tan(r26779); float r26781 = r26778 - r26780; float r26782 = r26774 + r26781; return r26782; } double f_id(double x, double y, double z, double a) { double r26783 = x; double r26784 = y; double r26785 = z; double r26786 = r26784 + r26785; double r26787 = tan(r26786); double r26788 = a; double r26789 = tan(r26788); double r26790 = r26787 - r26789; double r26791 = r26783 + r26790; return r26791; } double f_of(float x, float y, float z, float a) { float r26792 = x; float r26793 = y; float r26794 = tan(r26793); float r26795 = z; float r26796 = tan(r26795); float r26797 = r26794 + r26796; float r26798 = 1; float r26799 = sin(r26793); float r26800 = sin(r26795); float r26801 = r26799 * r26800; float r26802 = cos(r26793); float r26803 = cos(r26795); float r26804 = r26802 * r26803; float r26805 = r26801 / r26804; float r26806 = r26798 - r26805; float r26807 = r26797 / r26806; float r26808 = a; float r26809 = tan(r26808); float r26810 = r26807 - r26809; float r26811 = r26792 + r26810; return r26811; } double f_od(double x, double y, double z, double a) { double r26812 = x; double r26813 = y; double r26814 = tan(r26813); double r26815 = z; double r26816 = tan(r26815); double r26817 = r26814 + r26816; double r26818 = 1; double r26819 = sin(r26813); double r26820 = sin(r26815); double r26821 = r26819 * r26820; double r26822 = cos(r26813); double r26823 = cos(r26815); double r26824 = r26822 * r26823; double r26825 = r26821 / r26824; double r26826 = r26818 - r26825; double r26827 = r26817 / r26826; double r26828 = a; double r26829 = tan(r26828); double r26830 = r26827 - r26829; double r26831 = r26812 + r26830; return r26831; } 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 r26832, r26833, r26834, r26835, r26836, r26837, r26838, r26839, r26840; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init(r26832); mpfr_init(r26833); mpfr_init(r26834); mpfr_init(r26835); mpfr_init(r26836); mpfr_init(r26837); mpfr_init(r26838); mpfr_init(r26839); mpfr_init(r26840); } double f_im(double x, double y, double z, double a) { mpfr_set_d(r26832, x, MPFR_RNDN); mpfr_set_d(r26833, y, MPFR_RNDN); mpfr_set_d(r26834, z, MPFR_RNDN); mpfr_add(r26835, r26833, r26834, MPFR_RNDN); mpfr_tan(r26836, r26835, MPFR_RNDN); mpfr_set_d(r26837, a, MPFR_RNDN); mpfr_tan(r26838, r26837, MPFR_RNDN); mpfr_sub(r26839, r26836, r26838, MPFR_RNDN); mpfr_add(r26840, r26832, r26839, MPFR_RNDN); return mpfr_get_d(r26840, MPFR_RNDN); } static mpfr_t r26841, r26842, r26843, r26844, r26845, r26846, r26847, r26848, r26849, r26850, r26851, r26852, r26853, r26854, r26855, r26856, r26857, r26858, r26859, r26860; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init(r26841); mpfr_init(r26842); mpfr_init(r26843); mpfr_init(r26844); mpfr_init(r26845); mpfr_init(r26846); mpfr_init_set_str(r26847, "1", 10, MPFR_RNDN); mpfr_init(r26848); mpfr_init(r26849); mpfr_init(r26850); mpfr_init(r26851); mpfr_init(r26852); mpfr_init(r26853); mpfr_init(r26854); mpfr_init(r26855); mpfr_init(r26856); mpfr_init(r26857); mpfr_init(r26858); mpfr_init(r26859); mpfr_init(r26860); } double f_fm(double x, double y, double z, double a) { mpfr_set_d(r26841, x, MPFR_RNDN); mpfr_set_d(r26842, y, MPFR_RNDN); mpfr_tan(r26843, r26842, MPFR_RNDN); mpfr_set_d(r26844, z, MPFR_RNDN); mpfr_tan(r26845, r26844, MPFR_RNDN); mpfr_add(r26846, r26843, r26845, MPFR_RNDN); ; mpfr_sin(r26848, r26842, MPFR_RNDN); mpfr_sin(r26849, r26844, MPFR_RNDN); mpfr_mul(r26850, r26848, r26849, MPFR_RNDN); mpfr_cos(r26851, r26842, MPFR_RNDN); mpfr_cos(r26852, r26844, MPFR_RNDN); mpfr_mul(r26853, r26851, r26852, MPFR_RNDN); mpfr_div(r26854, r26850, r26853, MPFR_RNDN); mpfr_sub(r26855, r26847, r26854, MPFR_RNDN); mpfr_div(r26856, r26846, r26855, MPFR_RNDN); mpfr_set_d(r26857, a, MPFR_RNDN); mpfr_tan(r26858, r26857, MPFR_RNDN); mpfr_sub(r26859, r26856, r26858, MPFR_RNDN); mpfr_add(r26860, r26841, r26859, MPFR_RNDN); return mpfr_get_d(r26860, MPFR_RNDN); } static mpfr_t r26861, r26862, r26863, r26864, r26865, r26866, r26867, r26868, r26869, r26870, r26871, r26872, r26873, r26874, r26875, r26876, r26877, r26878, r26879, r26880; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init(r26861); mpfr_init(r26862); mpfr_init(r26863); mpfr_init(r26864); mpfr_init(r26865); mpfr_init(r26866); mpfr_init_set_str(r26867, "1", 10, MPFR_RNDN); mpfr_init(r26868); mpfr_init(r26869); mpfr_init(r26870); mpfr_init(r26871); mpfr_init(r26872); mpfr_init(r26873); mpfr_init(r26874); mpfr_init(r26875); mpfr_init(r26876); mpfr_init(r26877); mpfr_init(r26878); mpfr_init(r26879); mpfr_init(r26880); } double f_dm(double x, double y, double z, double a) { mpfr_set_d(r26861, x, MPFR_RNDN); mpfr_set_d(r26862, y, MPFR_RNDN); mpfr_tan(r26863, r26862, MPFR_RNDN); mpfr_set_d(r26864, z, MPFR_RNDN); mpfr_tan(r26865, r26864, MPFR_RNDN); mpfr_add(r26866, r26863, r26865, MPFR_RNDN); ; mpfr_sin(r26868, r26862, MPFR_RNDN); mpfr_sin(r26869, r26864, MPFR_RNDN); mpfr_mul(r26870, r26868, r26869, MPFR_RNDN); mpfr_cos(r26871, r26862, MPFR_RNDN); mpfr_cos(r26872, r26864, MPFR_RNDN); mpfr_mul(r26873, r26871, r26872, MPFR_RNDN); mpfr_div(r26874, r26870, r26873, MPFR_RNDN); mpfr_sub(r26875, r26867, r26874, MPFR_RNDN); mpfr_div(r26876, r26866, r26875, MPFR_RNDN); mpfr_set_d(r26877, a, MPFR_RNDN); mpfr_tan(r26878, r26877, MPFR_RNDN); mpfr_sub(r26879, r26876, r26878, MPFR_RNDN); mpfr_add(r26880, r26861, r26879, MPFR_RNDN); return mpfr_get_d(r26880, MPFR_RNDN); }