#include #include #include #include #include char *name = "Destination given bearing on a great circle"; double f_if(float lambda1, float phi1, float __attribute__((unused)) phi2, float delta, float theta) { float r23430 = lambda1; float r23431 = theta; float r23432 = sin(r23431); float r23433 = delta; float r23434 = sin(r23433); float r23435 = r23432 * r23434; float r23436 = phi1; float r23437 = cos(r23436); float r23438 = r23435 * r23437; float r23439 = cos(r23433); float r23440 = sin(r23436); float r23441 = r23440 * r23439; float r23442 = r23437 * r23434; float r23443 = cos(r23431); float r23444 = r23442 * r23443; float r23445 = r23441 + r23444; float r23446 = asin(r23445); float r23447 = sin(r23446); float r23448 = r23440 * r23447; float r23449 = r23439 - r23448; float r23450 = atan2(r23438, r23449); float r23451 = r23430 + r23450; return r23451; } double f_id(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) { double r23452 = lambda1; double r23453 = theta; double r23454 = sin(r23453); double r23455 = delta; double r23456 = sin(r23455); double r23457 = r23454 * r23456; double r23458 = phi1; double r23459 = cos(r23458); double r23460 = r23457 * r23459; double r23461 = cos(r23455); double r23462 = sin(r23458); double r23463 = r23462 * r23461; double r23464 = r23459 * r23456; double r23465 = cos(r23453); double r23466 = r23464 * r23465; double r23467 = r23463 + r23466; double r23468 = asin(r23467); double r23469 = sin(r23468); double r23470 = r23462 * r23469; double r23471 = r23461 - r23470; double r23472 = atan2(r23460, r23471); double r23473 = r23452 + r23472; return r23473; } double f_of(float lambda1, float phi1, float __attribute__((unused)) phi2, float delta, float theta) { float r23474 = delta; float r23475 = sin(r23474); float r23476 = phi1; float r23477 = cos(r23476); float r23478 = theta; float r23479 = sin(r23478); float r23480 = r23477 * r23479; float r23481 = r23475 * r23480; float r23482 = sin(r23476); float r23483 = -r23482; float r23484 = cos(r23478); float r23485 = r23477 * r23475; float r23486 = cos(r23474); float r23487 = r23482 * r23486; float r23488 = fma(r23484, r23485, r23487); float r23489 = asin(r23488); float r23490 = expm1(r23489); float r23491 = log1p(r23490); float r23492 = sin(r23491); float r23493 = fma(r23483, r23492, r23486); float r23494 = atan2(r23481, r23493); float r23495 = lambda1; float r23496 = r23494 + r23495; return r23496; } double f_od(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) { double r23497 = delta; double r23498 = sin(r23497); double r23499 = phi1; double r23500 = cos(r23499); double r23501 = theta; double r23502 = sin(r23501); double r23503 = r23500 * r23502; double r23504 = r23498 * r23503; double r23505 = sin(r23499); double r23506 = -r23505; double r23507 = cos(r23501); double r23508 = r23500 * r23498; double r23509 = cos(r23497); double r23510 = r23505 * r23509; double r23511 = fma(r23507, r23508, r23510); double r23512 = asin(r23511); double r23513 = expm1(r23512); double r23514 = log1p(r23513); double r23515 = sin(r23514); double r23516 = fma(r23506, r23515, r23509); double r23517 = atan2(r23504, r23516); double r23518 = lambda1; double r23519 = r23517 + r23518; return r23519; } 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 r23520, r23521, r23522, r23523, r23524, r23525, r23526, r23527, r23528, r23529, r23530, r23531, r23532, r23533, r23534, r23535, r23536, r23537, r23538, r23539, r23540, r23541; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r23520); mpfr_init(r23521); mpfr_init(r23522); mpfr_init(r23523); mpfr_init(r23524); mpfr_init(r23525); mpfr_init(r23526); mpfr_init(r23527); mpfr_init(r23528); mpfr_init(r23529); mpfr_init(r23530); mpfr_init(r23531); mpfr_init(r23532); mpfr_init(r23533); mpfr_init(r23534); mpfr_init(r23535); mpfr_init(r23536); mpfr_init(r23537); mpfr_init(r23538); mpfr_init(r23539); mpfr_init(r23540); mpfr_init(r23541); } double f_im(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) { mpfr_set_d(r23520, lambda1, MPFR_RNDN); mpfr_set_d(r23521, theta, MPFR_RNDN); mpfr_sin(r23522, r23521, MPFR_RNDN); mpfr_set_d(r23523, delta, MPFR_RNDN); mpfr_sin(r23524, r23523, MPFR_RNDN); mpfr_mul(r23525, r23522, r23524, MPFR_RNDN); mpfr_set_d(r23526, phi1, MPFR_RNDN); mpfr_cos(r23527, r23526, MPFR_RNDN); mpfr_mul(r23528, r23525, r23527, MPFR_RNDN); mpfr_cos(r23529, r23523, MPFR_RNDN); mpfr_sin(r23530, r23526, MPFR_RNDN); mpfr_mul(r23531, r23530, r23529, MPFR_RNDN); mpfr_mul(r23532, r23527, r23524, MPFR_RNDN); mpfr_cos(r23533, r23521, MPFR_RNDN); mpfr_mul(r23534, r23532, r23533, MPFR_RNDN); mpfr_add(r23535, r23531, r23534, MPFR_RNDN); mpfr_asin(r23536, r23535, MPFR_RNDN); mpfr_sin(r23537, r23536, MPFR_RNDN); mpfr_mul(r23538, r23530, r23537, MPFR_RNDN); mpfr_sub(r23539, r23529, r23538, MPFR_RNDN); mpfr_atan2(r23540, r23528, r23539, MPFR_RNDN); mpfr_add(r23541, r23520, r23540, MPFR_RNDN); return mpfr_get_d(r23541, MPFR_RNDN); } static mpfr_t r23542, r23543, r23544, r23545, r23546, r23547, r23548, r23549, r23550, r23551, r23552, r23553, r23554, r23555, r23556, r23557, r23558, r23559, r23560, r23561, r23562, r23563, r23564; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r23542); mpfr_init(r23543); mpfr_init(r23544); mpfr_init(r23545); mpfr_init(r23546); mpfr_init(r23547); mpfr_init(r23548); mpfr_init(r23549); mpfr_init(r23550); mpfr_init(r23551); mpfr_init(r23552); mpfr_init(r23553); mpfr_init(r23554); mpfr_init(r23555); mpfr_init(r23556); mpfr_init(r23557); mpfr_init(r23558); mpfr_init(r23559); mpfr_init(r23560); mpfr_init(r23561); mpfr_init(r23562); mpfr_init(r23563); mpfr_init(r23564); } double f_fm(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) { mpfr_set_d(r23542, delta, MPFR_RNDN); mpfr_sin(r23543, r23542, MPFR_RNDN); mpfr_set_d(r23544, phi1, MPFR_RNDN); mpfr_cos(r23545, r23544, MPFR_RNDN); mpfr_set_d(r23546, theta, MPFR_RNDN); mpfr_sin(r23547, r23546, MPFR_RNDN); mpfr_mul(r23548, r23545, r23547, MPFR_RNDN); mpfr_mul(r23549, r23543, r23548, MPFR_RNDN); mpfr_sin(r23550, r23544, MPFR_RNDN); mpfr_neg(r23551, r23550, MPFR_RNDN); mpfr_cos(r23552, r23546, MPFR_RNDN); mpfr_mul(r23553, r23545, r23543, MPFR_RNDN); mpfr_cos(r23554, r23542, MPFR_RNDN); mpfr_mul(r23555, r23550, r23554, MPFR_RNDN); mpfr_fma(r23556, r23552, r23553, r23555, MPFR_RNDN); mpfr_asin(r23557, r23556, MPFR_RNDN); mpfr_expm1(r23558, r23557, MPFR_RNDN); mpfr_log1p(r23559, r23558, MPFR_RNDN); mpfr_sin(r23560, r23559, MPFR_RNDN); mpfr_fma(r23561, r23551, r23560, r23554, MPFR_RNDN); mpfr_atan2(r23562, r23549, r23561, MPFR_RNDN); mpfr_set_d(r23563, lambda1, MPFR_RNDN); mpfr_add(r23564, r23562, r23563, MPFR_RNDN); return mpfr_get_d(r23564, MPFR_RNDN); } static mpfr_t r23565, r23566, r23567, r23568, r23569, r23570, r23571, r23572, r23573, r23574, r23575, r23576, r23577, r23578, r23579, r23580, r23581, r23582, r23583, r23584, r23585, r23586, r23587; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r23565); mpfr_init(r23566); mpfr_init(r23567); mpfr_init(r23568); mpfr_init(r23569); mpfr_init(r23570); mpfr_init(r23571); mpfr_init(r23572); mpfr_init(r23573); mpfr_init(r23574); mpfr_init(r23575); mpfr_init(r23576); mpfr_init(r23577); mpfr_init(r23578); mpfr_init(r23579); mpfr_init(r23580); mpfr_init(r23581); mpfr_init(r23582); mpfr_init(r23583); mpfr_init(r23584); mpfr_init(r23585); mpfr_init(r23586); mpfr_init(r23587); } double f_dm(double lambda1, double phi1, double __attribute__((unused)) phi2, double delta, double theta) { mpfr_set_d(r23565, delta, MPFR_RNDN); mpfr_sin(r23566, r23565, MPFR_RNDN); mpfr_set_d(r23567, phi1, MPFR_RNDN); mpfr_cos(r23568, r23567, MPFR_RNDN); mpfr_set_d(r23569, theta, MPFR_RNDN); mpfr_sin(r23570, r23569, MPFR_RNDN); mpfr_mul(r23571, r23568, r23570, MPFR_RNDN); mpfr_mul(r23572, r23566, r23571, MPFR_RNDN); mpfr_sin(r23573, r23567, MPFR_RNDN); mpfr_neg(r23574, r23573, MPFR_RNDN); mpfr_cos(r23575, r23569, MPFR_RNDN); mpfr_mul(r23576, r23568, r23566, MPFR_RNDN); mpfr_cos(r23577, r23565, MPFR_RNDN); mpfr_mul(r23578, r23573, r23577, MPFR_RNDN); mpfr_fma(r23579, r23575, r23576, r23578, MPFR_RNDN); mpfr_asin(r23580, r23579, MPFR_RNDN); mpfr_expm1(r23581, r23580, MPFR_RNDN); mpfr_log1p(r23582, r23581, MPFR_RNDN); mpfr_sin(r23583, r23582, MPFR_RNDN); mpfr_fma(r23584, r23574, r23583, r23577, MPFR_RNDN); mpfr_atan2(r23585, r23572, r23584, MPFR_RNDN); mpfr_set_d(r23586, lambda1, MPFR_RNDN); mpfr_add(r23587, r23585, r23586, MPFR_RNDN); return mpfr_get_d(r23587, MPFR_RNDN); }