#include #include #include #include #include char *name = "Linear.Matrix:det33 from linear-1.19.1.3"; double f_if(float x, float y, float z, float t, float a, float b, float c, float i, float j) { float r16292 = x; float r16293 = y; float r16294 = z; float r16295 = r16293 * r16294; float r16296 = t; float r16297 = a; float r16298 = r16296 * r16297; float r16299 = r16295 - r16298; float r16300 = r16292 * r16299; float r16301 = b; float r16302 = c; float r16303 = r16302 * r16294; float r16304 = i; float r16305 = r16304 * r16297; float r16306 = r16303 - r16305; float r16307 = r16301 * r16306; float r16308 = r16300 - r16307; float r16309 = j; float r16310 = r16302 * r16296; float r16311 = r16304 * r16293; float r16312 = r16310 - r16311; float r16313 = r16309 * r16312; float r16314 = r16308 + r16313; return r16314; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i, double j) { double r16315 = x; double r16316 = y; double r16317 = z; double r16318 = r16316 * r16317; double r16319 = t; double r16320 = a; double r16321 = r16319 * r16320; double r16322 = r16318 - r16321; double r16323 = r16315 * r16322; double r16324 = b; double r16325 = c; double r16326 = r16325 * r16317; double r16327 = i; double r16328 = r16327 * r16320; double r16329 = r16326 - r16328; double r16330 = r16324 * r16329; double r16331 = r16323 - r16330; double r16332 = j; double r16333 = r16325 * r16319; double r16334 = r16327 * r16316; double r16335 = r16333 - r16334; double r16336 = r16332 * r16335; double r16337 = r16331 + r16336; return r16337; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i, float j) { float r16338 = j; float r16339 = t; float r16340 = c; float r16341 = r16339 * r16340; float r16342 = y; float r16343 = i; float r16344 = r16342 * r16343; float r16345 = r16341 - r16344; float r16346 = r16338 * r16345; float r16347 = z; float r16348 = r16347 * r16342; float r16349 = a; float r16350 = r16349 * r16339; float r16351 = r16348 - r16350; float r16352 = x; float r16353 = r16351 * r16352; float r16354 = b; float r16355 = r16340 * r16347; float r16356 = r16343 * r16349; float r16357 = r16355 - r16356; float r16358 = r16354 * r16357; float r16359 = r16353 - r16358; float r16360 = r16346 + r16359; return r16360; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i, double j) { double r16361 = j; double r16362 = t; double r16363 = c; double r16364 = r16362 * r16363; double r16365 = y; double r16366 = i; double r16367 = r16365 * r16366; double r16368 = r16364 - r16367; double r16369 = r16361 * r16368; double r16370 = z; double r16371 = r16370 * r16365; double r16372 = a; double r16373 = r16372 * r16362; double r16374 = r16371 - r16373; double r16375 = x; double r16376 = r16374 * r16375; double r16377 = b; double r16378 = r16363 * r16370; double r16379 = r16366 * r16372; double r16380 = r16378 - r16379; double r16381 = r16377 * r16380; double r16382 = r16376 - r16381; double r16383 = r16369 + r16382; return r16383; } 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 r16384, r16385, r16386, r16387, r16388, r16389, r16390, r16391, r16392, r16393, r16394, r16395, r16396, r16397, r16398, r16399, r16400, r16401, r16402, r16403, r16404, r16405, r16406; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16384); mpfr_init(r16385); mpfr_init(r16386); mpfr_init(r16387); mpfr_init(r16388); mpfr_init(r16389); mpfr_init(r16390); mpfr_init(r16391); mpfr_init(r16392); mpfr_init(r16393); mpfr_init(r16394); mpfr_init(r16395); mpfr_init(r16396); mpfr_init(r16397); mpfr_init(r16398); mpfr_init(r16399); mpfr_init(r16400); mpfr_init(r16401); mpfr_init(r16402); mpfr_init(r16403); mpfr_init(r16404); mpfr_init(r16405); mpfr_init(r16406); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i, double j) { mpfr_set_d(r16384, x, MPFR_RNDN); mpfr_set_d(r16385, y, MPFR_RNDN); mpfr_set_d(r16386, z, MPFR_RNDN); mpfr_mul(r16387, r16385, r16386, MPFR_RNDN); mpfr_set_d(r16388, t, MPFR_RNDN); mpfr_set_d(r16389, a, MPFR_RNDN); mpfr_mul(r16390, r16388, r16389, MPFR_RNDN); mpfr_sub(r16391, r16387, r16390, MPFR_RNDN); mpfr_mul(r16392, r16384, r16391, MPFR_RNDN); mpfr_set_d(r16393, b, MPFR_RNDN); mpfr_set_d(r16394, c, MPFR_RNDN); mpfr_mul(r16395, r16394, r16386, MPFR_RNDN); mpfr_set_d(r16396, i, MPFR_RNDN); mpfr_mul(r16397, r16396, r16389, MPFR_RNDN); mpfr_sub(r16398, r16395, r16397, MPFR_RNDN); mpfr_mul(r16399, r16393, r16398, MPFR_RNDN); mpfr_sub(r16400, r16392, r16399, MPFR_RNDN); mpfr_set_d(r16401, j, MPFR_RNDN); mpfr_mul(r16402, r16394, r16388, MPFR_RNDN); mpfr_mul(r16403, r16396, r16385, MPFR_RNDN); mpfr_sub(r16404, r16402, r16403, MPFR_RNDN); mpfr_mul(r16405, r16401, r16404, MPFR_RNDN); mpfr_add(r16406, r16400, r16405, MPFR_RNDN); return mpfr_get_d(r16406, MPFR_RNDN); } static mpfr_t r16407, r16408, r16409, r16410, r16411, r16412, r16413, r16414, r16415, r16416, r16417, r16418, r16419, r16420, r16421, r16422, r16423, r16424, r16425, r16426, r16427, r16428, r16429; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16407); mpfr_init(r16408); mpfr_init(r16409); mpfr_init(r16410); mpfr_init(r16411); mpfr_init(r16412); mpfr_init(r16413); mpfr_init(r16414); mpfr_init(r16415); mpfr_init(r16416); mpfr_init(r16417); mpfr_init(r16418); mpfr_init(r16419); mpfr_init(r16420); mpfr_init(r16421); mpfr_init(r16422); mpfr_init(r16423); mpfr_init(r16424); mpfr_init(r16425); mpfr_init(r16426); mpfr_init(r16427); mpfr_init(r16428); mpfr_init(r16429); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i, double j) { mpfr_set_d(r16407, j, MPFR_RNDN); mpfr_set_d(r16408, t, MPFR_RNDN); mpfr_set_d(r16409, c, MPFR_RNDN); mpfr_mul(r16410, r16408, r16409, MPFR_RNDN); mpfr_set_d(r16411, y, MPFR_RNDN); mpfr_set_d(r16412, i, MPFR_RNDN); mpfr_mul(r16413, r16411, r16412, MPFR_RNDN); mpfr_sub(r16414, r16410, r16413, MPFR_RNDN); mpfr_mul(r16415, r16407, r16414, MPFR_RNDN); mpfr_set_d(r16416, z, MPFR_RNDN); mpfr_mul(r16417, r16416, r16411, MPFR_RNDN); mpfr_set_d(r16418, a, MPFR_RNDN); mpfr_mul(r16419, r16418, r16408, MPFR_RNDN); mpfr_sub(r16420, r16417, r16419, MPFR_RNDN); mpfr_set_d(r16421, x, MPFR_RNDN); mpfr_mul(r16422, r16420, r16421, MPFR_RNDN); mpfr_set_d(r16423, b, MPFR_RNDN); mpfr_mul(r16424, r16409, r16416, MPFR_RNDN); mpfr_mul(r16425, r16412, r16418, MPFR_RNDN); mpfr_sub(r16426, r16424, r16425, MPFR_RNDN); mpfr_mul(r16427, r16423, r16426, MPFR_RNDN); mpfr_sub(r16428, r16422, r16427, MPFR_RNDN); mpfr_add(r16429, r16415, r16428, MPFR_RNDN); return mpfr_get_d(r16429, MPFR_RNDN); } static mpfr_t r16430, r16431, r16432, r16433, r16434, r16435, r16436, r16437, r16438, r16439, r16440, r16441, r16442, r16443, r16444, r16445, r16446, r16447, r16448, r16449, r16450, r16451, r16452; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16430); mpfr_init(r16431); mpfr_init(r16432); mpfr_init(r16433); mpfr_init(r16434); mpfr_init(r16435); mpfr_init(r16436); mpfr_init(r16437); mpfr_init(r16438); mpfr_init(r16439); mpfr_init(r16440); mpfr_init(r16441); mpfr_init(r16442); mpfr_init(r16443); mpfr_init(r16444); mpfr_init(r16445); mpfr_init(r16446); mpfr_init(r16447); mpfr_init(r16448); mpfr_init(r16449); mpfr_init(r16450); mpfr_init(r16451); mpfr_init(r16452); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i, double j) { mpfr_set_d(r16430, j, MPFR_RNDN); mpfr_set_d(r16431, t, MPFR_RNDN); mpfr_set_d(r16432, c, MPFR_RNDN); mpfr_mul(r16433, r16431, r16432, MPFR_RNDN); mpfr_set_d(r16434, y, MPFR_RNDN); mpfr_set_d(r16435, i, MPFR_RNDN); mpfr_mul(r16436, r16434, r16435, MPFR_RNDN); mpfr_sub(r16437, r16433, r16436, MPFR_RNDN); mpfr_mul(r16438, r16430, r16437, MPFR_RNDN); mpfr_set_d(r16439, z, MPFR_RNDN); mpfr_mul(r16440, r16439, r16434, MPFR_RNDN); mpfr_set_d(r16441, a, MPFR_RNDN); mpfr_mul(r16442, r16441, r16431, MPFR_RNDN); mpfr_sub(r16443, r16440, r16442, MPFR_RNDN); mpfr_set_d(r16444, x, MPFR_RNDN); mpfr_mul(r16445, r16443, r16444, MPFR_RNDN); mpfr_set_d(r16446, b, MPFR_RNDN); mpfr_mul(r16447, r16432, r16439, MPFR_RNDN); mpfr_mul(r16448, r16435, r16441, MPFR_RNDN); mpfr_sub(r16449, r16447, r16448, MPFR_RNDN); mpfr_mul(r16450, r16446, r16449, MPFR_RNDN); mpfr_sub(r16451, r16445, r16450, MPFR_RNDN); mpfr_add(r16452, r16438, r16451, MPFR_RNDN); return mpfr_get_d(r16452, MPFR_RNDN); }