#include #include #include #include #include char *name = "Toniolo and Linder, Equation (7)"; double f_if(float x, float l, float t) { float r8298 = 2; float r8299 = sqrt(r8298); float r8300 = t; float r8301 = r8299 * r8300; float r8302 = x; float r8303 = 1; float r8304 = r8302 + r8303; float r8305 = r8302 - r8303; float r8306 = r8304 / r8305; float r8307 = l; float r8308 = r8307 * r8307; float r8309 = r8300 * r8300; float r8310 = r8298 * r8309; float r8311 = r8308 + r8310; float r8312 = r8306 * r8311; float r8313 = r8312 - r8308; float r8314 = sqrt(r8313); float r8315 = r8301 / r8314; return r8315; } double f_id(double x, double l, double t) { double r8316 = 2; double r8317 = sqrt(r8316); double r8318 = t; double r8319 = r8317 * r8318; double r8320 = x; double r8321 = 1; double r8322 = r8320 + r8321; double r8323 = r8320 - r8321; double r8324 = r8322 / r8323; double r8325 = l; double r8326 = r8325 * r8325; double r8327 = r8318 * r8318; double r8328 = r8316 * r8327; double r8329 = r8326 + r8328; double r8330 = r8324 * r8329; double r8331 = r8330 - r8326; double r8332 = sqrt(r8331); double r8333 = r8319 / r8332; return r8333; } double f_of(float x, float l, float t) { float r8334 = t; float r8335 = -3.135428033554305e+38; bool r8336 = r8334 <= r8335; float r8337 = 2; float r8338 = sqrt(r8337); float r8339 = r8338 * r8334; float r8340 = x; float r8341 = r8337 / r8340; float r8342 = r8341 / r8340; float r8343 = r8334 / r8337; float r8344 = r8343 / r8338; float r8345 = r8334 / r8338; float r8346 = r8344 - r8345; float r8347 = -r8334; float r8348 = r8347 / r8338; float r8349 = r8338 * r8347; float r8350 = fma(r8341, r8348, r8349); float r8351 = fma(r8342, r8346, r8350); float r8352 = r8339 / r8351; float r8353 = 7.816992744642281e-237; bool r8354 = r8334 <= r8353; float r8355 = sqrt(r8338); float r8356 = r8355 * r8334; float r8357 = r8355 * r8356; float r8358 = l; float r8359 = r8358 / r8340; float r8360 = r8334 * r8334; float r8361 = fma(r8359, r8358, r8360); float r8362 = r8334 / r8340; float r8363 = 4; float r8364 = r8334 * r8363; float r8365 = r8362 * r8364; float r8366 = fma(r8337, r8361, r8365); float r8367 = sqrt(r8366); float r8368 = r8357 / r8367; float r8369 = 5.359160518218101e-211; bool r8370 = r8334 <= r8369; float r8371 = 2.7520790228050224e+141; bool r8372 = r8334 <= r8371; float r8373 = !r8372; bool r8374 = r8370 || r8373; float r8375 = r8341 / r8338; float r8376 = r8338 + r8375; float r8377 = r8376 * r8334; float r8378 = r8340 * r8340; float r8379 = r8345 / r8378; float r8380 = 1; float r8381 = r8380 - r8337; float r8382 = r8379 * r8381; float r8383 = r8377 - r8382; float r8384 = r8339 / r8383; float r8385 = cbrt(r8338); float r8386 = r8385 * r8385; float r8387 = r8334 * r8386; float r8388 = r8385 * r8387; float r8389 = r8388 / r8367; float r8390 = r8374 ? r8384 : r8389; float r8391 = r8354 ? r8368 : r8390; float r8392 = r8336 ? r8352 : r8391; return r8392; } double f_od(double x, double l, double t) { double r8393 = t; double r8394 = -3.135428033554305e+38; bool r8395 = r8393 <= r8394; double r8396 = 2; double r8397 = sqrt(r8396); double r8398 = r8397 * r8393; double r8399 = x; double r8400 = r8396 / r8399; double r8401 = r8400 / r8399; double r8402 = r8393 / r8396; double r8403 = r8402 / r8397; double r8404 = r8393 / r8397; double r8405 = r8403 - r8404; double r8406 = -r8393; double r8407 = r8406 / r8397; double r8408 = r8397 * r8406; double r8409 = fma(r8400, r8407, r8408); double r8410 = fma(r8401, r8405, r8409); double r8411 = r8398 / r8410; double r8412 = 7.816992744642281e-237; bool r8413 = r8393 <= r8412; double r8414 = sqrt(r8397); double r8415 = r8414 * r8393; double r8416 = r8414 * r8415; double r8417 = l; double r8418 = r8417 / r8399; double r8419 = r8393 * r8393; double r8420 = fma(r8418, r8417, r8419); double r8421 = r8393 / r8399; double r8422 = 4; double r8423 = r8393 * r8422; double r8424 = r8421 * r8423; double r8425 = fma(r8396, r8420, r8424); double r8426 = sqrt(r8425); double r8427 = r8416 / r8426; double r8428 = 5.359160518218101e-211; bool r8429 = r8393 <= r8428; double r8430 = 2.7520790228050224e+141; bool r8431 = r8393 <= r8430; double r8432 = !r8431; bool r8433 = r8429 || r8432; double r8434 = r8400 / r8397; double r8435 = r8397 + r8434; double r8436 = r8435 * r8393; double r8437 = r8399 * r8399; double r8438 = r8404 / r8437; double r8439 = 1; double r8440 = r8439 - r8396; double r8441 = r8438 * r8440; double r8442 = r8436 - r8441; double r8443 = r8398 / r8442; double r8444 = cbrt(r8397); double r8445 = r8444 * r8444; double r8446 = r8393 * r8445; double r8447 = r8444 * r8446; double r8448 = r8447 / r8426; double r8449 = r8433 ? r8443 : r8448; double r8450 = r8413 ? r8427 : r8449; double r8451 = r8395 ? r8411 : r8450; return r8451; } 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 r8452, r8453, r8454, r8455, r8456, r8457, r8458, r8459, r8460, r8461, r8462, r8463, r8464, r8465, r8466, r8467, r8468, r8469; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r8452, "2", 10, MPFR_RNDN); mpfr_init(r8453); mpfr_init(r8454); mpfr_init(r8455); mpfr_init(r8456); mpfr_init_set_str(r8457, "1", 10, MPFR_RNDN); mpfr_init(r8458); mpfr_init(r8459); mpfr_init(r8460); mpfr_init(r8461); mpfr_init(r8462); mpfr_init(r8463); mpfr_init(r8464); mpfr_init(r8465); mpfr_init(r8466); mpfr_init(r8467); mpfr_init(r8468); mpfr_init(r8469); } double f_im(double x, double l, double t) { ; mpfr_sqrt(r8453, r8452, MPFR_RNDN); mpfr_set_d(r8454, t, MPFR_RNDN); mpfr_mul(r8455, r8453, r8454, MPFR_RNDN); mpfr_set_d(r8456, x, MPFR_RNDN); ; mpfr_add(r8458, r8456, r8457, MPFR_RNDN); mpfr_sub(r8459, r8456, r8457, MPFR_RNDN); mpfr_div(r8460, r8458, r8459, MPFR_RNDN); mpfr_set_d(r8461, l, MPFR_RNDN); mpfr_mul(r8462, r8461, r8461, MPFR_RNDN); mpfr_mul(r8463, r8454, r8454, MPFR_RNDN); mpfr_mul(r8464, r8452, r8463, MPFR_RNDN); mpfr_add(r8465, r8462, r8464, MPFR_RNDN); mpfr_mul(r8466, r8460, r8465, MPFR_RNDN); mpfr_sub(r8467, r8466, r8462, MPFR_RNDN); mpfr_sqrt(r8468, r8467, MPFR_RNDN); mpfr_div(r8469, r8455, r8468, MPFR_RNDN); return mpfr_get_d(r8469, MPFR_RNDN); } static mpfr_t r8470, r8471, r8472, r8473, r8474, r8475, r8476, r8477, r8478, r8479, r8480, r8481, r8482, r8483, r8484, r8485, r8486, r8487, r8488, r8489, r8490, r8491, r8492, r8493, r8494, r8495, r8496, r8497, r8498, r8499, r8500, r8501, r8502, r8503, r8504, r8505, r8506, r8507, r8508, r8509, r8510, r8511, r8512, r8513, r8514, r8515, r8516, r8517, r8518, r8519, r8520, r8521, r8522, r8523, r8524, r8525, r8526, r8527, r8528; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init(r8470); mpfr_init_set_str(r8471, "-3.135428033554305e+38", 10, MPFR_RNDN); mpfr_init(r8472); mpfr_init_set_str(r8473, "2", 10, MPFR_RNDN); mpfr_init(r8474); mpfr_init(r8475); mpfr_init(r8476); mpfr_init(r8477); mpfr_init(r8478); mpfr_init(r8479); mpfr_init(r8480); mpfr_init(r8481); mpfr_init(r8482); mpfr_init(r8483); mpfr_init(r8484); mpfr_init(r8485); mpfr_init(r8486); mpfr_init(r8487); mpfr_init(r8488); mpfr_init_set_str(r8489, "7.816992744642281e-237", 10, MPFR_RNDN); mpfr_init(r8490); mpfr_init(r8491); mpfr_init(r8492); mpfr_init(r8493); mpfr_init(r8494); mpfr_init(r8495); mpfr_init(r8496); mpfr_init(r8497); mpfr_init(r8498); mpfr_init_set_str(r8499, "4", 10, MPFR_RNDN); mpfr_init(r8500); mpfr_init(r8501); mpfr_init(r8502); mpfr_init(r8503); mpfr_init(r8504); mpfr_init_set_str(r8505, "5.359160518218101e-211", 10, MPFR_RNDN); mpfr_init(r8506); mpfr_init_set_str(r8507, "2.7520790228050224e+141", 10, MPFR_RNDN); mpfr_init(r8508); mpfr_init(r8509); mpfr_init(r8510); mpfr_init(r8511); mpfr_init(r8512); mpfr_init(r8513); mpfr_init(r8514); mpfr_init(r8515); mpfr_init_set_str(r8516, "1", 10, MPFR_RNDN); mpfr_init(r8517); mpfr_init(r8518); mpfr_init(r8519); mpfr_init(r8520); mpfr_init(r8521); mpfr_init(r8522); mpfr_init(r8523); mpfr_init(r8524); mpfr_init(r8525); mpfr_init(r8526); mpfr_init(r8527); mpfr_init(r8528); } double f_fm(double x, double l, double t) { mpfr_set_d(r8470, t, MPFR_RNDN); ; mpfr_set_si(r8472, mpfr_cmp(r8470, r8471) <= 0, MPFR_RNDN); ; mpfr_sqrt(r8474, r8473, MPFR_RNDN); mpfr_mul(r8475, r8474, r8470, MPFR_RNDN); mpfr_set_d(r8476, x, MPFR_RNDN); mpfr_div(r8477, r8473, r8476, MPFR_RNDN); mpfr_div(r8478, r8477, r8476, MPFR_RNDN); mpfr_div(r8479, r8470, r8473, MPFR_RNDN); mpfr_div(r8480, r8479, r8474, MPFR_RNDN); mpfr_div(r8481, r8470, r8474, MPFR_RNDN); mpfr_sub(r8482, r8480, r8481, MPFR_RNDN); mpfr_neg(r8483, r8470, MPFR_RNDN); mpfr_div(r8484, r8483, r8474, MPFR_RNDN); mpfr_mul(r8485, r8474, r8483, MPFR_RNDN); mpfr_fma(r8486, r8477, r8484, r8485, MPFR_RNDN); mpfr_fma(r8487, r8478, r8482, r8486, MPFR_RNDN); mpfr_div(r8488, r8475, r8487, MPFR_RNDN); ; mpfr_set_si(r8490, mpfr_cmp(r8470, r8489) <= 0, MPFR_RNDN); mpfr_sqrt(r8491, r8474, MPFR_RNDN); mpfr_mul(r8492, r8491, r8470, MPFR_RNDN); mpfr_mul(r8493, r8491, r8492, MPFR_RNDN); mpfr_set_d(r8494, l, MPFR_RNDN); mpfr_div(r8495, r8494, r8476, MPFR_RNDN); mpfr_mul(r8496, r8470, r8470, MPFR_RNDN); mpfr_fma(r8497, r8495, r8494, r8496, MPFR_RNDN); mpfr_div(r8498, r8470, r8476, MPFR_RNDN); ; mpfr_mul(r8500, r8470, r8499, MPFR_RNDN); mpfr_mul(r8501, r8498, r8500, MPFR_RNDN); mpfr_fma(r8502, r8473, r8497, r8501, MPFR_RNDN); mpfr_sqrt(r8503, r8502, MPFR_RNDN); mpfr_div(r8504, r8493, r8503, MPFR_RNDN); ; mpfr_set_si(r8506, mpfr_cmp(r8470, r8505) <= 0, MPFR_RNDN); ; mpfr_set_si(r8508, mpfr_cmp(r8470, r8507) <= 0, MPFR_RNDN); mpfr_set_si(r8509, !mpfr_get_si(r8508, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r8510, mpfr_get_si(r8506, MPFR_RNDN) || mpfr_get_si(r8509, MPFR_RNDN), MPFR_RNDN); mpfr_div(r8511, r8477, r8474, MPFR_RNDN); mpfr_add(r8512, r8474, r8511, MPFR_RNDN); mpfr_mul(r8513, r8512, r8470, MPFR_RNDN); mpfr_mul(r8514, r8476, r8476, MPFR_RNDN); mpfr_div(r8515, r8481, r8514, MPFR_RNDN); ; mpfr_sub(r8517, r8516, r8473, MPFR_RNDN); mpfr_mul(r8518, r8515, r8517, MPFR_RNDN); mpfr_sub(r8519, r8513, r8518, MPFR_RNDN); mpfr_div(r8520, r8475, r8519, MPFR_RNDN); mpfr_cbrt(r8521, r8474, MPFR_RNDN); mpfr_mul(r8522, r8521, r8521, MPFR_RNDN); mpfr_mul(r8523, r8470, r8522, MPFR_RNDN); mpfr_mul(r8524, r8521, r8523, MPFR_RNDN); mpfr_div(r8525, r8524, r8503, MPFR_RNDN); if (mpfr_get_si(r8510, MPFR_RNDN)) { mpfr_set(r8526, r8520, MPFR_RNDN); } else { mpfr_set(r8526, r8525, MPFR_RNDN); }; if (mpfr_get_si(r8490, MPFR_RNDN)) { mpfr_set(r8527, r8504, MPFR_RNDN); } else { mpfr_set(r8527, r8526, MPFR_RNDN); }; if (mpfr_get_si(r8472, MPFR_RNDN)) { mpfr_set(r8528, r8488, MPFR_RNDN); } else { mpfr_set(r8528, r8527, MPFR_RNDN); }; return mpfr_get_d(r8528, MPFR_RNDN); } static mpfr_t r8529, r8530, r8531, r8532, r8533, r8534, r8535, r8536, r8537, r8538, r8539, r8540, r8541, r8542, r8543, r8544, r8545, r8546, r8547, r8548, r8549, r8550, r8551, r8552, r8553, r8554, r8555, r8556, r8557, r8558, r8559, r8560, r8561, r8562, r8563, r8564, r8565, r8566, r8567, r8568, r8569, r8570, r8571, r8572, r8573, r8574, r8575, r8576, r8577, r8578, r8579, r8580, r8581, r8582, r8583, r8584, r8585, r8586, r8587; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init(r8529); mpfr_init_set_str(r8530, "-3.135428033554305e+38", 10, MPFR_RNDN); mpfr_init(r8531); mpfr_init_set_str(r8532, "2", 10, MPFR_RNDN); mpfr_init(r8533); mpfr_init(r8534); mpfr_init(r8535); mpfr_init(r8536); mpfr_init(r8537); mpfr_init(r8538); mpfr_init(r8539); mpfr_init(r8540); mpfr_init(r8541); mpfr_init(r8542); mpfr_init(r8543); mpfr_init(r8544); mpfr_init(r8545); mpfr_init(r8546); mpfr_init(r8547); mpfr_init_set_str(r8548, "7.816992744642281e-237", 10, MPFR_RNDN); mpfr_init(r8549); mpfr_init(r8550); mpfr_init(r8551); mpfr_init(r8552); mpfr_init(r8553); mpfr_init(r8554); mpfr_init(r8555); mpfr_init(r8556); mpfr_init(r8557); mpfr_init_set_str(r8558, "4", 10, MPFR_RNDN); mpfr_init(r8559); mpfr_init(r8560); mpfr_init(r8561); mpfr_init(r8562); mpfr_init(r8563); mpfr_init_set_str(r8564, "5.359160518218101e-211", 10, MPFR_RNDN); mpfr_init(r8565); mpfr_init_set_str(r8566, "2.7520790228050224e+141", 10, MPFR_RNDN); mpfr_init(r8567); mpfr_init(r8568); mpfr_init(r8569); mpfr_init(r8570); mpfr_init(r8571); mpfr_init(r8572); mpfr_init(r8573); mpfr_init(r8574); mpfr_init_set_str(r8575, "1", 10, MPFR_RNDN); mpfr_init(r8576); mpfr_init(r8577); mpfr_init(r8578); mpfr_init(r8579); mpfr_init(r8580); mpfr_init(r8581); mpfr_init(r8582); mpfr_init(r8583); mpfr_init(r8584); mpfr_init(r8585); mpfr_init(r8586); mpfr_init(r8587); } double f_dm(double x, double l, double t) { mpfr_set_d(r8529, t, MPFR_RNDN); ; mpfr_set_si(r8531, mpfr_cmp(r8529, r8530) <= 0, MPFR_RNDN); ; mpfr_sqrt(r8533, r8532, MPFR_RNDN); mpfr_mul(r8534, r8533, r8529, MPFR_RNDN); mpfr_set_d(r8535, x, MPFR_RNDN); mpfr_div(r8536, r8532, r8535, MPFR_RNDN); mpfr_div(r8537, r8536, r8535, MPFR_RNDN); mpfr_div(r8538, r8529, r8532, MPFR_RNDN); mpfr_div(r8539, r8538, r8533, MPFR_RNDN); mpfr_div(r8540, r8529, r8533, MPFR_RNDN); mpfr_sub(r8541, r8539, r8540, MPFR_RNDN); mpfr_neg(r8542, r8529, MPFR_RNDN); mpfr_div(r8543, r8542, r8533, MPFR_RNDN); mpfr_mul(r8544, r8533, r8542, MPFR_RNDN); mpfr_fma(r8545, r8536, r8543, r8544, MPFR_RNDN); mpfr_fma(r8546, r8537, r8541, r8545, MPFR_RNDN); mpfr_div(r8547, r8534, r8546, MPFR_RNDN); ; mpfr_set_si(r8549, mpfr_cmp(r8529, r8548) <= 0, MPFR_RNDN); mpfr_sqrt(r8550, r8533, MPFR_RNDN); mpfr_mul(r8551, r8550, r8529, MPFR_RNDN); mpfr_mul(r8552, r8550, r8551, MPFR_RNDN); mpfr_set_d(r8553, l, MPFR_RNDN); mpfr_div(r8554, r8553, r8535, MPFR_RNDN); mpfr_mul(r8555, r8529, r8529, MPFR_RNDN); mpfr_fma(r8556, r8554, r8553, r8555, MPFR_RNDN); mpfr_div(r8557, r8529, r8535, MPFR_RNDN); ; mpfr_mul(r8559, r8529, r8558, MPFR_RNDN); mpfr_mul(r8560, r8557, r8559, MPFR_RNDN); mpfr_fma(r8561, r8532, r8556, r8560, MPFR_RNDN); mpfr_sqrt(r8562, r8561, MPFR_RNDN); mpfr_div(r8563, r8552, r8562, MPFR_RNDN); ; mpfr_set_si(r8565, mpfr_cmp(r8529, r8564) <= 0, MPFR_RNDN); ; mpfr_set_si(r8567, mpfr_cmp(r8529, r8566) <= 0, MPFR_RNDN); mpfr_set_si(r8568, !mpfr_get_si(r8567, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r8569, mpfr_get_si(r8565, MPFR_RNDN) || mpfr_get_si(r8568, MPFR_RNDN), MPFR_RNDN); mpfr_div(r8570, r8536, r8533, MPFR_RNDN); mpfr_add(r8571, r8533, r8570, MPFR_RNDN); mpfr_mul(r8572, r8571, r8529, MPFR_RNDN); mpfr_mul(r8573, r8535, r8535, MPFR_RNDN); mpfr_div(r8574, r8540, r8573, MPFR_RNDN); ; mpfr_sub(r8576, r8575, r8532, MPFR_RNDN); mpfr_mul(r8577, r8574, r8576, MPFR_RNDN); mpfr_sub(r8578, r8572, r8577, MPFR_RNDN); mpfr_div(r8579, r8534, r8578, MPFR_RNDN); mpfr_cbrt(r8580, r8533, MPFR_RNDN); mpfr_mul(r8581, r8580, r8580, MPFR_RNDN); mpfr_mul(r8582, r8529, r8581, MPFR_RNDN); mpfr_mul(r8583, r8580, r8582, MPFR_RNDN); mpfr_div(r8584, r8583, r8562, MPFR_RNDN); if (mpfr_get_si(r8569, MPFR_RNDN)) { mpfr_set(r8585, r8579, MPFR_RNDN); } else { mpfr_set(r8585, r8584, MPFR_RNDN); }; if (mpfr_get_si(r8549, MPFR_RNDN)) { mpfr_set(r8586, r8563, MPFR_RNDN); } else { mpfr_set(r8586, r8585, MPFR_RNDN); }; if (mpfr_get_si(r8531, MPFR_RNDN)) { mpfr_set(r8587, r8547, MPFR_RNDN); } else { mpfr_set(r8587, r8586, MPFR_RNDN); }; return mpfr_get_d(r8587, MPFR_RNDN); }