#include #include #include #include #include char *name = "Linear.Matrix:det44 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 k, float y0, float y1, float y2, float y3, float y4, float y5) { float r16214 = x; float r16215 = y; float r16216 = r16214 * r16215; float r16217 = z; float r16218 = t; float r16219 = r16217 * r16218; float r16220 = r16216 - r16219; float r16221 = a; float r16222 = b; float r16223 = r16221 * r16222; float r16224 = c; float r16225 = i; float r16226 = r16224 * r16225; float r16227 = r16223 - r16226; float r16228 = r16220 * r16227; float r16229 = j; float r16230 = r16214 * r16229; float r16231 = k; float r16232 = r16217 * r16231; float r16233 = r16230 - r16232; float r16234 = y0; float r16235 = r16234 * r16222; float r16236 = y1; float r16237 = r16236 * r16225; float r16238 = r16235 - r16237; float r16239 = r16233 * r16238; float r16240 = r16228 - r16239; float r16241 = y2; float r16242 = r16214 * r16241; float r16243 = y3; float r16244 = r16217 * r16243; float r16245 = r16242 - r16244; float r16246 = r16234 * r16224; float r16247 = r16236 * r16221; float r16248 = r16246 - r16247; float r16249 = r16245 * r16248; float r16250 = r16240 + r16249; float r16251 = r16218 * r16229; float r16252 = r16215 * r16231; float r16253 = r16251 - r16252; float r16254 = y4; float r16255 = r16254 * r16222; float r16256 = y5; float r16257 = r16256 * r16225; float r16258 = r16255 - r16257; float r16259 = r16253 * r16258; float r16260 = r16250 + r16259; float r16261 = r16218 * r16241; float r16262 = r16215 * r16243; float r16263 = r16261 - r16262; float r16264 = r16254 * r16224; float r16265 = r16256 * r16221; float r16266 = r16264 - r16265; float r16267 = r16263 * r16266; float r16268 = r16260 - r16267; float r16269 = r16231 * r16241; float r16270 = r16229 * r16243; float r16271 = r16269 - r16270; float r16272 = r16254 * r16236; float r16273 = r16256 * r16234; float r16274 = r16272 - r16273; float r16275 = r16271 * r16274; float r16276 = r16268 + r16275; return r16276; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) { double r16277 = x; double r16278 = y; double r16279 = r16277 * r16278; double r16280 = z; double r16281 = t; double r16282 = r16280 * r16281; double r16283 = r16279 - r16282; double r16284 = a; double r16285 = b; double r16286 = r16284 * r16285; double r16287 = c; double r16288 = i; double r16289 = r16287 * r16288; double r16290 = r16286 - r16289; double r16291 = r16283 * r16290; double r16292 = j; double r16293 = r16277 * r16292; double r16294 = k; double r16295 = r16280 * r16294; double r16296 = r16293 - r16295; double r16297 = y0; double r16298 = r16297 * r16285; double r16299 = y1; double r16300 = r16299 * r16288; double r16301 = r16298 - r16300; double r16302 = r16296 * r16301; double r16303 = r16291 - r16302; double r16304 = y2; double r16305 = r16277 * r16304; double r16306 = y3; double r16307 = r16280 * r16306; double r16308 = r16305 - r16307; double r16309 = r16297 * r16287; double r16310 = r16299 * r16284; double r16311 = r16309 - r16310; double r16312 = r16308 * r16311; double r16313 = r16303 + r16312; double r16314 = r16281 * r16292; double r16315 = r16278 * r16294; double r16316 = r16314 - r16315; double r16317 = y4; double r16318 = r16317 * r16285; double r16319 = y5; double r16320 = r16319 * r16288; double r16321 = r16318 - r16320; double r16322 = r16316 * r16321; double r16323 = r16313 + r16322; double r16324 = r16281 * r16304; double r16325 = r16278 * r16306; double r16326 = r16324 - r16325; double r16327 = r16317 * r16287; double r16328 = r16319 * r16284; double r16329 = r16327 - r16328; double r16330 = r16326 * r16329; double r16331 = r16323 - r16330; double r16332 = r16294 * r16304; double r16333 = r16292 * r16306; double r16334 = r16332 - r16333; double r16335 = r16317 * r16299; double r16336 = r16319 * r16297; double r16337 = r16335 - r16336; double r16338 = r16334 * r16337; double r16339 = r16331 + r16338; return r16339; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i, float j, float k, float y0, float y1, float y2, float y3, float y4, float y5) { float r16340 = y4; float r16341 = y1; float r16342 = r16340 * r16341; float r16343 = y0; float r16344 = y5; float r16345 = r16343 * r16344; float r16346 = r16342 - r16345; float r16347 = y2; float r16348 = k; float r16349 = r16347 * r16348; float r16350 = j; float r16351 = y3; float r16352 = r16350 * r16351; float r16353 = r16349 - r16352; float r16354 = t; float r16355 = r16350 * r16354; float r16356 = y; float r16357 = r16356 * r16348; float r16358 = r16355 - r16357; float r16359 = b; float r16360 = r16340 * r16359; float r16361 = i; float r16362 = r16361 * r16344; float r16363 = r16360 - r16362; float r16364 = x; float r16365 = r16364 * r16347; float r16366 = z; float r16367 = r16366 * r16351; float r16368 = r16365 - r16367; float r16369 = cbrt(r16368); float r16370 = c; float r16371 = r16343 * r16370; float r16372 = a; float r16373 = r16372 * r16341; float r16374 = r16371 - r16373; float r16375 = cbrt(r16374); float r16376 = r16369 * r16375; float r16377 = r16376 * (r16376 * r16376); float r16378 = fma(r16358, r16363, r16377); float r16379 = fma(r16346, r16353, r16378); float r16380 = r16372 * r16359; float r16381 = r16361 * r16370; float r16382 = r16380 - r16381; float r16383 = r16356 * r16364; float r16384 = r16354 * r16366; float r16385 = r16383 - r16384; float r16386 = r16382 * r16385; float r16387 = r16350 * r16364; float r16388 = r16348 * r16366; float r16389 = r16387 - r16388; float r16390 = r16343 * r16359; float r16391 = r16341 * r16361; float r16392 = r16390 - r16391; float r16393 = r16354 * r16347; float r16394 = r16356 * r16351; float r16395 = r16393 - r16394; float r16396 = r16370 * r16340; float r16397 = r16372 * r16344; float r16398 = r16396 - r16397; float r16399 = r16395 * r16398; float r16400 = fma(r16389, r16392, r16399); float r16401 = r16386 - r16400; float r16402 = r16379 + r16401; return r16402; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) { double r16403 = y4; double r16404 = y1; double r16405 = r16403 * r16404; double r16406 = y0; double r16407 = y5; double r16408 = r16406 * r16407; double r16409 = r16405 - r16408; double r16410 = y2; double r16411 = k; double r16412 = r16410 * r16411; double r16413 = j; double r16414 = y3; double r16415 = r16413 * r16414; double r16416 = r16412 - r16415; double r16417 = t; double r16418 = r16413 * r16417; double r16419 = y; double r16420 = r16419 * r16411; double r16421 = r16418 - r16420; double r16422 = b; double r16423 = r16403 * r16422; double r16424 = i; double r16425 = r16424 * r16407; double r16426 = r16423 - r16425; double r16427 = x; double r16428 = r16427 * r16410; double r16429 = z; double r16430 = r16429 * r16414; double r16431 = r16428 - r16430; double r16432 = cbrt(r16431); double r16433 = c; double r16434 = r16406 * r16433; double r16435 = a; double r16436 = r16435 * r16404; double r16437 = r16434 - r16436; double r16438 = cbrt(r16437); double r16439 = r16432 * r16438; double r16440 = r16439 * (r16439 * r16439); double r16441 = fma(r16421, r16426, r16440); double r16442 = fma(r16409, r16416, r16441); double r16443 = r16435 * r16422; double r16444 = r16424 * r16433; double r16445 = r16443 - r16444; double r16446 = r16419 * r16427; double r16447 = r16417 * r16429; double r16448 = r16446 - r16447; double r16449 = r16445 * r16448; double r16450 = r16413 * r16427; double r16451 = r16411 * r16429; double r16452 = r16450 - r16451; double r16453 = r16406 * r16422; double r16454 = r16404 * r16424; double r16455 = r16453 - r16454; double r16456 = r16417 * r16410; double r16457 = r16419 * r16414; double r16458 = r16456 - r16457; double r16459 = r16433 * r16403; double r16460 = r16435 * r16407; double r16461 = r16459 - r16460; double r16462 = r16458 * r16461; double r16463 = fma(r16452, r16455, r16462); double r16464 = r16449 - r16463; double r16465 = r16442 + r16464; return r16465; } 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 r16466, r16467, r16468, r16469, r16470, r16471, r16472, r16473, r16474, r16475, r16476, r16477, r16478, r16479, r16480, r16481, r16482, r16483, r16484, r16485, r16486, r16487, r16488, r16489, r16490, r16491, r16492, r16493, r16494, r16495, r16496, r16497, r16498, r16499, r16500, r16501, r16502, r16503, r16504, r16505, r16506, r16507, r16508, r16509, r16510, r16511, r16512, r16513, r16514, r16515, r16516, r16517, r16518, r16519, r16520, r16521, r16522, r16523, r16524, r16525, r16526, r16527, r16528; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16466); mpfr_init(r16467); mpfr_init(r16468); mpfr_init(r16469); mpfr_init(r16470); mpfr_init(r16471); mpfr_init(r16472); mpfr_init(r16473); mpfr_init(r16474); mpfr_init(r16475); mpfr_init(r16476); mpfr_init(r16477); mpfr_init(r16478); mpfr_init(r16479); mpfr_init(r16480); mpfr_init(r16481); mpfr_init(r16482); mpfr_init(r16483); mpfr_init(r16484); mpfr_init(r16485); mpfr_init(r16486); mpfr_init(r16487); mpfr_init(r16488); mpfr_init(r16489); mpfr_init(r16490); mpfr_init(r16491); mpfr_init(r16492); mpfr_init(r16493); mpfr_init(r16494); mpfr_init(r16495); mpfr_init(r16496); mpfr_init(r16497); mpfr_init(r16498); mpfr_init(r16499); mpfr_init(r16500); mpfr_init(r16501); mpfr_init(r16502); mpfr_init(r16503); mpfr_init(r16504); mpfr_init(r16505); mpfr_init(r16506); mpfr_init(r16507); mpfr_init(r16508); mpfr_init(r16509); mpfr_init(r16510); mpfr_init(r16511); mpfr_init(r16512); mpfr_init(r16513); mpfr_init(r16514); mpfr_init(r16515); mpfr_init(r16516); mpfr_init(r16517); mpfr_init(r16518); mpfr_init(r16519); mpfr_init(r16520); mpfr_init(r16521); mpfr_init(r16522); mpfr_init(r16523); mpfr_init(r16524); mpfr_init(r16525); mpfr_init(r16526); mpfr_init(r16527); mpfr_init(r16528); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) { mpfr_set_d(r16466, x, MPFR_RNDN); mpfr_set_d(r16467, y, MPFR_RNDN); mpfr_mul(r16468, r16466, r16467, MPFR_RNDN); mpfr_set_d(r16469, z, MPFR_RNDN); mpfr_set_d(r16470, t, MPFR_RNDN); mpfr_mul(r16471, r16469, r16470, MPFR_RNDN); mpfr_sub(r16472, r16468, r16471, MPFR_RNDN); mpfr_set_d(r16473, a, MPFR_RNDN); mpfr_set_d(r16474, b, MPFR_RNDN); mpfr_mul(r16475, r16473, r16474, MPFR_RNDN); mpfr_set_d(r16476, c, MPFR_RNDN); mpfr_set_d(r16477, i, MPFR_RNDN); mpfr_mul(r16478, r16476, r16477, MPFR_RNDN); mpfr_sub(r16479, r16475, r16478, MPFR_RNDN); mpfr_mul(r16480, r16472, r16479, MPFR_RNDN); mpfr_set_d(r16481, j, MPFR_RNDN); mpfr_mul(r16482, r16466, r16481, MPFR_RNDN); mpfr_set_d(r16483, k, MPFR_RNDN); mpfr_mul(r16484, r16469, r16483, MPFR_RNDN); mpfr_sub(r16485, r16482, r16484, MPFR_RNDN); mpfr_set_d(r16486, y0, MPFR_RNDN); mpfr_mul(r16487, r16486, r16474, MPFR_RNDN); mpfr_set_d(r16488, y1, MPFR_RNDN); mpfr_mul(r16489, r16488, r16477, MPFR_RNDN); mpfr_sub(r16490, r16487, r16489, MPFR_RNDN); mpfr_mul(r16491, r16485, r16490, MPFR_RNDN); mpfr_sub(r16492, r16480, r16491, MPFR_RNDN); mpfr_set_d(r16493, y2, MPFR_RNDN); mpfr_mul(r16494, r16466, r16493, MPFR_RNDN); mpfr_set_d(r16495, y3, MPFR_RNDN); mpfr_mul(r16496, r16469, r16495, MPFR_RNDN); mpfr_sub(r16497, r16494, r16496, MPFR_RNDN); mpfr_mul(r16498, r16486, r16476, MPFR_RNDN); mpfr_mul(r16499, r16488, r16473, MPFR_RNDN); mpfr_sub(r16500, r16498, r16499, MPFR_RNDN); mpfr_mul(r16501, r16497, r16500, MPFR_RNDN); mpfr_add(r16502, r16492, r16501, MPFR_RNDN); mpfr_mul(r16503, r16470, r16481, MPFR_RNDN); mpfr_mul(r16504, r16467, r16483, MPFR_RNDN); mpfr_sub(r16505, r16503, r16504, MPFR_RNDN); mpfr_set_d(r16506, y4, MPFR_RNDN); mpfr_mul(r16507, r16506, r16474, MPFR_RNDN); mpfr_set_d(r16508, y5, MPFR_RNDN); mpfr_mul(r16509, r16508, r16477, MPFR_RNDN); mpfr_sub(r16510, r16507, r16509, MPFR_RNDN); mpfr_mul(r16511, r16505, r16510, MPFR_RNDN); mpfr_add(r16512, r16502, r16511, MPFR_RNDN); mpfr_mul(r16513, r16470, r16493, MPFR_RNDN); mpfr_mul(r16514, r16467, r16495, MPFR_RNDN); mpfr_sub(r16515, r16513, r16514, MPFR_RNDN); mpfr_mul(r16516, r16506, r16476, MPFR_RNDN); mpfr_mul(r16517, r16508, r16473, MPFR_RNDN); mpfr_sub(r16518, r16516, r16517, MPFR_RNDN); mpfr_mul(r16519, r16515, r16518, MPFR_RNDN); mpfr_sub(r16520, r16512, r16519, MPFR_RNDN); mpfr_mul(r16521, r16483, r16493, MPFR_RNDN); mpfr_mul(r16522, r16481, r16495, MPFR_RNDN); mpfr_sub(r16523, r16521, r16522, MPFR_RNDN); mpfr_mul(r16524, r16506, r16488, MPFR_RNDN); mpfr_mul(r16525, r16508, r16486, MPFR_RNDN); mpfr_sub(r16526, r16524, r16525, MPFR_RNDN); mpfr_mul(r16527, r16523, r16526, MPFR_RNDN); mpfr_add(r16528, r16520, r16527, MPFR_RNDN); return mpfr_get_d(r16528, MPFR_RNDN); } static mpfr_t r16529, r16530, r16531, r16532, r16533, r16534, r16535, r16536, r16537, r16538, r16539, r16540, r16541, r16542, r16543, r16544, r16545, r16546, r16547, r16548, r16549, r16550, r16551, r16552, r16553, r16554, r16555, r16556, r16557, r16558, r16559, r16560, r16561, r16562, r16563, r16564, r16565, r16566, r16567, r16568, r16569, r16570, r16571, r16572, r16573, r16574, r16575, r16576, r16577, r16578, r16579, r16580, r16581, r16582, r16583, r16584, r16585, r16586, r16587, r16588, r16589, r16590, r16591; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16529); mpfr_init(r16530); mpfr_init(r16531); mpfr_init(r16532); mpfr_init(r16533); mpfr_init(r16534); mpfr_init(r16535); mpfr_init(r16536); mpfr_init(r16537); mpfr_init(r16538); mpfr_init(r16539); mpfr_init(r16540); mpfr_init(r16541); mpfr_init(r16542); mpfr_init(r16543); mpfr_init(r16544); mpfr_init(r16545); mpfr_init(r16546); mpfr_init(r16547); mpfr_init(r16548); mpfr_init(r16549); mpfr_init(r16550); mpfr_init(r16551); mpfr_init(r16552); mpfr_init(r16553); mpfr_init(r16554); mpfr_init(r16555); mpfr_init(r16556); mpfr_init(r16557); mpfr_init(r16558); mpfr_init(r16559); mpfr_init(r16560); mpfr_init(r16561); mpfr_init(r16562); mpfr_init(r16563); mpfr_init(r16564); mpfr_init(r16565); mpfr_init(r16566); mpfr_init(r16567); mpfr_init(r16568); mpfr_init(r16569); mpfr_init(r16570); mpfr_init(r16571); mpfr_init(r16572); mpfr_init(r16573); mpfr_init(r16574); mpfr_init(r16575); mpfr_init(r16576); mpfr_init(r16577); mpfr_init(r16578); mpfr_init(r16579); mpfr_init(r16580); mpfr_init(r16581); mpfr_init(r16582); mpfr_init(r16583); mpfr_init(r16584); mpfr_init(r16585); mpfr_init(r16586); mpfr_init(r16587); mpfr_init(r16588); mpfr_init(r16589); mpfr_init(r16590); mpfr_init(r16591); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) { mpfr_set_d(r16529, y4, MPFR_RNDN); mpfr_set_d(r16530, y1, MPFR_RNDN); mpfr_mul(r16531, r16529, r16530, MPFR_RNDN); mpfr_set_d(r16532, y0, MPFR_RNDN); mpfr_set_d(r16533, y5, MPFR_RNDN); mpfr_mul(r16534, r16532, r16533, MPFR_RNDN); mpfr_sub(r16535, r16531, r16534, MPFR_RNDN); mpfr_set_d(r16536, y2, MPFR_RNDN); mpfr_set_d(r16537, k, MPFR_RNDN); mpfr_mul(r16538, r16536, r16537, MPFR_RNDN); mpfr_set_d(r16539, j, MPFR_RNDN); mpfr_set_d(r16540, y3, MPFR_RNDN); mpfr_mul(r16541, r16539, r16540, MPFR_RNDN); mpfr_sub(r16542, r16538, r16541, MPFR_RNDN); mpfr_set_d(r16543, t, MPFR_RNDN); mpfr_mul(r16544, r16539, r16543, MPFR_RNDN); mpfr_set_d(r16545, y, MPFR_RNDN); mpfr_mul(r16546, r16545, r16537, MPFR_RNDN); mpfr_sub(r16547, r16544, r16546, MPFR_RNDN); mpfr_set_d(r16548, b, MPFR_RNDN); mpfr_mul(r16549, r16529, r16548, MPFR_RNDN); mpfr_set_d(r16550, i, MPFR_RNDN); mpfr_mul(r16551, r16550, r16533, MPFR_RNDN); mpfr_sub(r16552, r16549, r16551, MPFR_RNDN); mpfr_set_d(r16553, x, MPFR_RNDN); mpfr_mul(r16554, r16553, r16536, MPFR_RNDN); mpfr_set_d(r16555, z, MPFR_RNDN); mpfr_mul(r16556, r16555, r16540, MPFR_RNDN); mpfr_sub(r16557, r16554, r16556, MPFR_RNDN); mpfr_cbrt(r16558, r16557, MPFR_RNDN); mpfr_set_d(r16559, c, MPFR_RNDN); mpfr_mul(r16560, r16532, r16559, MPFR_RNDN); mpfr_set_d(r16561, a, MPFR_RNDN); mpfr_mul(r16562, r16561, r16530, MPFR_RNDN); mpfr_sub(r16563, r16560, r16562, MPFR_RNDN); mpfr_cbrt(r16564, r16563, MPFR_RNDN); mpfr_mul(r16565, r16558, r16564, MPFR_RNDN); mpfr_mul(r16566, r16565, r16565, MPFR_RNDN); mpfr_mul(r16566, r16566, r16565, MPFR_RNDN); mpfr_fma(r16567, r16547, r16552, r16566, MPFR_RNDN); mpfr_fma(r16568, r16535, r16542, r16567, MPFR_RNDN); mpfr_mul(r16569, r16561, r16548, MPFR_RNDN); mpfr_mul(r16570, r16550, r16559, MPFR_RNDN); mpfr_sub(r16571, r16569, r16570, MPFR_RNDN); mpfr_mul(r16572, r16545, r16553, MPFR_RNDN); mpfr_mul(r16573, r16543, r16555, MPFR_RNDN); mpfr_sub(r16574, r16572, r16573, MPFR_RNDN); mpfr_mul(r16575, r16571, r16574, MPFR_RNDN); mpfr_mul(r16576, r16539, r16553, MPFR_RNDN); mpfr_mul(r16577, r16537, r16555, MPFR_RNDN); mpfr_sub(r16578, r16576, r16577, MPFR_RNDN); mpfr_mul(r16579, r16532, r16548, MPFR_RNDN); mpfr_mul(r16580, r16530, r16550, MPFR_RNDN); mpfr_sub(r16581, r16579, r16580, MPFR_RNDN); mpfr_mul(r16582, r16543, r16536, MPFR_RNDN); mpfr_mul(r16583, r16545, r16540, MPFR_RNDN); mpfr_sub(r16584, r16582, r16583, MPFR_RNDN); mpfr_mul(r16585, r16559, r16529, MPFR_RNDN); mpfr_mul(r16586, r16561, r16533, MPFR_RNDN); mpfr_sub(r16587, r16585, r16586, MPFR_RNDN); mpfr_mul(r16588, r16584, r16587, MPFR_RNDN); mpfr_fma(r16589, r16578, r16581, r16588, MPFR_RNDN); mpfr_sub(r16590, r16575, r16589, MPFR_RNDN); mpfr_add(r16591, r16568, r16590, MPFR_RNDN); return mpfr_get_d(r16591, MPFR_RNDN); } static mpfr_t r16592, r16593, r16594, r16595, r16596, r16597, r16598, r16599, r16600, r16601, r16602, r16603, r16604, r16605, r16606, r16607, r16608, r16609, r16610, r16611, r16612, r16613, r16614, r16615, r16616, r16617, r16618, r16619, r16620, r16621, r16622, r16623, r16624, r16625, r16626, r16627, r16628, r16629, r16630, r16631, r16632, r16633, r16634, r16635, r16636, r16637, r16638, r16639, r16640, r16641, r16642, r16643, r16644, r16645, r16646, r16647, r16648, r16649, r16650, r16651, r16652, r16653, r16654; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16592); mpfr_init(r16593); mpfr_init(r16594); mpfr_init(r16595); mpfr_init(r16596); mpfr_init(r16597); mpfr_init(r16598); mpfr_init(r16599); mpfr_init(r16600); mpfr_init(r16601); mpfr_init(r16602); mpfr_init(r16603); mpfr_init(r16604); mpfr_init(r16605); mpfr_init(r16606); mpfr_init(r16607); mpfr_init(r16608); mpfr_init(r16609); mpfr_init(r16610); mpfr_init(r16611); mpfr_init(r16612); mpfr_init(r16613); mpfr_init(r16614); mpfr_init(r16615); mpfr_init(r16616); mpfr_init(r16617); mpfr_init(r16618); mpfr_init(r16619); mpfr_init(r16620); mpfr_init(r16621); mpfr_init(r16622); mpfr_init(r16623); mpfr_init(r16624); mpfr_init(r16625); mpfr_init(r16626); mpfr_init(r16627); mpfr_init(r16628); mpfr_init(r16629); mpfr_init(r16630); mpfr_init(r16631); mpfr_init(r16632); mpfr_init(r16633); mpfr_init(r16634); mpfr_init(r16635); mpfr_init(r16636); mpfr_init(r16637); mpfr_init(r16638); mpfr_init(r16639); mpfr_init(r16640); mpfr_init(r16641); mpfr_init(r16642); mpfr_init(r16643); mpfr_init(r16644); mpfr_init(r16645); mpfr_init(r16646); mpfr_init(r16647); mpfr_init(r16648); mpfr_init(r16649); mpfr_init(r16650); mpfr_init(r16651); mpfr_init(r16652); mpfr_init(r16653); mpfr_init(r16654); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) { mpfr_set_d(r16592, y4, MPFR_RNDN); mpfr_set_d(r16593, y1, MPFR_RNDN); mpfr_mul(r16594, r16592, r16593, MPFR_RNDN); mpfr_set_d(r16595, y0, MPFR_RNDN); mpfr_set_d(r16596, y5, MPFR_RNDN); mpfr_mul(r16597, r16595, r16596, MPFR_RNDN); mpfr_sub(r16598, r16594, r16597, MPFR_RNDN); mpfr_set_d(r16599, y2, MPFR_RNDN); mpfr_set_d(r16600, k, MPFR_RNDN); mpfr_mul(r16601, r16599, r16600, MPFR_RNDN); mpfr_set_d(r16602, j, MPFR_RNDN); mpfr_set_d(r16603, y3, MPFR_RNDN); mpfr_mul(r16604, r16602, r16603, MPFR_RNDN); mpfr_sub(r16605, r16601, r16604, MPFR_RNDN); mpfr_set_d(r16606, t, MPFR_RNDN); mpfr_mul(r16607, r16602, r16606, MPFR_RNDN); mpfr_set_d(r16608, y, MPFR_RNDN); mpfr_mul(r16609, r16608, r16600, MPFR_RNDN); mpfr_sub(r16610, r16607, r16609, MPFR_RNDN); mpfr_set_d(r16611, b, MPFR_RNDN); mpfr_mul(r16612, r16592, r16611, MPFR_RNDN); mpfr_set_d(r16613, i, MPFR_RNDN); mpfr_mul(r16614, r16613, r16596, MPFR_RNDN); mpfr_sub(r16615, r16612, r16614, MPFR_RNDN); mpfr_set_d(r16616, x, MPFR_RNDN); mpfr_mul(r16617, r16616, r16599, MPFR_RNDN); mpfr_set_d(r16618, z, MPFR_RNDN); mpfr_mul(r16619, r16618, r16603, MPFR_RNDN); mpfr_sub(r16620, r16617, r16619, MPFR_RNDN); mpfr_cbrt(r16621, r16620, MPFR_RNDN); mpfr_set_d(r16622, c, MPFR_RNDN); mpfr_mul(r16623, r16595, r16622, MPFR_RNDN); mpfr_set_d(r16624, a, MPFR_RNDN); mpfr_mul(r16625, r16624, r16593, MPFR_RNDN); mpfr_sub(r16626, r16623, r16625, MPFR_RNDN); mpfr_cbrt(r16627, r16626, MPFR_RNDN); mpfr_mul(r16628, r16621, r16627, MPFR_RNDN); mpfr_mul(r16629, r16628, r16628, MPFR_RNDN); mpfr_mul(r16629, r16629, r16628, MPFR_RNDN); mpfr_fma(r16630, r16610, r16615, r16629, MPFR_RNDN); mpfr_fma(r16631, r16598, r16605, r16630, MPFR_RNDN); mpfr_mul(r16632, r16624, r16611, MPFR_RNDN); mpfr_mul(r16633, r16613, r16622, MPFR_RNDN); mpfr_sub(r16634, r16632, r16633, MPFR_RNDN); mpfr_mul(r16635, r16608, r16616, MPFR_RNDN); mpfr_mul(r16636, r16606, r16618, MPFR_RNDN); mpfr_sub(r16637, r16635, r16636, MPFR_RNDN); mpfr_mul(r16638, r16634, r16637, MPFR_RNDN); mpfr_mul(r16639, r16602, r16616, MPFR_RNDN); mpfr_mul(r16640, r16600, r16618, MPFR_RNDN); mpfr_sub(r16641, r16639, r16640, MPFR_RNDN); mpfr_mul(r16642, r16595, r16611, MPFR_RNDN); mpfr_mul(r16643, r16593, r16613, MPFR_RNDN); mpfr_sub(r16644, r16642, r16643, MPFR_RNDN); mpfr_mul(r16645, r16606, r16599, MPFR_RNDN); mpfr_mul(r16646, r16608, r16603, MPFR_RNDN); mpfr_sub(r16647, r16645, r16646, MPFR_RNDN); mpfr_mul(r16648, r16622, r16592, MPFR_RNDN); mpfr_mul(r16649, r16624, r16596, MPFR_RNDN); mpfr_sub(r16650, r16648, r16649, MPFR_RNDN); mpfr_mul(r16651, r16647, r16650, MPFR_RNDN); mpfr_fma(r16652, r16641, r16644, r16651, MPFR_RNDN); mpfr_sub(r16653, r16638, r16652, MPFR_RNDN); mpfr_add(r16654, r16631, r16653, MPFR_RNDN); return mpfr_get_d(r16654, MPFR_RNDN); }