#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 r31772 = x; float r31773 = y; float r31774 = z; float r31775 = r31773 - r31774; float r31776 = t; float r31777 = 1.0; float r31778 = r31776 + r31777; float r31779 = r31778 - r31774; float r31780 = r31775 / r31779; float r31781 = a; float r31782 = r31781 - r31772; float r31783 = r31780 * r31782; float r31784 = r31772 + r31783; return r31784; } double f_id(double x, double y, double z, double t, double a) { double r31785 = x; double r31786 = y; double r31787 = z; double r31788 = r31786 - r31787; double r31789 = t; double r31790 = 1.0; double r31791 = r31789 + r31790; double r31792 = r31791 - r31787; double r31793 = r31788 / r31792; double r31794 = a; double r31795 = r31794 - r31785; double r31796 = r31793 * r31795; double r31797 = r31785 + r31796; return r31797; } double f_of(float x, float y, float z, float t, float a) { float r31798 = x; float r31799 = 1; float r31800 = t; float r31801 = 1.0; float r31802 = r31800 + r31801; float r31803 = z; float r31804 = r31802 - r31803; float r31805 = cbrt(r31804); float r31806 = r31805 * r31805; float r31807 = r31799 / r31806; float r31808 = y; float r31809 = r31808 - r31803; float r31810 = r31809 / r31805; float r31811 = r31807 * r31810; float r31812 = a; float r31813 = r31812 - r31798; float r31814 = r31811 * r31813; float r31815 = r31798 + r31814; return r31815; } double f_od(double x, double y, double z, double t, double a) { double r31816 = x; double r31817 = 1; double r31818 = t; double r31819 = 1.0; double r31820 = r31818 + r31819; double r31821 = z; double r31822 = r31820 - r31821; double r31823 = cbrt(r31822); double r31824 = r31823 * r31823; double r31825 = r31817 / r31824; double r31826 = y; double r31827 = r31826 - r31821; double r31828 = r31827 / r31823; double r31829 = r31825 * r31828; double r31830 = a; double r31831 = r31830 - r31816; double r31832 = r31829 * r31831; double r31833 = r31816 + r31832; return r31833; } 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 r31834, r31835, r31836, r31837, r31838, r31839, r31840, r31841, r31842, r31843, r31844, r31845, r31846; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init(r31834); mpfr_init(r31835); mpfr_init(r31836); mpfr_init(r31837); mpfr_init(r31838); mpfr_init_set_str(r31839, "1.0", 10, MPFR_RNDN); mpfr_init(r31840); mpfr_init(r31841); mpfr_init(r31842); mpfr_init(r31843); mpfr_init(r31844); mpfr_init(r31845); mpfr_init(r31846); } double f_im(double x, double y, double z, double t, double a) { mpfr_set_d(r31834, x, MPFR_RNDN); mpfr_set_d(r31835, y, MPFR_RNDN); mpfr_set_d(r31836, z, MPFR_RNDN); mpfr_sub(r31837, r31835, r31836, MPFR_RNDN); mpfr_set_d(r31838, t, MPFR_RNDN); ; mpfr_add(r31840, r31838, r31839, MPFR_RNDN); mpfr_sub(r31841, r31840, r31836, MPFR_RNDN); mpfr_div(r31842, r31837, r31841, MPFR_RNDN); mpfr_set_d(r31843, a, MPFR_RNDN); mpfr_sub(r31844, r31843, r31834, MPFR_RNDN); mpfr_mul(r31845, r31842, r31844, MPFR_RNDN); mpfr_add(r31846, r31834, r31845, MPFR_RNDN); return mpfr_get_d(r31846, MPFR_RNDN); } static mpfr_t r31847, r31848, r31849, r31850, r31851, r31852, r31853, r31854, r31855, r31856, r31857, r31858, r31859, r31860, r31861, r31862, r31863, r31864; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init(r31847); mpfr_init_set_str(r31848, "1", 10, MPFR_RNDN); mpfr_init(r31849); mpfr_init_set_str(r31850, "1.0", 10, MPFR_RNDN); mpfr_init(r31851); mpfr_init(r31852); mpfr_init(r31853); mpfr_init(r31854); mpfr_init(r31855); mpfr_init(r31856); mpfr_init(r31857); mpfr_init(r31858); mpfr_init(r31859); mpfr_init(r31860); mpfr_init(r31861); mpfr_init(r31862); mpfr_init(r31863); mpfr_init(r31864); } double f_fm(double x, double y, double z, double t, double a) { mpfr_set_d(r31847, x, MPFR_RNDN); ; mpfr_set_d(r31849, t, MPFR_RNDN); ; mpfr_add(r31851, r31849, r31850, MPFR_RNDN); mpfr_set_d(r31852, z, MPFR_RNDN); mpfr_sub(r31853, r31851, r31852, MPFR_RNDN); mpfr_cbrt(r31854, r31853, MPFR_RNDN); mpfr_mul(r31855, r31854, r31854, MPFR_RNDN); mpfr_div(r31856, r31848, r31855, MPFR_RNDN); mpfr_set_d(r31857, y, MPFR_RNDN); mpfr_sub(r31858, r31857, r31852, MPFR_RNDN); mpfr_div(r31859, r31858, r31854, MPFR_RNDN); mpfr_mul(r31860, r31856, r31859, MPFR_RNDN); mpfr_set_d(r31861, a, MPFR_RNDN); mpfr_sub(r31862, r31861, r31847, MPFR_RNDN); mpfr_mul(r31863, r31860, r31862, MPFR_RNDN); mpfr_add(r31864, r31847, r31863, MPFR_RNDN); return mpfr_get_d(r31864, MPFR_RNDN); } static mpfr_t r31865, r31866, r31867, r31868, r31869, r31870, r31871, r31872, r31873, r31874, r31875, r31876, r31877, r31878, r31879, r31880, r31881, r31882; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r31865); mpfr_init_set_str(r31866, "1", 10, MPFR_RNDN); mpfr_init(r31867); mpfr_init_set_str(r31868, "1.0", 10, MPFR_RNDN); mpfr_init(r31869); mpfr_init(r31870); mpfr_init(r31871); mpfr_init(r31872); mpfr_init(r31873); mpfr_init(r31874); mpfr_init(r31875); mpfr_init(r31876); mpfr_init(r31877); mpfr_init(r31878); mpfr_init(r31879); mpfr_init(r31880); mpfr_init(r31881); mpfr_init(r31882); } double f_dm(double x, double y, double z, double t, double a) { mpfr_set_d(r31865, x, MPFR_RNDN); ; mpfr_set_d(r31867, t, MPFR_RNDN); ; mpfr_add(r31869, r31867, r31868, MPFR_RNDN); mpfr_set_d(r31870, z, MPFR_RNDN); mpfr_sub(r31871, r31869, r31870, MPFR_RNDN); mpfr_cbrt(r31872, r31871, MPFR_RNDN); mpfr_mul(r31873, r31872, r31872, MPFR_RNDN); mpfr_div(r31874, r31866, r31873, MPFR_RNDN); mpfr_set_d(r31875, y, MPFR_RNDN); mpfr_sub(r31876, r31875, r31870, MPFR_RNDN); mpfr_div(r31877, r31876, r31872, MPFR_RNDN); mpfr_mul(r31878, r31874, r31877, MPFR_RNDN); mpfr_set_d(r31879, a, MPFR_RNDN); mpfr_sub(r31880, r31879, r31865, MPFR_RNDN); mpfr_mul(r31881, r31878, r31880, MPFR_RNDN); mpfr_add(r31882, r31865, r31881, MPFR_RNDN); return mpfr_get_d(r31882, MPFR_RNDN); }