#include #include #include #include #include char *name = "Jmat.Real.dawson"; double f_if(float x) { float r11911 = 1; float r11912 = 0.1049934947; float r11913 = x; float r11914 = r11913 * r11913; float r11915 = r11912 * r11914; float r11916 = r11911 + r11915; float r11917 = 0.0424060604; float r11918 = r11914 * r11914; float r11919 = r11917 * r11918; float r11920 = r11916 + r11919; float r11921 = 0.0072644182; float r11922 = r11918 * r11914; float r11923 = r11921 * r11922; float r11924 = r11920 + r11923; float r11925 = 0.0005064034; float r11926 = r11922 * r11914; float r11927 = r11925 * r11926; float r11928 = r11924 + r11927; float r11929 = 0.0001789971; float r11930 = r11926 * r11914; float r11931 = r11929 * r11930; float r11932 = r11928 + r11931; float r11933 = 0.7715471019; float r11934 = r11933 * r11914; float r11935 = r11911 + r11934; float r11936 = 0.2909738639; float r11937 = r11936 * r11918; float r11938 = r11935 + r11937; float r11939 = 0.0694555761; float r11940 = r11939 * r11922; float r11941 = r11938 + r11940; float r11942 = 0.0140005442; float r11943 = r11942 * r11926; float r11944 = r11941 + r11943; float r11945 = 0.0008327945; float r11946 = r11945 * r11930; float r11947 = r11944 + r11946; float r11948 = 2; float r11949 = r11948 * r11929; float r11950 = r11930 * r11914; float r11951 = r11949 * r11950; float r11952 = r11947 + r11951; float r11953 = r11932 / r11952; float r11954 = r11953 * r11913; return r11954; } double f_id(double x) { double r11955 = 1; double r11956 = 0.1049934947; double r11957 = x; double r11958 = r11957 * r11957; double r11959 = r11956 * r11958; double r11960 = r11955 + r11959; double r11961 = 0.0424060604; double r11962 = r11958 * r11958; double r11963 = r11961 * r11962; double r11964 = r11960 + r11963; double r11965 = 0.0072644182; double r11966 = r11962 * r11958; double r11967 = r11965 * r11966; double r11968 = r11964 + r11967; double r11969 = 0.0005064034; double r11970 = r11966 * r11958; double r11971 = r11969 * r11970; double r11972 = r11968 + r11971; double r11973 = 0.0001789971; double r11974 = r11970 * r11958; double r11975 = r11973 * r11974; double r11976 = r11972 + r11975; double r11977 = 0.7715471019; double r11978 = r11977 * r11958; double r11979 = r11955 + r11978; double r11980 = 0.2909738639; double r11981 = r11980 * r11962; double r11982 = r11979 + r11981; double r11983 = 0.0694555761; double r11984 = r11983 * r11966; double r11985 = r11982 + r11984; double r11986 = 0.0140005442; double r11987 = r11986 * r11970; double r11988 = r11985 + r11987; double r11989 = 0.0008327945; double r11990 = r11989 * r11974; double r11991 = r11988 + r11990; double r11992 = 2; double r11993 = r11992 * r11973; double r11994 = r11974 * r11958; double r11995 = r11993 * r11994; double r11996 = r11991 + r11995; double r11997 = r11976 / r11996; double r11998 = r11997 * r11957; return r11998; } double f_of(float x) { float r11999 = x; float r12000 = -4.728581742918467e+24; bool r12001 = r11999 <= r12000; float r12002 = 734.9692714972249; bool r12003 = r11999 <= r12002; float r12004 = !r12003; bool r12005 = r12001 || r12004; float r12006 = 0.15298196345929327; float r12007 = r12006 * r11999; float r12008 = 6; float r12009 = pow(r11999, r12008); float r12010 = r12007 / r12009; float r12011 = 0.5; float r12012 = r12011 / r11999; float r12013 = 0.2514179000665375; float r12014 = r12013 * r11999; float r12015 = 4; float r12016 = pow(r11999, r12015); float r12017 = r12014 / r12016; float r12018 = r12012 + r12017; float r12019 = r12010 + r12018; float r12020 = 0.0001789971; float r12021 = r11999 * r11999; float r12022 = r12021 * r12021; float r12023 = r12022 * r12021; float r12024 = r12023 * r12021; float r12025 = r12021 * r12024; float r12026 = r12020 * r12025; float r12027 = 0.0424060604; float r12028 = r12027 * r12022; float r12029 = 0.1049934947; float r12030 = r12029 * r12021; float r12031 = 1; float r12032 = r12030 + r12031; float r12033 = r12028 + r12032; float r12034 = 0.0072644182; float r12035 = r12023 * r12034; float r12036 = r12033 + r12035; float r12037 = 0.0005064034; float r12038 = r12037 * r12024; float r12039 = r12036 + r12038; float r12040 = r12026 + r12039; float r12041 = r12021 * r12025; float r12042 = 2; float r12043 = r12020 * r12042; float r12044 = r12041 * r12043; float r12045 = 0.0140005442; float r12046 = r12045 * r12024; float r12047 = 0.7715471019; float r12048 = r12047 * r12021; float r12049 = r12048 + r12031; float r12050 = 0.2909738639; float r12051 = r12050 * r12022; float r12052 = r12049 + r12051; float r12053 = 0.0694555761; float r12054 = r12023 * r12053; float r12055 = r12052 + r12054; float r12056 = r12046 + r12055; float r12057 = 0.0008327945; float r12058 = r12025 * r12057; float r12059 = r12056 + r12058; float r12060 = r12044 + r12059; float r12061 = r12040 / r12060; float r12062 = r12061 * r11999; float r12063 = r12005 ? r12019 : r12062; return r12063; } double f_od(double x) { double r12064 = x; double r12065 = -4.728581742918467e+24; bool r12066 = r12064 <= r12065; double r12067 = 734.9692714972249; bool r12068 = r12064 <= r12067; double r12069 = !r12068; bool r12070 = r12066 || r12069; double r12071 = 0.15298196345929327; double r12072 = r12071 * r12064; double r12073 = 6; double r12074 = pow(r12064, r12073); double r12075 = r12072 / r12074; double r12076 = 0.5; double r12077 = r12076 / r12064; double r12078 = 0.2514179000665375; double r12079 = r12078 * r12064; double r12080 = 4; double r12081 = pow(r12064, r12080); double r12082 = r12079 / r12081; double r12083 = r12077 + r12082; double r12084 = r12075 + r12083; double r12085 = 0.0001789971; double r12086 = r12064 * r12064; double r12087 = r12086 * r12086; double r12088 = r12087 * r12086; double r12089 = r12088 * r12086; double r12090 = r12086 * r12089; double r12091 = r12085 * r12090; double r12092 = 0.0424060604; double r12093 = r12092 * r12087; double r12094 = 0.1049934947; double r12095 = r12094 * r12086; double r12096 = 1; double r12097 = r12095 + r12096; double r12098 = r12093 + r12097; double r12099 = 0.0072644182; double r12100 = r12088 * r12099; double r12101 = r12098 + r12100; double r12102 = 0.0005064034; double r12103 = r12102 * r12089; double r12104 = r12101 + r12103; double r12105 = r12091 + r12104; double r12106 = r12086 * r12090; double r12107 = 2; double r12108 = r12085 * r12107; double r12109 = r12106 * r12108; double r12110 = 0.0140005442; double r12111 = r12110 * r12089; double r12112 = 0.7715471019; double r12113 = r12112 * r12086; double r12114 = r12113 + r12096; double r12115 = 0.2909738639; double r12116 = r12115 * r12087; double r12117 = r12114 + r12116; double r12118 = 0.0694555761; double r12119 = r12088 * r12118; double r12120 = r12117 + r12119; double r12121 = r12111 + r12120; double r12122 = 0.0008327945; double r12123 = r12090 * r12122; double r12124 = r12121 + r12123; double r12125 = r12109 + r12124; double r12126 = r12105 / r12125; double r12127 = r12126 * r12064; double r12128 = r12070 ? r12084 : r12127; return r12128; } 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 r12129, r12130, r12131, r12132, r12133, r12134, r12135, r12136, r12137, r12138, r12139, r12140, r12141, r12142, r12143, r12144, r12145, r12146, r12147, r12148, r12149, r12150, r12151, r12152, r12153, r12154, r12155, r12156, r12157, r12158, r12159, r12160, r12161, r12162, r12163, r12164, r12165, r12166, r12167, r12168, r12169, r12170, r12171, r12172; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init_set_str(r12129, "1", 10, MPFR_RNDN); mpfr_init_set_str(r12130, "0.1049934947", 10, MPFR_RNDN); mpfr_init(r12131); mpfr_init(r12132); mpfr_init(r12133); mpfr_init(r12134); mpfr_init_set_str(r12135, "0.0424060604", 10, MPFR_RNDN); mpfr_init(r12136); mpfr_init(r12137); mpfr_init(r12138); mpfr_init_set_str(r12139, "0.0072644182", 10, MPFR_RNDN); mpfr_init(r12140); mpfr_init(r12141); mpfr_init(r12142); mpfr_init_set_str(r12143, "0.0005064034", 10, MPFR_RNDN); mpfr_init(r12144); mpfr_init(r12145); mpfr_init(r12146); mpfr_init_set_str(r12147, "0.0001789971", 10, MPFR_RNDN); mpfr_init(r12148); mpfr_init(r12149); mpfr_init(r12150); mpfr_init_set_str(r12151, "0.7715471019", 10, MPFR_RNDN); mpfr_init(r12152); mpfr_init(r12153); mpfr_init_set_str(r12154, "0.2909738639", 10, MPFR_RNDN); mpfr_init(r12155); mpfr_init(r12156); mpfr_init_set_str(r12157, "0.0694555761", 10, MPFR_RNDN); mpfr_init(r12158); mpfr_init(r12159); mpfr_init_set_str(r12160, "0.0140005442", 10, MPFR_RNDN); mpfr_init(r12161); mpfr_init(r12162); mpfr_init_set_str(r12163, "0.0008327945", 10, MPFR_RNDN); mpfr_init(r12164); mpfr_init(r12165); mpfr_init_set_str(r12166, "2", 10, MPFR_RNDN); mpfr_init(r12167); mpfr_init(r12168); mpfr_init(r12169); mpfr_init(r12170); mpfr_init(r12171); mpfr_init(r12172); } double f_im(double x) { ; ; mpfr_set_d(r12131, x, MPFR_RNDN); mpfr_mul(r12132, r12131, r12131, MPFR_RNDN); mpfr_mul(r12133, r12130, r12132, MPFR_RNDN); mpfr_add(r12134, r12129, r12133, MPFR_RNDN); ; mpfr_mul(r12136, r12132, r12132, MPFR_RNDN); mpfr_mul(r12137, r12135, r12136, MPFR_RNDN); mpfr_add(r12138, r12134, r12137, MPFR_RNDN); ; mpfr_mul(r12140, r12136, r12132, MPFR_RNDN); mpfr_mul(r12141, r12139, r12140, MPFR_RNDN); mpfr_add(r12142, r12138, r12141, MPFR_RNDN); ; mpfr_mul(r12144, r12140, r12132, MPFR_RNDN); mpfr_mul(r12145, r12143, r12144, MPFR_RNDN); mpfr_add(r12146, r12142, r12145, MPFR_RNDN); ; mpfr_mul(r12148, r12144, r12132, MPFR_RNDN); mpfr_mul(r12149, r12147, r12148, MPFR_RNDN); mpfr_add(r12150, r12146, r12149, MPFR_RNDN); ; mpfr_mul(r12152, r12151, r12132, MPFR_RNDN); mpfr_add(r12153, r12129, r12152, MPFR_RNDN); ; mpfr_mul(r12155, r12154, r12136, MPFR_RNDN); mpfr_add(r12156, r12153, r12155, MPFR_RNDN); ; mpfr_mul(r12158, r12157, r12140, MPFR_RNDN); mpfr_add(r12159, r12156, r12158, MPFR_RNDN); ; mpfr_mul(r12161, r12160, r12144, MPFR_RNDN); mpfr_add(r12162, r12159, r12161, MPFR_RNDN); ; mpfr_mul(r12164, r12163, r12148, MPFR_RNDN); mpfr_add(r12165, r12162, r12164, MPFR_RNDN); ; mpfr_mul(r12167, r12166, r12147, MPFR_RNDN); mpfr_mul(r12168, r12148, r12132, MPFR_RNDN); mpfr_mul(r12169, r12167, r12168, MPFR_RNDN); mpfr_add(r12170, r12165, r12169, MPFR_RNDN); mpfr_div(r12171, r12150, r12170, MPFR_RNDN); mpfr_mul(r12172, r12171, r12131, MPFR_RNDN); return mpfr_get_d(r12172, MPFR_RNDN); } static mpfr_t r12173, r12174, r12175, r12176, r12177, r12178, r12179, r12180, r12181, r12182, r12183, r12184, r12185, r12186, r12187, r12188, r12189, r12190, r12191, r12192, r12193, r12194, r12195, r12196, r12197, r12198, r12199, r12200, r12201, r12202, r12203, r12204, r12205, r12206, r12207, r12208, r12209, r12210, r12211, r12212, r12213, r12214, r12215, r12216, r12217, r12218, r12219, r12220, r12221, r12222, r12223, r12224, r12225, r12226, r12227, r12228, r12229, r12230, r12231, r12232, r12233, r12234, r12235, r12236, r12237; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init(r12173); mpfr_init_set_str(r12174, "-4.728581742918467e+24", 10, MPFR_RNDN); mpfr_init(r12175); mpfr_init_set_str(r12176, "734.9692714972249", 10, MPFR_RNDN); mpfr_init(r12177); mpfr_init(r12178); mpfr_init(r12179); mpfr_init_set_str(r12180, "0.15298196345929327", 10, MPFR_RNDN); mpfr_init(r12181); mpfr_init_set_str(r12182, "6", 10, MPFR_RNDN); mpfr_init(r12183); mpfr_init(r12184); mpfr_init_set_str(r12185, "0.5", 10, MPFR_RNDN); mpfr_init(r12186); mpfr_init_set_str(r12187, "0.2514179000665375", 10, MPFR_RNDN); mpfr_init(r12188); mpfr_init_set_str(r12189, "4", 10, MPFR_RNDN); mpfr_init(r12190); mpfr_init(r12191); mpfr_init(r12192); mpfr_init(r12193); mpfr_init_set_str(r12194, "0.0001789971", 10, MPFR_RNDN); mpfr_init(r12195); mpfr_init(r12196); mpfr_init(r12197); mpfr_init(r12198); mpfr_init(r12199); mpfr_init(r12200); mpfr_init_set_str(r12201, "0.0424060604", 10, MPFR_RNDN); mpfr_init(r12202); mpfr_init_set_str(r12203, "0.1049934947", 10, MPFR_RNDN); mpfr_init(r12204); mpfr_init_set_str(r12205, "1", 10, MPFR_RNDN); mpfr_init(r12206); mpfr_init(r12207); mpfr_init_set_str(r12208, "0.0072644182", 10, MPFR_RNDN); mpfr_init(r12209); mpfr_init(r12210); mpfr_init_set_str(r12211, "0.0005064034", 10, MPFR_RNDN); mpfr_init(r12212); mpfr_init(r12213); mpfr_init(r12214); mpfr_init(r12215); mpfr_init_set_str(r12216, "2", 10, MPFR_RNDN); mpfr_init(r12217); mpfr_init(r12218); mpfr_init_set_str(r12219, "0.0140005442", 10, MPFR_RNDN); mpfr_init(r12220); mpfr_init_set_str(r12221, "0.7715471019", 10, MPFR_RNDN); mpfr_init(r12222); mpfr_init(r12223); mpfr_init_set_str(r12224, "0.2909738639", 10, MPFR_RNDN); mpfr_init(r12225); mpfr_init(r12226); mpfr_init_set_str(r12227, "0.0694555761", 10, MPFR_RNDN); mpfr_init(r12228); mpfr_init(r12229); mpfr_init(r12230); mpfr_init_set_str(r12231, "0.0008327945", 10, MPFR_RNDN); mpfr_init(r12232); mpfr_init(r12233); mpfr_init(r12234); mpfr_init(r12235); mpfr_init(r12236); mpfr_init(r12237); } double f_fm(double x) { mpfr_set_d(r12173, x, MPFR_RNDN); ; mpfr_set_si(r12175, mpfr_cmp(r12173, r12174) <= 0, MPFR_RNDN); ; mpfr_set_si(r12177, mpfr_cmp(r12173, r12176) <= 0, MPFR_RNDN); mpfr_set_si(r12178, !mpfr_get_si(r12177, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r12179, mpfr_get_si(r12175, MPFR_RNDN) || mpfr_get_si(r12178, MPFR_RNDN), MPFR_RNDN); ; mpfr_mul(r12181, r12180, r12173, MPFR_RNDN); ; mpfr_pow(r12183, r12173, r12182, MPFR_RNDN); mpfr_div(r12184, r12181, r12183, MPFR_RNDN); ; mpfr_div(r12186, r12185, r12173, MPFR_RNDN); ; mpfr_mul(r12188, r12187, r12173, MPFR_RNDN); ; mpfr_pow(r12190, r12173, r12189, MPFR_RNDN); mpfr_div(r12191, r12188, r12190, MPFR_RNDN); mpfr_add(r12192, r12186, r12191, MPFR_RNDN); mpfr_add(r12193, r12184, r12192, MPFR_RNDN); ; mpfr_mul(r12195, r12173, r12173, MPFR_RNDN); mpfr_mul(r12196, r12195, r12195, MPFR_RNDN); mpfr_mul(r12197, r12196, r12195, MPFR_RNDN); mpfr_mul(r12198, r12197, r12195, MPFR_RNDN); mpfr_mul(r12199, r12195, r12198, MPFR_RNDN); mpfr_mul(r12200, r12194, r12199, MPFR_RNDN); ; mpfr_mul(r12202, r12201, r12196, MPFR_RNDN); ; mpfr_mul(r12204, r12203, r12195, MPFR_RNDN); ; mpfr_add(r12206, r12204, r12205, MPFR_RNDN); mpfr_add(r12207, r12202, r12206, MPFR_RNDN); ; mpfr_mul(r12209, r12197, r12208, MPFR_RNDN); mpfr_add(r12210, r12207, r12209, MPFR_RNDN); ; mpfr_mul(r12212, r12211, r12198, MPFR_RNDN); mpfr_add(r12213, r12210, r12212, MPFR_RNDN); mpfr_add(r12214, r12200, r12213, MPFR_RNDN); mpfr_mul(r12215, r12195, r12199, MPFR_RNDN); ; mpfr_mul(r12217, r12194, r12216, MPFR_RNDN); mpfr_mul(r12218, r12215, r12217, MPFR_RNDN); ; mpfr_mul(r12220, r12219, r12198, MPFR_RNDN); ; mpfr_mul(r12222, r12221, r12195, MPFR_RNDN); mpfr_add(r12223, r12222, r12205, MPFR_RNDN); ; mpfr_mul(r12225, r12224, r12196, MPFR_RNDN); mpfr_add(r12226, r12223, r12225, MPFR_RNDN); ; mpfr_mul(r12228, r12197, r12227, MPFR_RNDN); mpfr_add(r12229, r12226, r12228, MPFR_RNDN); mpfr_add(r12230, r12220, r12229, MPFR_RNDN); ; mpfr_mul(r12232, r12199, r12231, MPFR_RNDN); mpfr_add(r12233, r12230, r12232, MPFR_RNDN); mpfr_add(r12234, r12218, r12233, MPFR_RNDN); mpfr_div(r12235, r12214, r12234, MPFR_RNDN); mpfr_mul(r12236, r12235, r12173, MPFR_RNDN); if (mpfr_get_si(r12179, MPFR_RNDN)) { mpfr_set(r12237, r12193, MPFR_RNDN); } else { mpfr_set(r12237, r12236, MPFR_RNDN); }; return mpfr_get_d(r12237, MPFR_RNDN); } static mpfr_t r12238, r12239, r12240, r12241, r12242, r12243, r12244, r12245, r12246, r12247, r12248, r12249, r12250, r12251, r12252, r12253, r12254, r12255, r12256, r12257, r12258, r12259, r12260, r12261, r12262, r12263, r12264, r12265, r12266, r12267, r12268, r12269, r12270, r12271, r12272, r12273, r12274, r12275, r12276, r12277, r12278, r12279, r12280, r12281, r12282, r12283, r12284, r12285, r12286, r12287, r12288, r12289, r12290, r12291, r12292, r12293, r12294, r12295, r12296, r12297, r12298, r12299, r12300, r12301, r12302; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init(r12238); mpfr_init_set_str(r12239, "-4.728581742918467e+24", 10, MPFR_RNDN); mpfr_init(r12240); mpfr_init_set_str(r12241, "734.9692714972249", 10, MPFR_RNDN); mpfr_init(r12242); mpfr_init(r12243); mpfr_init(r12244); mpfr_init_set_str(r12245, "0.15298196345929327", 10, MPFR_RNDN); mpfr_init(r12246); mpfr_init_set_str(r12247, "6", 10, MPFR_RNDN); mpfr_init(r12248); mpfr_init(r12249); mpfr_init_set_str(r12250, "0.5", 10, MPFR_RNDN); mpfr_init(r12251); mpfr_init_set_str(r12252, "0.2514179000665375", 10, MPFR_RNDN); mpfr_init(r12253); mpfr_init_set_str(r12254, "4", 10, MPFR_RNDN); mpfr_init(r12255); mpfr_init(r12256); mpfr_init(r12257); mpfr_init(r12258); mpfr_init_set_str(r12259, "0.0001789971", 10, MPFR_RNDN); mpfr_init(r12260); mpfr_init(r12261); mpfr_init(r12262); mpfr_init(r12263); mpfr_init(r12264); mpfr_init(r12265); mpfr_init_set_str(r12266, "0.0424060604", 10, MPFR_RNDN); mpfr_init(r12267); mpfr_init_set_str(r12268, "0.1049934947", 10, MPFR_RNDN); mpfr_init(r12269); mpfr_init_set_str(r12270, "1", 10, MPFR_RNDN); mpfr_init(r12271); mpfr_init(r12272); mpfr_init_set_str(r12273, "0.0072644182", 10, MPFR_RNDN); mpfr_init(r12274); mpfr_init(r12275); mpfr_init_set_str(r12276, "0.0005064034", 10, MPFR_RNDN); mpfr_init(r12277); mpfr_init(r12278); mpfr_init(r12279); mpfr_init(r12280); mpfr_init_set_str(r12281, "2", 10, MPFR_RNDN); mpfr_init(r12282); mpfr_init(r12283); mpfr_init_set_str(r12284, "0.0140005442", 10, MPFR_RNDN); mpfr_init(r12285); mpfr_init_set_str(r12286, "0.7715471019", 10, MPFR_RNDN); mpfr_init(r12287); mpfr_init(r12288); mpfr_init_set_str(r12289, "0.2909738639", 10, MPFR_RNDN); mpfr_init(r12290); mpfr_init(r12291); mpfr_init_set_str(r12292, "0.0694555761", 10, MPFR_RNDN); mpfr_init(r12293); mpfr_init(r12294); mpfr_init(r12295); mpfr_init_set_str(r12296, "0.0008327945", 10, MPFR_RNDN); mpfr_init(r12297); mpfr_init(r12298); mpfr_init(r12299); mpfr_init(r12300); mpfr_init(r12301); mpfr_init(r12302); } double f_dm(double x) { mpfr_set_d(r12238, x, MPFR_RNDN); ; mpfr_set_si(r12240, mpfr_cmp(r12238, r12239) <= 0, MPFR_RNDN); ; mpfr_set_si(r12242, mpfr_cmp(r12238, r12241) <= 0, MPFR_RNDN); mpfr_set_si(r12243, !mpfr_get_si(r12242, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r12244, mpfr_get_si(r12240, MPFR_RNDN) || mpfr_get_si(r12243, MPFR_RNDN), MPFR_RNDN); ; mpfr_mul(r12246, r12245, r12238, MPFR_RNDN); ; mpfr_pow(r12248, r12238, r12247, MPFR_RNDN); mpfr_div(r12249, r12246, r12248, MPFR_RNDN); ; mpfr_div(r12251, r12250, r12238, MPFR_RNDN); ; mpfr_mul(r12253, r12252, r12238, MPFR_RNDN); ; mpfr_pow(r12255, r12238, r12254, MPFR_RNDN); mpfr_div(r12256, r12253, r12255, MPFR_RNDN); mpfr_add(r12257, r12251, r12256, MPFR_RNDN); mpfr_add(r12258, r12249, r12257, MPFR_RNDN); ; mpfr_mul(r12260, r12238, r12238, MPFR_RNDN); mpfr_mul(r12261, r12260, r12260, MPFR_RNDN); mpfr_mul(r12262, r12261, r12260, MPFR_RNDN); mpfr_mul(r12263, r12262, r12260, MPFR_RNDN); mpfr_mul(r12264, r12260, r12263, MPFR_RNDN); mpfr_mul(r12265, r12259, r12264, MPFR_RNDN); ; mpfr_mul(r12267, r12266, r12261, MPFR_RNDN); ; mpfr_mul(r12269, r12268, r12260, MPFR_RNDN); ; mpfr_add(r12271, r12269, r12270, MPFR_RNDN); mpfr_add(r12272, r12267, r12271, MPFR_RNDN); ; mpfr_mul(r12274, r12262, r12273, MPFR_RNDN); mpfr_add(r12275, r12272, r12274, MPFR_RNDN); ; mpfr_mul(r12277, r12276, r12263, MPFR_RNDN); mpfr_add(r12278, r12275, r12277, MPFR_RNDN); mpfr_add(r12279, r12265, r12278, MPFR_RNDN); mpfr_mul(r12280, r12260, r12264, MPFR_RNDN); ; mpfr_mul(r12282, r12259, r12281, MPFR_RNDN); mpfr_mul(r12283, r12280, r12282, MPFR_RNDN); ; mpfr_mul(r12285, r12284, r12263, MPFR_RNDN); ; mpfr_mul(r12287, r12286, r12260, MPFR_RNDN); mpfr_add(r12288, r12287, r12270, MPFR_RNDN); ; mpfr_mul(r12290, r12289, r12261, MPFR_RNDN); mpfr_add(r12291, r12288, r12290, MPFR_RNDN); ; mpfr_mul(r12293, r12262, r12292, MPFR_RNDN); mpfr_add(r12294, r12291, r12293, MPFR_RNDN); mpfr_add(r12295, r12285, r12294, MPFR_RNDN); ; mpfr_mul(r12297, r12264, r12296, MPFR_RNDN); mpfr_add(r12298, r12295, r12297, MPFR_RNDN); mpfr_add(r12299, r12283, r12298, MPFR_RNDN); mpfr_div(r12300, r12279, r12299, MPFR_RNDN); mpfr_mul(r12301, r12300, r12238, MPFR_RNDN); if (mpfr_get_si(r12244, MPFR_RNDN)) { mpfr_set(r12302, r12258, MPFR_RNDN); } else { mpfr_set(r12302, r12301, MPFR_RNDN); }; return mpfr_get_d(r12302, MPFR_RNDN); }