#include #include #include #include #include char *name = "Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3"; double f_if(float x, float y, float z, float t, float a) { float r17687 = x; float r17688 = y; float r17689 = z; float r17690 = r17688 - r17689; float r17691 = t; float r17692 = 1.0f; float r17693 = r17691 + r17692; float r17694 = r17693 - r17689; float r17695 = r17690 / r17694; float r17696 = a; float r17697 = r17696 - r17687; float r17698 = r17695 * r17697; float r17699 = r17687 + r17698; return r17699; } double f_id(double x, double y, double z, double t, double a) { double r17700 = x; double r17701 = y; double r17702 = z; double r17703 = r17701 - r17702; double r17704 = t; double r17705 = 1.0; double r17706 = r17704 + r17705; double r17707 = r17706 - r17702; double r17708 = r17703 / r17707; double r17709 = a; double r17710 = r17709 - r17700; double r17711 = r17708 * r17710; double r17712 = r17700 + r17711; return r17712; } double f_of(float x, float y, float z, float t, float a) { float r17713 = x; float r17714 = y; float r17715 = z; float r17716 = r17714 - r17715; float r17717 = t; float r17718 = 1.0f; float r17719 = r17717 + r17718; float r17720 = r17719 - r17715; float r17721 = r17716 / r17720; float r17722 = a; float r17723 = r17722 - r17713; float r17724 = r17721 * r17723; float r17725 = r17713 + r17724; float r17726 = -1.128474576789396e-36f; bool r17727 = r17725 <= r17726; float r17728 = r17718 + r17717; float r17729 = r17728 - r17715; float r17730 = 1.0f; float r17731 = pow(r17729, r17730); float r17732 = r17716 / r17731; float r17733 = r17723 * r17732; float r17734 = r17733 + r17713; float r17735 = 6.098567224514143e-39f; bool r17736 = r17725 <= r17735; float r17737 = r17713 - r17722; float r17738 = r17714 / r17715; float r17739 = fma(r17737, r17738, r17722); float r17740 = r17736 ? r17739 : r17734; float r17741 = r17727 ? r17734 : r17740; return r17741; } double f_od(double x, double y, double z, double t, double a) { double r17742 = x; double r17743 = y; double r17744 = z; double r17745 = r17743 - r17744; double r17746 = t; double r17747 = 1.0; double r17748 = r17746 + r17747; double r17749 = r17748 - r17744; double r17750 = r17745 / r17749; double r17751 = a; double r17752 = r17751 - r17742; double r17753 = r17750 * r17752; double r17754 = r17742 + r17753; double r17755 = -1.128474576789396e-36; bool r17756 = r17754 <= r17755; double r17757 = r17747 + r17746; double r17758 = r17757 - r17744; double r17759 = 1.0; double r17760 = pow(r17758, r17759); double r17761 = r17745 / r17760; double r17762 = r17752 * r17761; double r17763 = r17762 + r17742; double r17764 = 6.098567224514143e-39; bool r17765 = r17754 <= r17764; double r17766 = r17742 - r17751; double r17767 = r17743 / r17744; double r17768 = fma(r17766, r17767, r17751); double r17769 = r17765 ? r17768 : r17763; double r17770 = r17756 ? r17763 : r17769; return r17770; } 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 r17771, r17772, r17773, r17774, r17775, r17776, r17777, r17778, r17779, r17780, r17781, r17782, r17783; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17771); mpfr_init(r17772); mpfr_init(r17773); mpfr_init(r17774); mpfr_init(r17775); mpfr_init_set_str(r17776, "1.0", 10, MPFR_RNDN); mpfr_init(r17777); mpfr_init(r17778); mpfr_init(r17779); mpfr_init(r17780); mpfr_init(r17781); mpfr_init(r17782); mpfr_init(r17783); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r17771, x, MPFR_RNDN); mpfr_set_d(r17772, y, MPFR_RNDN); mpfr_set_d(r17773, z, MPFR_RNDN); mpfr_sub(r17774, r17772, r17773, MPFR_RNDN); mpfr_set_d(r17775, t, MPFR_RNDN); ; mpfr_add(r17777, r17775, r17776, MPFR_RNDN); mpfr_sub(r17778, r17777, r17773, MPFR_RNDN); mpfr_div(r17779, r17774, r17778, MPFR_RNDN); mpfr_set_d(r17780, a, MPFR_RNDN); mpfr_sub(r17781, r17780, r17771, MPFR_RNDN); mpfr_mul(r17782, r17779, r17781, MPFR_RNDN); mpfr_add(r17783, r17771, r17782, MPFR_RNDN); return mpfr_get_d(r17783, MPFR_RNDN); } static mpfr_t r17784, r17785, r17786, r17787, r17788, r17789, r17790, r17791, r17792, r17793, r17794, r17795, r17796, r17797, r17798, r17799, r17800, r17801, r17802, r17803, r17804, r17805, r17806, r17807, r17808, r17809, r17810, r17811, r17812; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17784); mpfr_init(r17785); mpfr_init(r17786); mpfr_init(r17787); mpfr_init(r17788); mpfr_init_set_str(r17789, "1.0", 10, MPFR_RNDN); mpfr_init(r17790); mpfr_init(r17791); mpfr_init(r17792); mpfr_init(r17793); mpfr_init(r17794); mpfr_init(r17795); mpfr_init(r17796); mpfr_init_set_str(r17797, "-1.1284746f-36", 10, MPFR_RNDN); mpfr_init(r17798); mpfr_init(r17799); mpfr_init(r17800); mpfr_init_set_str(r17801, "1", 10, MPFR_RNDN); mpfr_init(r17802); mpfr_init(r17803); mpfr_init(r17804); mpfr_init(r17805); mpfr_init_set_str(r17806, "6.098567f-39", 10, MPFR_RNDN); mpfr_init(r17807); mpfr_init(r17808); mpfr_init(r17809); mpfr_init(r17810); mpfr_init(r17811); mpfr_init(r17812); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r17784, x, MPFR_RNDN); mpfr_set_d(r17785, y, MPFR_RNDN); mpfr_set_d(r17786, z, MPFR_RNDN); mpfr_sub(r17787, r17785, r17786, MPFR_RNDN); mpfr_set_d(r17788, t, MPFR_RNDN); ; mpfr_add(r17790, r17788, r17789, MPFR_RNDN); mpfr_sub(r17791, r17790, r17786, MPFR_RNDN); mpfr_div(r17792, r17787, r17791, MPFR_RNDN); mpfr_set_d(r17793, a, MPFR_RNDN); mpfr_sub(r17794, r17793, r17784, MPFR_RNDN); mpfr_mul(r17795, r17792, r17794, MPFR_RNDN); mpfr_add(r17796, r17784, r17795, MPFR_RNDN); ; mpfr_set_si(r17798, mpfr_cmp(r17796, r17797) <= 0, MPFR_RNDN); mpfr_add(r17799, r17789, r17788, MPFR_RNDN); mpfr_sub(r17800, r17799, r17786, MPFR_RNDN); ; mpfr_pow(r17802, r17800, r17801, MPFR_RNDN); mpfr_div(r17803, r17787, r17802, MPFR_RNDN); mpfr_mul(r17804, r17794, r17803, MPFR_RNDN); mpfr_add(r17805, r17804, r17784, MPFR_RNDN); ; mpfr_set_si(r17807, mpfr_cmp(r17796, r17806) <= 0, MPFR_RNDN); mpfr_sub(r17808, r17784, r17793, MPFR_RNDN); mpfr_div(r17809, r17785, r17786, MPFR_RNDN); mpfr_fma(r17810, r17808, r17809, r17793, MPFR_RNDN); if (mpfr_get_si(r17807, MPFR_RNDN)) { mpfr_set(r17811, r17810, MPFR_RNDN); } else { mpfr_set(r17811, r17805, MPFR_RNDN); }; if (mpfr_get_si(r17798, MPFR_RNDN)) { mpfr_set(r17812, r17805, MPFR_RNDN); } else { mpfr_set(r17812, r17811, MPFR_RNDN); }; return mpfr_get_d(r17812, MPFR_RNDN); } static mpfr_t r17813, r17814, r17815, r17816, r17817, r17818, r17819, r17820, r17821, r17822, r17823, r17824, r17825, r17826, r17827, r17828, r17829, r17830, r17831, r17832, r17833, r17834, r17835, r17836, r17837, r17838, r17839, r17840, r17841; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17813); mpfr_init(r17814); mpfr_init(r17815); mpfr_init(r17816); mpfr_init(r17817); mpfr_init_set_str(r17818, "1.0", 10, MPFR_RNDN); mpfr_init(r17819); mpfr_init(r17820); mpfr_init(r17821); mpfr_init(r17822); mpfr_init(r17823); mpfr_init(r17824); mpfr_init(r17825); mpfr_init_set_str(r17826, "-1.1284746f-36", 10, MPFR_RNDN); mpfr_init(r17827); mpfr_init(r17828); mpfr_init(r17829); mpfr_init_set_str(r17830, "1", 10, MPFR_RNDN); mpfr_init(r17831); mpfr_init(r17832); mpfr_init(r17833); mpfr_init(r17834); mpfr_init_set_str(r17835, "6.098567f-39", 10, MPFR_RNDN); mpfr_init(r17836); mpfr_init(r17837); mpfr_init(r17838); mpfr_init(r17839); mpfr_init(r17840); mpfr_init(r17841); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r17813, x, MPFR_RNDN); mpfr_set_d(r17814, y, MPFR_RNDN); mpfr_set_d(r17815, z, MPFR_RNDN); mpfr_sub(r17816, r17814, r17815, MPFR_RNDN); mpfr_set_d(r17817, t, MPFR_RNDN); ; mpfr_add(r17819, r17817, r17818, MPFR_RNDN); mpfr_sub(r17820, r17819, r17815, MPFR_RNDN); mpfr_div(r17821, r17816, r17820, MPFR_RNDN); mpfr_set_d(r17822, a, MPFR_RNDN); mpfr_sub(r17823, r17822, r17813, MPFR_RNDN); mpfr_mul(r17824, r17821, r17823, MPFR_RNDN); mpfr_add(r17825, r17813, r17824, MPFR_RNDN); ; mpfr_set_si(r17827, mpfr_cmp(r17825, r17826) <= 0, MPFR_RNDN); mpfr_add(r17828, r17818, r17817, MPFR_RNDN); mpfr_sub(r17829, r17828, r17815, MPFR_RNDN); ; mpfr_pow(r17831, r17829, r17830, MPFR_RNDN); mpfr_div(r17832, r17816, r17831, MPFR_RNDN); mpfr_mul(r17833, r17823, r17832, MPFR_RNDN); mpfr_add(r17834, r17833, r17813, MPFR_RNDN); ; mpfr_set_si(r17836, mpfr_cmp(r17825, r17835) <= 0, MPFR_RNDN); mpfr_sub(r17837, r17813, r17822, MPFR_RNDN); mpfr_div(r17838, r17814, r17815, MPFR_RNDN); mpfr_fma(r17839, r17837, r17838, r17822, MPFR_RNDN); if (mpfr_get_si(r17836, MPFR_RNDN)) { mpfr_set(r17840, r17839, MPFR_RNDN); } else { mpfr_set(r17840, r17834, MPFR_RNDN); }; if (mpfr_get_si(r17827, MPFR_RNDN)) { mpfr_set(r17841, r17834, MPFR_RNDN); } else { mpfr_set(r17841, r17840, MPFR_RNDN); }; return mpfr_get_d(r17841, MPFR_RNDN); }