#include #include #include #include #include char *name = "Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1"; double f_if(float x, float y, float z, float t, float a, float b) { float r58250 = x; float r58251 = y; float r58252 = 2.0; float r58253 = r58251 * r58252; float r58254 = 1.0; float r58255 = r58253 + r58254; float r58256 = z; float r58257 = r58255 * r58256; float r58258 = t; float r58259 = r58257 * r58258; float r58260 = 16.0; float r58261 = r58259 / r58260; float r58262 = cos(r58261); float r58263 = r58250 * r58262; float r58264 = a; float r58265 = r58264 * r58252; float r58266 = r58265 + r58254; float r58267 = b; float r58268 = r58266 * r58267; float r58269 = r58268 * r58258; float r58270 = r58269 / r58260; float r58271 = cos(r58270); float r58272 = r58263 * r58271; return r58272; } double f_id(double x, double y, double z, double t, double a, double b) { double r58273 = x; double r58274 = y; double r58275 = 2.0; double r58276 = r58274 * r58275; double r58277 = 1.0; double r58278 = r58276 + r58277; double r58279 = z; double r58280 = r58278 * r58279; double r58281 = t; double r58282 = r58280 * r58281; double r58283 = 16.0; double r58284 = r58282 / r58283; double r58285 = cos(r58284); double r58286 = r58273 * r58285; double r58287 = a; double r58288 = r58287 * r58275; double r58289 = r58288 + r58277; double r58290 = b; double r58291 = r58289 * r58290; double r58292 = r58291 * r58281; double r58293 = r58292 / r58283; double r58294 = cos(r58293); double r58295 = r58286 * r58294; return r58295; } double f_of(float x, float y, float z, float t, float __attribute__((unused)) a, float __attribute__((unused)) b) { float r58296 = x; float r58297 = 2.0; float r58298 = y; float r58299 = r58297 * r58298; float r58300 = 1.0; float r58301 = r58299 + r58300; float r58302 = 16.0; float r58303 = t; float r58304 = z; float r58305 = r58303 * r58304; float r58306 = r58302 / r58305; float r58307 = r58301 / r58306; float r58308 = cbrt(r58307); float r58309 = r58308 * r58308; float r58310 = cbrt(r58301); float r58311 = cbrt(r58306); float r58312 = r58310 / r58311; float r58313 = r58309 * r58312; float r58314 = cos(r58313); float r58315 = r58296 * r58314; return r58315; } double f_od(double x, double y, double z, double t, double __attribute__((unused)) a, double __attribute__((unused)) b) { double r58316 = x; double r58317 = 2.0; double r58318 = y; double r58319 = r58317 * r58318; double r58320 = 1.0; double r58321 = r58319 + r58320; double r58322 = 16.0; double r58323 = t; double r58324 = z; double r58325 = r58323 * r58324; double r58326 = r58322 / r58325; double r58327 = r58321 / r58326; double r58328 = cbrt(r58327); double r58329 = r58328 * r58328; double r58330 = cbrt(r58321); double r58331 = cbrt(r58326); double r58332 = r58330 / r58331; double r58333 = r58329 * r58332; double r58334 = cos(r58333); double r58335 = r58316 * r58334; return r58335; } 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 r58336, r58337, r58338, r58339, r58340, r58341, r58342, r58343, r58344, r58345, r58346, r58347, r58348, r58349, r58350, r58351, r58352, r58353, r58354, r58355, r58356, r58357, r58358; void setup_mpfr_f_im() { mpfr_set_default_prec(3216); mpfr_init(r58336); mpfr_init(r58337); mpfr_init_set_str(r58338, "2.0", 10, MPFR_RNDN); mpfr_init(r58339); mpfr_init_set_str(r58340, "1.0", 10, MPFR_RNDN); mpfr_init(r58341); mpfr_init(r58342); mpfr_init(r58343); mpfr_init(r58344); mpfr_init(r58345); mpfr_init_set_str(r58346, "16.0", 10, MPFR_RNDN); mpfr_init(r58347); mpfr_init(r58348); mpfr_init(r58349); mpfr_init(r58350); mpfr_init(r58351); mpfr_init(r58352); mpfr_init(r58353); mpfr_init(r58354); mpfr_init(r58355); mpfr_init(r58356); mpfr_init(r58357); mpfr_init(r58358); } double f_im(double x, double y, double z, double t, double a, double b) { mpfr_set_d(r58336, x, MPFR_RNDN); mpfr_set_d(r58337, y, MPFR_RNDN); ; mpfr_mul(r58339, r58337, r58338, MPFR_RNDN); ; mpfr_add(r58341, r58339, r58340, MPFR_RNDN); mpfr_set_d(r58342, z, MPFR_RNDN); mpfr_mul(r58343, r58341, r58342, MPFR_RNDN); mpfr_set_d(r58344, t, MPFR_RNDN); mpfr_mul(r58345, r58343, r58344, MPFR_RNDN); ; mpfr_div(r58347, r58345, r58346, MPFR_RNDN); mpfr_cos(r58348, r58347, MPFR_RNDN); mpfr_mul(r58349, r58336, r58348, MPFR_RNDN); mpfr_set_d(r58350, a, MPFR_RNDN); mpfr_mul(r58351, r58350, r58338, MPFR_RNDN); mpfr_add(r58352, r58351, r58340, MPFR_RNDN); mpfr_set_d(r58353, b, MPFR_RNDN); mpfr_mul(r58354, r58352, r58353, MPFR_RNDN); mpfr_mul(r58355, r58354, r58344, MPFR_RNDN); mpfr_div(r58356, r58355, r58346, MPFR_RNDN); mpfr_cos(r58357, r58356, MPFR_RNDN); mpfr_mul(r58358, r58349, r58357, MPFR_RNDN); return mpfr_get_d(r58358, MPFR_RNDN); } static mpfr_t r58359, r58360, r58361, r58362, r58363, r58364, r58365, r58366, r58367, r58368, r58369, r58370, r58371, r58372, r58373, r58374, r58375, r58376, r58377, r58378; void setup_mpfr_f_fm() { mpfr_set_default_prec(3216); mpfr_init(r58359); mpfr_init_set_str(r58360, "2.0", 10, MPFR_RNDN); mpfr_init(r58361); mpfr_init(r58362); mpfr_init_set_str(r58363, "1.0", 10, MPFR_RNDN); mpfr_init(r58364); mpfr_init_set_str(r58365, "16.0", 10, MPFR_RNDN); mpfr_init(r58366); mpfr_init(r58367); mpfr_init(r58368); mpfr_init(r58369); mpfr_init(r58370); mpfr_init(r58371); mpfr_init(r58372); mpfr_init(r58373); mpfr_init(r58374); mpfr_init(r58375); mpfr_init(r58376); mpfr_init(r58377); mpfr_init(r58378); } double f_fm(double x, double y, double z, double t, double __attribute__((unused)) a, double __attribute__((unused)) b) { mpfr_set_d(r58359, x, MPFR_RNDN); ; mpfr_set_d(r58361, y, MPFR_RNDN); mpfr_mul(r58362, r58360, r58361, MPFR_RNDN); ; mpfr_add(r58364, r58362, r58363, MPFR_RNDN); ; mpfr_set_d(r58366, t, MPFR_RNDN); mpfr_set_d(r58367, z, MPFR_RNDN); mpfr_mul(r58368, r58366, r58367, MPFR_RNDN); mpfr_div(r58369, r58365, r58368, MPFR_RNDN); mpfr_div(r58370, r58364, r58369, MPFR_RNDN); mpfr_cbrt(r58371, r58370, MPFR_RNDN); mpfr_mul(r58372, r58371, r58371, MPFR_RNDN); mpfr_cbrt(r58373, r58364, MPFR_RNDN); mpfr_cbrt(r58374, r58369, MPFR_RNDN); mpfr_div(r58375, r58373, r58374, MPFR_RNDN); mpfr_mul(r58376, r58372, r58375, MPFR_RNDN); mpfr_cos(r58377, r58376, MPFR_RNDN); mpfr_mul(r58378, r58359, r58377, MPFR_RNDN); return mpfr_get_d(r58378, MPFR_RNDN); } static mpfr_t r58379, r58380, r58381, r58382, r58383, r58384, r58385, r58386, r58387, r58388, r58389, r58390, r58391, r58392, r58393, r58394, r58395, r58396, r58397, r58398; void setup_mpfr_f_dm() { mpfr_set_default_prec(3216); mpfr_init(r58379); mpfr_init_set_str(r58380, "2.0", 10, MPFR_RNDN); mpfr_init(r58381); mpfr_init(r58382); mpfr_init_set_str(r58383, "1.0", 10, MPFR_RNDN); mpfr_init(r58384); mpfr_init_set_str(r58385, "16.0", 10, MPFR_RNDN); mpfr_init(r58386); mpfr_init(r58387); mpfr_init(r58388); mpfr_init(r58389); mpfr_init(r58390); mpfr_init(r58391); mpfr_init(r58392); mpfr_init(r58393); mpfr_init(r58394); mpfr_init(r58395); mpfr_init(r58396); mpfr_init(r58397); mpfr_init(r58398); } double f_dm(double x, double y, double z, double t, double __attribute__((unused)) a, double __attribute__((unused)) b) { mpfr_set_d(r58379, x, MPFR_RNDN); ; mpfr_set_d(r58381, y, MPFR_RNDN); mpfr_mul(r58382, r58380, r58381, MPFR_RNDN); ; mpfr_add(r58384, r58382, r58383, MPFR_RNDN); ; mpfr_set_d(r58386, t, MPFR_RNDN); mpfr_set_d(r58387, z, MPFR_RNDN); mpfr_mul(r58388, r58386, r58387, MPFR_RNDN); mpfr_div(r58389, r58385, r58388, MPFR_RNDN); mpfr_div(r58390, r58384, r58389, MPFR_RNDN); mpfr_cbrt(r58391, r58390, MPFR_RNDN); mpfr_mul(r58392, r58391, r58391, MPFR_RNDN); mpfr_cbrt(r58393, r58384, MPFR_RNDN); mpfr_cbrt(r58394, r58389, MPFR_RNDN); mpfr_div(r58395, r58393, r58394, MPFR_RNDN); mpfr_mul(r58396, r58392, r58395, MPFR_RNDN); mpfr_cos(r58397, r58396, MPFR_RNDN); mpfr_mul(r58398, r58379, r58397, MPFR_RNDN); return mpfr_get_d(r58398, MPFR_RNDN); }