#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

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 r17277 = x;
        float r17278 = y;
        float r17279 = z;
        float r17280 = r17278 * r17279;
        float r17281 = t;
        float r17282 = a;
        float r17283 = r17281 * r17282;
        float r17284 = r17280 - r17283;
        float r17285 = r17277 * r17284;
        float r17286 = b;
        float r17287 = c;
        float r17288 = r17287 * r17279;
        float r17289 = i;
        float r17290 = r17289 * r17282;
        float r17291 = r17288 - r17290;
        float r17292 = r17286 * r17291;
        float r17293 = r17285 - r17292;
        float r17294 = j;
        float r17295 = r17287 * r17281;
        float r17296 = r17289 * r17278;
        float r17297 = r17295 - r17296;
        float r17298 = r17294 * r17297;
        float r17299 = r17293 + r17298;
        return r17299;
}

double f_id(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
        double r17300 = x;
        double r17301 = y;
        double r17302 = z;
        double r17303 = r17301 * r17302;
        double r17304 = t;
        double r17305 = a;
        double r17306 = r17304 * r17305;
        double r17307 = r17303 - r17306;
        double r17308 = r17300 * r17307;
        double r17309 = b;
        double r17310 = c;
        double r17311 = r17310 * r17302;
        double r17312 = i;
        double r17313 = r17312 * r17305;
        double r17314 = r17311 - r17313;
        double r17315 = r17309 * r17314;
        double r17316 = r17308 - r17315;
        double r17317 = j;
        double r17318 = r17310 * r17304;
        double r17319 = r17312 * r17301;
        double r17320 = r17318 - r17319;
        double r17321 = r17317 * r17320;
        double r17322 = r17316 + r17321;
        return r17322;
}


double f_of(float x, float y, float z, float t, float a, float b, float c, float i, float j) {
        float r17323 = t;
        float r17324 = -2.3261362532781434e-32f;
        bool r17325 = r17323 <= r17324;
        float r17326 = j;
        float r17327 = -r17326;
        float r17328 = i;
        float r17329 = y;
        float r17330 = r17328 * r17329;
        float r17331 = r17327 * r17330;
        float r17332 = z;
        float r17333 = r17332 * r17329;
        float r17334 = x;
        float r17335 = r17333 * r17334;
        float r17336 = r17331 + r17335;
        float r17337 = a;
        float r17338 = r17337 * r17334;
        float r17339 = c;
        float r17340 = r17339 * r17326;
        float r17341 = r17338 - r17340;
        float r17342 = r17341 * r17323;
        float r17343 = b;
        float r17344 = r17339 * r17332;
        float r17345 = r17337 * r17328;
        float r17346 = r17344 - r17345;
        float r17347 = r17343 * r17346;
        float r17348 = r17342 + r17347;
        float r17349 = r17336 - r17348;
        float r17350 = 3.46326635565916e-121f;
        bool r17351 = r17323 <= r17350;
        float r17352 = -r17329;
        float r17353 = r17328 * r17326;
        float r17354 = r17352 * r17353;
        float r17355 = r17326 * r17323;
        float r17356 = r17339 * r17355;
        float r17357 = r17354 + r17356;
        float r17358 = r17329 * r17332;
        float r17359 = r17323 * r17337;
        float r17360 = r17358 - r17359;
        float r17361 = r17360 * r17334;
        float r17362 = r17328 * r17337;
        float r17363 = r17344 - r17362;
        float r17364 = r17343 * r17363;
        float r17365 = r17361 - r17364;
        float r17366 = r17357 + r17365;
        float r17367 = r17351 ? r17366 : r17349;
        float r17368 = r17325 ? r17349 : r17367;
        return r17368;
}

double f_od(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
        double r17369 = t;
        double r17370 = -2.3261362532781434e-32;
        bool r17371 = r17369 <= r17370;
        double r17372 = j;
        double r17373 = -r17372;
        double r17374 = i;
        double r17375 = y;
        double r17376 = r17374 * r17375;
        double r17377 = r17373 * r17376;
        double r17378 = z;
        double r17379 = r17378 * r17375;
        double r17380 = x;
        double r17381 = r17379 * r17380;
        double r17382 = r17377 + r17381;
        double r17383 = a;
        double r17384 = r17383 * r17380;
        double r17385 = c;
        double r17386 = r17385 * r17372;
        double r17387 = r17384 - r17386;
        double r17388 = r17387 * r17369;
        double r17389 = b;
        double r17390 = r17385 * r17378;
        double r17391 = r17383 * r17374;
        double r17392 = r17390 - r17391;
        double r17393 = r17389 * r17392;
        double r17394 = r17388 + r17393;
        double r17395 = r17382 - r17394;
        double r17396 = 3.46326635565916e-121;
        bool r17397 = r17369 <= r17396;
        double r17398 = -r17375;
        double r17399 = r17374 * r17372;
        double r17400 = r17398 * r17399;
        double r17401 = r17372 * r17369;
        double r17402 = r17385 * r17401;
        double r17403 = r17400 + r17402;
        double r17404 = r17375 * r17378;
        double r17405 = r17369 * r17383;
        double r17406 = r17404 - r17405;
        double r17407 = r17406 * r17380;
        double r17408 = r17374 * r17383;
        double r17409 = r17390 - r17408;
        double r17410 = r17389 * r17409;
        double r17411 = r17407 - r17410;
        double r17412 = r17403 + r17411;
        double r17413 = r17397 ? r17412 : r17395;
        double r17414 = r17371 ? r17395 : r17413;
        return r17414;
}

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 r17415, r17416, r17417, r17418, r17419, r17420, r17421, r17422, r17423, r17424, r17425, r17426, r17427, r17428, r17429, r17430, r17431, r17432, r17433, r17434, r17435, r17436, r17437;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r17415);
        mpfr_init(r17416);
        mpfr_init(r17417);
        mpfr_init(r17418);
        mpfr_init(r17419);
        mpfr_init(r17420);
        mpfr_init(r17421);
        mpfr_init(r17422);
        mpfr_init(r17423);
        mpfr_init(r17424);
        mpfr_init(r17425);
        mpfr_init(r17426);
        mpfr_init(r17427);
        mpfr_init(r17428);
        mpfr_init(r17429);
        mpfr_init(r17430);
        mpfr_init(r17431);
        mpfr_init(r17432);
        mpfr_init(r17433);
        mpfr_init(r17434);
        mpfr_init(r17435);
        mpfr_init(r17436);
        mpfr_init(r17437);
}

double f_im(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
        mpfr_set_d(r17415, x, MPFR_RNDN);
        mpfr_set_d(r17416, y, MPFR_RNDN);
        mpfr_set_d(r17417, z, MPFR_RNDN);
        mpfr_mul(r17418, r17416, r17417, MPFR_RNDN);
        mpfr_set_d(r17419, t, MPFR_RNDN);
        mpfr_set_d(r17420, a, MPFR_RNDN);
        mpfr_mul(r17421, r17419, r17420, MPFR_RNDN);
        mpfr_sub(r17422, r17418, r17421, MPFR_RNDN);
        mpfr_mul(r17423, r17415, r17422, MPFR_RNDN);
        mpfr_set_d(r17424, b, MPFR_RNDN);
        mpfr_set_d(r17425, c, MPFR_RNDN);
        mpfr_mul(r17426, r17425, r17417, MPFR_RNDN);
        mpfr_set_d(r17427, i, MPFR_RNDN);
        mpfr_mul(r17428, r17427, r17420, MPFR_RNDN);
        mpfr_sub(r17429, r17426, r17428, MPFR_RNDN);
        mpfr_mul(r17430, r17424, r17429, MPFR_RNDN);
        mpfr_sub(r17431, r17423, r17430, MPFR_RNDN);
        mpfr_set_d(r17432, j, MPFR_RNDN);
        mpfr_mul(r17433, r17425, r17419, MPFR_RNDN);
        mpfr_mul(r17434, r17427, r17416, MPFR_RNDN);
        mpfr_sub(r17435, r17433, r17434, MPFR_RNDN);
        mpfr_mul(r17436, r17432, r17435, MPFR_RNDN);
        mpfr_add(r17437, r17431, r17436, MPFR_RNDN);
        return mpfr_get_d(r17437, MPFR_RNDN);
}

static mpfr_t r17438, r17439, r17440, r17441, r17442, r17443, r17444, r17445, r17446, r17447, r17448, r17449, r17450, r17451, r17452, r17453, r17454, r17455, r17456, r17457, r17458, r17459, r17460, r17461, r17462, r17463, r17464, r17465, r17466, r17467, r17468, r17469, r17470, r17471, r17472, r17473, r17474, r17475, r17476, r17477, r17478, r17479, r17480, r17481, r17482, r17483;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17438);
        mpfr_init_set_str(r17439, "-2.3261362532781434e-32", 10, MPFR_RNDN);
        mpfr_init(r17440);
        mpfr_init(r17441);
        mpfr_init(r17442);
        mpfr_init(r17443);
        mpfr_init(r17444);
        mpfr_init(r17445);
        mpfr_init(r17446);
        mpfr_init(r17447);
        mpfr_init(r17448);
        mpfr_init(r17449);
        mpfr_init(r17450);
        mpfr_init(r17451);
        mpfr_init(r17452);
        mpfr_init(r17453);
        mpfr_init(r17454);
        mpfr_init(r17455);
        mpfr_init(r17456);
        mpfr_init(r17457);
        mpfr_init(r17458);
        mpfr_init(r17459);
        mpfr_init(r17460);
        mpfr_init(r17461);
        mpfr_init(r17462);
        mpfr_init(r17463);
        mpfr_init(r17464);
        mpfr_init_set_str(r17465, "3.46326635565916e-121", 10, MPFR_RNDN);
        mpfr_init(r17466);
        mpfr_init(r17467);
        mpfr_init(r17468);
        mpfr_init(r17469);
        mpfr_init(r17470);
        mpfr_init(r17471);
        mpfr_init(r17472);
        mpfr_init(r17473);
        mpfr_init(r17474);
        mpfr_init(r17475);
        mpfr_init(r17476);
        mpfr_init(r17477);
        mpfr_init(r17478);
        mpfr_init(r17479);
        mpfr_init(r17480);
        mpfr_init(r17481);
        mpfr_init(r17482);
        mpfr_init(r17483);
}

double f_fm(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
        mpfr_set_d(r17438, t, MPFR_RNDN);
        ;
        mpfr_set_si(r17440, mpfr_cmp(r17438, r17439) <= 0, MPFR_RNDN);
        mpfr_set_d(r17441, j, MPFR_RNDN);
        mpfr_neg(r17442, r17441, MPFR_RNDN);
        mpfr_set_d(r17443, i, MPFR_RNDN);
        mpfr_set_d(r17444, y, MPFR_RNDN);
        mpfr_mul(r17445, r17443, r17444, MPFR_RNDN);
        mpfr_mul(r17446, r17442, r17445, MPFR_RNDN);
        mpfr_set_d(r17447, z, MPFR_RNDN);
        mpfr_mul(r17448, r17447, r17444, MPFR_RNDN);
        mpfr_set_d(r17449, x, MPFR_RNDN);
        mpfr_mul(r17450, r17448, r17449, MPFR_RNDN);
        mpfr_add(r17451, r17446, r17450, MPFR_RNDN);
        mpfr_set_d(r17452, a, MPFR_RNDN);
        mpfr_mul(r17453, r17452, r17449, MPFR_RNDN);
        mpfr_set_d(r17454, c, MPFR_RNDN);
        mpfr_mul(r17455, r17454, r17441, MPFR_RNDN);
        mpfr_sub(r17456, r17453, r17455, MPFR_RNDN);
        mpfr_mul(r17457, r17456, r17438, MPFR_RNDN);
        mpfr_set_d(r17458, b, MPFR_RNDN);
        mpfr_mul(r17459, r17454, r17447, MPFR_RNDN);
        mpfr_mul(r17460, r17452, r17443, MPFR_RNDN);
        mpfr_sub(r17461, r17459, r17460, MPFR_RNDN);
        mpfr_mul(r17462, r17458, r17461, MPFR_RNDN);
        mpfr_add(r17463, r17457, r17462, MPFR_RNDN);
        mpfr_sub(r17464, r17451, r17463, MPFR_RNDN);
        ;
        mpfr_set_si(r17466, mpfr_cmp(r17438, r17465) <= 0, MPFR_RNDN);
        mpfr_neg(r17467, r17444, MPFR_RNDN);
        mpfr_mul(r17468, r17443, r17441, MPFR_RNDN);
        mpfr_mul(r17469, r17467, r17468, MPFR_RNDN);
        mpfr_mul(r17470, r17441, r17438, MPFR_RNDN);
        mpfr_mul(r17471, r17454, r17470, MPFR_RNDN);
        mpfr_add(r17472, r17469, r17471, MPFR_RNDN);
        mpfr_mul(r17473, r17444, r17447, MPFR_RNDN);
        mpfr_mul(r17474, r17438, r17452, MPFR_RNDN);
        mpfr_sub(r17475, r17473, r17474, MPFR_RNDN);
        mpfr_mul(r17476, r17475, r17449, MPFR_RNDN);
        mpfr_mul(r17477, r17443, r17452, MPFR_RNDN);
        mpfr_sub(r17478, r17459, r17477, MPFR_RNDN);
        mpfr_mul(r17479, r17458, r17478, MPFR_RNDN);
        mpfr_sub(r17480, r17476, r17479, MPFR_RNDN);
        mpfr_add(r17481, r17472, r17480, MPFR_RNDN);
        if (mpfr_get_si(r17466, MPFR_RNDN)) { mpfr_set(r17482, r17481, MPFR_RNDN); } else { mpfr_set(r17482, r17464, MPFR_RNDN); };
        if (mpfr_get_si(r17440, MPFR_RNDN)) { mpfr_set(r17483, r17464, MPFR_RNDN); } else { mpfr_set(r17483, r17482, MPFR_RNDN); };
        return mpfr_get_d(r17483, MPFR_RNDN);
}

static mpfr_t r17484, r17485, r17486, r17487, r17488, r17489, r17490, r17491, r17492, r17493, r17494, r17495, r17496, r17497, r17498, r17499, r17500, r17501, r17502, r17503, r17504, r17505, r17506, r17507, r17508, r17509, r17510, r17511, r17512, r17513, r17514, r17515, r17516, r17517, r17518, r17519, r17520, r17521, r17522, r17523, r17524, r17525, r17526, r17527, r17528, r17529;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r17484);
        mpfr_init_set_str(r17485, "-2.3261362532781434e-32", 10, MPFR_RNDN);
        mpfr_init(r17486);
        mpfr_init(r17487);
        mpfr_init(r17488);
        mpfr_init(r17489);
        mpfr_init(r17490);
        mpfr_init(r17491);
        mpfr_init(r17492);
        mpfr_init(r17493);
        mpfr_init(r17494);
        mpfr_init(r17495);
        mpfr_init(r17496);
        mpfr_init(r17497);
        mpfr_init(r17498);
        mpfr_init(r17499);
        mpfr_init(r17500);
        mpfr_init(r17501);
        mpfr_init(r17502);
        mpfr_init(r17503);
        mpfr_init(r17504);
        mpfr_init(r17505);
        mpfr_init(r17506);
        mpfr_init(r17507);
        mpfr_init(r17508);
        mpfr_init(r17509);
        mpfr_init(r17510);
        mpfr_init_set_str(r17511, "3.46326635565916e-121", 10, MPFR_RNDN);
        mpfr_init(r17512);
        mpfr_init(r17513);
        mpfr_init(r17514);
        mpfr_init(r17515);
        mpfr_init(r17516);
        mpfr_init(r17517);
        mpfr_init(r17518);
        mpfr_init(r17519);
        mpfr_init(r17520);
        mpfr_init(r17521);
        mpfr_init(r17522);
        mpfr_init(r17523);
        mpfr_init(r17524);
        mpfr_init(r17525);
        mpfr_init(r17526);
        mpfr_init(r17527);
        mpfr_init(r17528);
        mpfr_init(r17529);
}

double f_dm(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
        mpfr_set_d(r17484, t, MPFR_RNDN);
        ;
        mpfr_set_si(r17486, mpfr_cmp(r17484, r17485) <= 0, MPFR_RNDN);
        mpfr_set_d(r17487, j, MPFR_RNDN);
        mpfr_neg(r17488, r17487, MPFR_RNDN);
        mpfr_set_d(r17489, i, MPFR_RNDN);
        mpfr_set_d(r17490, y, MPFR_RNDN);
        mpfr_mul(r17491, r17489, r17490, MPFR_RNDN);
        mpfr_mul(r17492, r17488, r17491, MPFR_RNDN);
        mpfr_set_d(r17493, z, MPFR_RNDN);
        mpfr_mul(r17494, r17493, r17490, MPFR_RNDN);
        mpfr_set_d(r17495, x, MPFR_RNDN);
        mpfr_mul(r17496, r17494, r17495, MPFR_RNDN);
        mpfr_add(r17497, r17492, r17496, MPFR_RNDN);
        mpfr_set_d(r17498, a, MPFR_RNDN);
        mpfr_mul(r17499, r17498, r17495, MPFR_RNDN);
        mpfr_set_d(r17500, c, MPFR_RNDN);
        mpfr_mul(r17501, r17500, r17487, MPFR_RNDN);
        mpfr_sub(r17502, r17499, r17501, MPFR_RNDN);
        mpfr_mul(r17503, r17502, r17484, MPFR_RNDN);
        mpfr_set_d(r17504, b, MPFR_RNDN);
        mpfr_mul(r17505, r17500, r17493, MPFR_RNDN);
        mpfr_mul(r17506, r17498, r17489, MPFR_RNDN);
        mpfr_sub(r17507, r17505, r17506, MPFR_RNDN);
        mpfr_mul(r17508, r17504, r17507, MPFR_RNDN);
        mpfr_add(r17509, r17503, r17508, MPFR_RNDN);
        mpfr_sub(r17510, r17497, r17509, MPFR_RNDN);
        ;
        mpfr_set_si(r17512, mpfr_cmp(r17484, r17511) <= 0, MPFR_RNDN);
        mpfr_neg(r17513, r17490, MPFR_RNDN);
        mpfr_mul(r17514, r17489, r17487, MPFR_RNDN);
        mpfr_mul(r17515, r17513, r17514, MPFR_RNDN);
        mpfr_mul(r17516, r17487, r17484, MPFR_RNDN);
        mpfr_mul(r17517, r17500, r17516, MPFR_RNDN);
        mpfr_add(r17518, r17515, r17517, MPFR_RNDN);
        mpfr_mul(r17519, r17490, r17493, MPFR_RNDN);
        mpfr_mul(r17520, r17484, r17498, MPFR_RNDN);
        mpfr_sub(r17521, r17519, r17520, MPFR_RNDN);
        mpfr_mul(r17522, r17521, r17495, MPFR_RNDN);
        mpfr_mul(r17523, r17489, r17498, MPFR_RNDN);
        mpfr_sub(r17524, r17505, r17523, MPFR_RNDN);
        mpfr_mul(r17525, r17504, r17524, MPFR_RNDN);
        mpfr_sub(r17526, r17522, r17525, MPFR_RNDN);
        mpfr_add(r17527, r17518, r17526, MPFR_RNDN);
        if (mpfr_get_si(r17512, MPFR_RNDN)) { mpfr_set(r17528, r17527, MPFR_RNDN); } else { mpfr_set(r17528, r17510, MPFR_RNDN); };
        if (mpfr_get_si(r17486, MPFR_RNDN)) { mpfr_set(r17529, r17510, MPFR_RNDN); } else { mpfr_set(r17529, r17528, MPFR_RNDN); };
        return mpfr_get_d(r17529, MPFR_RNDN);
}