#include #include #include #include #include char *name = "Hyperbolic arcsine"; double f_if(float x) { float r24279 = x; float r24280 = r24279 * r24279; float r24281 = 1; float r24282 = r24280 + r24281; float r24283 = sqrt(r24282); float r24284 = r24279 + r24283; float r24285 = log(r24284); return r24285; } double f_id(double x) { double r24286 = x; double r24287 = r24286 * r24286; double r24288 = 1; double r24289 = r24287 + r24288; double r24290 = sqrt(r24289); double r24291 = r24286 + r24290; double r24292 = log(r24291); return r24292; } double f_of(float x) { float r24293 = x; float r24294 = -1.0935924352558295; bool r24295 = r24293 <= r24294; float r24296 = 1/8; float r24297 = r24296 / r24293; float r24298 = r24293 * r24293; float r24299 = r24297 / r24298; float r24300 = 1/16; float r24301 = 5; float r24302 = pow(r24293, r24301); float r24303 = r24300 / r24302; float r24304 = 1/2; float r24305 = r24304 / r24293; float r24306 = r24303 + r24305; float r24307 = r24299 - r24306; float r24308 = log(r24307); float r24309 = 0.9491938807559078; bool r24310 = r24293 <= r24309; float r24311 = 3/40; float r24312 = r24311 * r24302; float r24313 = r24312 + r24293; float r24314 = 1/6; float r24315 = 3; float r24316 = pow(r24293, r24315); float r24317 = r24314 * r24316; float r24318 = r24313 - r24317; float r24319 = +inf.0; bool r24320 = r24293 <= r24319; float r24321 = r24293 + r24293; float r24322 = r24305 + r24321; float r24323 = r24322 - r24299; float r24324 = log(r24323); float r24325 = r24320 ? r24324 : r24324; float r24326 = r24310 ? r24318 : r24325; float r24327 = r24295 ? r24308 : r24326; return r24327; } double f_od(double x) { double r24328 = x; double r24329 = -1.0935924352558295; bool r24330 = r24328 <= r24329; double r24331 = 1/8; double r24332 = r24331 / r24328; double r24333 = r24328 * r24328; double r24334 = r24332 / r24333; double r24335 = 1/16; double r24336 = 5; double r24337 = pow(r24328, r24336); double r24338 = r24335 / r24337; double r24339 = 1/2; double r24340 = r24339 / r24328; double r24341 = r24338 + r24340; double r24342 = r24334 - r24341; double r24343 = log(r24342); double r24344 = 0.9491938807559078; bool r24345 = r24328 <= r24344; double r24346 = 3/40; double r24347 = r24346 * r24337; double r24348 = r24347 + r24328; double r24349 = 1/6; double r24350 = 3; double r24351 = pow(r24328, r24350); double r24352 = r24349 * r24351; double r24353 = r24348 - r24352; double r24354 = +inf.0; bool r24355 = r24328 <= r24354; double r24356 = r24328 + r24328; double r24357 = r24340 + r24356; double r24358 = r24357 - r24334; double r24359 = log(r24358); double r24360 = r24355 ? r24359 : r24359; double r24361 = r24345 ? r24353 : r24360; double r24362 = r24330 ? r24343 : r24361; return r24362; } 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 r24363, r24364, r24365, r24366, r24367, r24368, r24369; void setup_mpfr_f_im() { mpfr_set_default_prec(2448); mpfr_init(r24363); mpfr_init(r24364); mpfr_init_set_str(r24365, "1", 10, MPFR_RNDN); mpfr_init(r24366); mpfr_init(r24367); mpfr_init(r24368); mpfr_init(r24369); } double f_im(double x) { mpfr_set_d(r24363, x, MPFR_RNDN); mpfr_mul(r24364, r24363, r24363, MPFR_RNDN); ; mpfr_add(r24366, r24364, r24365, MPFR_RNDN); mpfr_sqrt(r24367, r24366, MPFR_RNDN); mpfr_add(r24368, r24363, r24367, MPFR_RNDN); mpfr_log(r24369, r24368, MPFR_RNDN); return mpfr_get_d(r24369, MPFR_RNDN); } static mpfr_t r24370, r24371, r24372, r24373, r24374, r24375, r24376, r24377, r24378, r24379, r24380, r24381, r24382, r24383, r24384, r24385, r24386, r24387, r24388, r24389, r24390, r24391, r24392, r24393, r24394, r24395, r24396, r24397, r24398, r24399, r24400, r24401, r24402, r24403, r24404; void setup_mpfr_f_fm() { mpfr_set_default_prec(2448); mpfr_init(r24370); mpfr_init_set_str(r24371, "-1.0935924352558295", 10, MPFR_RNDN); mpfr_init(r24372); mpfr_init_set_str(r24373, "1/8", 10, MPFR_RNDN); mpfr_init(r24374); mpfr_init(r24375); mpfr_init(r24376); mpfr_init_set_str(r24377, "1/16", 10, MPFR_RNDN); mpfr_init_set_str(r24378, "5", 10, MPFR_RNDN); mpfr_init(r24379); mpfr_init(r24380); mpfr_init_set_str(r24381, "1/2", 10, MPFR_RNDN); mpfr_init(r24382); mpfr_init(r24383); mpfr_init(r24384); mpfr_init(r24385); mpfr_init_set_str(r24386, "0.9491938807559078", 10, MPFR_RNDN); mpfr_init(r24387); mpfr_init_set_str(r24388, "3/40", 10, MPFR_RNDN); mpfr_init(r24389); mpfr_init(r24390); mpfr_init_set_str(r24391, "1/6", 10, MPFR_RNDN); mpfr_init_set_str(r24392, "3", 10, MPFR_RNDN); mpfr_init(r24393); mpfr_init(r24394); mpfr_init(r24395); mpfr_init_set_str(r24396, "+inf.0", 10, MPFR_RNDN); mpfr_init(r24397); mpfr_init(r24398); mpfr_init(r24399); mpfr_init(r24400); mpfr_init(r24401); mpfr_init(r24402); mpfr_init(r24403); mpfr_init(r24404); } double f_fm(double x) { mpfr_set_d(r24370, x, MPFR_RNDN); ; mpfr_set_si(r24372, mpfr_cmp(r24370, r24371) <= 0, MPFR_RNDN); ; mpfr_div(r24374, r24373, r24370, MPFR_RNDN); mpfr_mul(r24375, r24370, r24370, MPFR_RNDN); mpfr_div(r24376, r24374, r24375, MPFR_RNDN); ; ; mpfr_pow(r24379, r24370, r24378, MPFR_RNDN); mpfr_div(r24380, r24377, r24379, MPFR_RNDN); ; mpfr_div(r24382, r24381, r24370, MPFR_RNDN); mpfr_add(r24383, r24380, r24382, MPFR_RNDN); mpfr_sub(r24384, r24376, r24383, MPFR_RNDN); mpfr_log(r24385, r24384, MPFR_RNDN); ; mpfr_set_si(r24387, mpfr_cmp(r24370, r24386) <= 0, MPFR_RNDN); ; mpfr_mul(r24389, r24388, r24379, MPFR_RNDN); mpfr_add(r24390, r24389, r24370, MPFR_RNDN); ; ; mpfr_pow(r24393, r24370, r24392, MPFR_RNDN); mpfr_mul(r24394, r24391, r24393, MPFR_RNDN); mpfr_sub(r24395, r24390, r24394, MPFR_RNDN); ; mpfr_set_si(r24397, mpfr_cmp(r24370, r24396) <= 0, MPFR_RNDN); mpfr_add(r24398, r24370, r24370, MPFR_RNDN); mpfr_add(r24399, r24382, r24398, MPFR_RNDN); mpfr_sub(r24400, r24399, r24376, MPFR_RNDN); mpfr_log(r24401, r24400, MPFR_RNDN); if (mpfr_get_si(r24397, MPFR_RNDN)) { mpfr_set(r24402, r24401, MPFR_RNDN); } else { mpfr_set(r24402, r24401, MPFR_RNDN); }; if (mpfr_get_si(r24387, MPFR_RNDN)) { mpfr_set(r24403, r24395, MPFR_RNDN); } else { mpfr_set(r24403, r24402, MPFR_RNDN); }; if (mpfr_get_si(r24372, MPFR_RNDN)) { mpfr_set(r24404, r24385, MPFR_RNDN); } else { mpfr_set(r24404, r24403, MPFR_RNDN); }; return mpfr_get_d(r24404, MPFR_RNDN); } static mpfr_t r24405, r24406, r24407, r24408, r24409, r24410, r24411, r24412, r24413, r24414, r24415, r24416, r24417, r24418, r24419, r24420, r24421, r24422, r24423, r24424, r24425, r24426, r24427, r24428, r24429, r24430, r24431, r24432, r24433, r24434, r24435, r24436, r24437, r24438, r24439; void setup_mpfr_f_dm() { mpfr_set_default_prec(2448); mpfr_init(r24405); mpfr_init_set_str(r24406, "-1.0935924352558295", 10, MPFR_RNDN); mpfr_init(r24407); mpfr_init_set_str(r24408, "1/8", 10, MPFR_RNDN); mpfr_init(r24409); mpfr_init(r24410); mpfr_init(r24411); mpfr_init_set_str(r24412, "1/16", 10, MPFR_RNDN); mpfr_init_set_str(r24413, "5", 10, MPFR_RNDN); mpfr_init(r24414); mpfr_init(r24415); mpfr_init_set_str(r24416, "1/2", 10, MPFR_RNDN); mpfr_init(r24417); mpfr_init(r24418); mpfr_init(r24419); mpfr_init(r24420); mpfr_init_set_str(r24421, "0.9491938807559078", 10, MPFR_RNDN); mpfr_init(r24422); mpfr_init_set_str(r24423, "3/40", 10, MPFR_RNDN); mpfr_init(r24424); mpfr_init(r24425); mpfr_init_set_str(r24426, "1/6", 10, MPFR_RNDN); mpfr_init_set_str(r24427, "3", 10, MPFR_RNDN); mpfr_init(r24428); mpfr_init(r24429); mpfr_init(r24430); mpfr_init_set_str(r24431, "+inf.0", 10, MPFR_RNDN); mpfr_init(r24432); mpfr_init(r24433); mpfr_init(r24434); mpfr_init(r24435); mpfr_init(r24436); mpfr_init(r24437); mpfr_init(r24438); mpfr_init(r24439); } double f_dm(double x) { mpfr_set_d(r24405, x, MPFR_RNDN); ; mpfr_set_si(r24407, mpfr_cmp(r24405, r24406) <= 0, MPFR_RNDN); ; mpfr_div(r24409, r24408, r24405, MPFR_RNDN); mpfr_mul(r24410, r24405, r24405, MPFR_RNDN); mpfr_div(r24411, r24409, r24410, MPFR_RNDN); ; ; mpfr_pow(r24414, r24405, r24413, MPFR_RNDN); mpfr_div(r24415, r24412, r24414, MPFR_RNDN); ; mpfr_div(r24417, r24416, r24405, MPFR_RNDN); mpfr_add(r24418, r24415, r24417, MPFR_RNDN); mpfr_sub(r24419, r24411, r24418, MPFR_RNDN); mpfr_log(r24420, r24419, MPFR_RNDN); ; mpfr_set_si(r24422, mpfr_cmp(r24405, r24421) <= 0, MPFR_RNDN); ; mpfr_mul(r24424, r24423, r24414, MPFR_RNDN); mpfr_add(r24425, r24424, r24405, MPFR_RNDN); ; ; mpfr_pow(r24428, r24405, r24427, MPFR_RNDN); mpfr_mul(r24429, r24426, r24428, MPFR_RNDN); mpfr_sub(r24430, r24425, r24429, MPFR_RNDN); ; mpfr_set_si(r24432, mpfr_cmp(r24405, r24431) <= 0, MPFR_RNDN); mpfr_add(r24433, r24405, r24405, MPFR_RNDN); mpfr_add(r24434, r24417, r24433, MPFR_RNDN); mpfr_sub(r24435, r24434, r24411, MPFR_RNDN); mpfr_log(r24436, r24435, MPFR_RNDN); if (mpfr_get_si(r24432, MPFR_RNDN)) { mpfr_set(r24437, r24436, MPFR_RNDN); } else { mpfr_set(r24437, r24436, MPFR_RNDN); }; if (mpfr_get_si(r24422, MPFR_RNDN)) { mpfr_set(r24438, r24430, MPFR_RNDN); } else { mpfr_set(r24438, r24437, MPFR_RNDN); }; if (mpfr_get_si(r24407, MPFR_RNDN)) { mpfr_set(r24439, r24420, MPFR_RNDN); } else { mpfr_set(r24439, r24438, MPFR_RNDN); }; return mpfr_get_d(r24439, MPFR_RNDN); }