#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 r17159 = x; float r17160 = y; float r17161 = z; float r17162 = r17160 * r17161; float r17163 = t; float r17164 = a; float r17165 = r17163 * r17164; float r17166 = r17162 - r17165; float r17167 = r17159 * r17166; float r17168 = b; float r17169 = c; float r17170 = r17169 * r17161; float r17171 = i; float r17172 = r17171 * r17164; float r17173 = r17170 - r17172; float r17174 = r17168 * r17173; float r17175 = r17167 - r17174; float r17176 = j; float r17177 = r17169 * r17163; float r17178 = r17171 * r17160; float r17179 = r17177 - r17178; float r17180 = r17176 * r17179; float r17181 = r17175 + r17180; return r17181; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i, double j) { double r17182 = x; double r17183 = y; double r17184 = z; double r17185 = r17183 * r17184; double r17186 = t; double r17187 = a; double r17188 = r17186 * r17187; double r17189 = r17185 - r17188; double r17190 = r17182 * r17189; double r17191 = b; double r17192 = c; double r17193 = r17192 * r17184; double r17194 = i; double r17195 = r17194 * r17187; double r17196 = r17193 - r17195; double r17197 = r17191 * r17196; double r17198 = r17190 - r17197; double r17199 = j; double r17200 = r17192 * r17186; double r17201 = r17194 * r17183; double r17202 = r17200 - r17201; double r17203 = r17199 * r17202; double r17204 = r17198 + r17203; return r17204; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i, float j) { float r17205 = z; float r17206 = -5.801757811514397e+73f; bool r17207 = r17205 <= r17206; float r17208 = c; float r17209 = t; float r17210 = r17208 * r17209; float r17211 = i; float r17212 = y; float r17213 = r17211 * r17212; float r17214 = r17210 - r17213; float r17215 = j; float r17216 = r17212 * r17205; float r17217 = a; float r17218 = r17209 * r17217; float r17219 = r17216 - r17218; float r17220 = x; float r17221 = r17219 * r17220; float r17222 = fma(r17214, r17215, r17221); float r17223 = b; float r17224 = r17205 * r17208; float r17225 = r17217 * r17211; float r17226 = r17224 - r17225; float r17227 = r17223 * r17226; float r17228 = r17222 - r17227; float r17229 = -2.234372628979423e-294f; bool r17230 = r17205 <= r17229; float r17231 = r17230 ? r17228 : r17228; float r17232 = r17207 ? r17228 : r17231; return r17232; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i, double j) { double r17233 = z; double r17234 = -5.801757811514397e+73; bool r17235 = r17233 <= r17234; double r17236 = c; double r17237 = t; double r17238 = r17236 * r17237; double r17239 = i; double r17240 = y; double r17241 = r17239 * r17240; double r17242 = r17238 - r17241; double r17243 = j; double r17244 = r17240 * r17233; double r17245 = a; double r17246 = r17237 * r17245; double r17247 = r17244 - r17246; double r17248 = x; double r17249 = r17247 * r17248; double r17250 = fma(r17242, r17243, r17249); double r17251 = b; double r17252 = r17233 * r17236; double r17253 = r17245 * r17239; double r17254 = r17252 - r17253; double r17255 = r17251 * r17254; double r17256 = r17250 - r17255; double r17257 = -2.234372628979423e-294; bool r17258 = r17233 <= r17257; double r17259 = r17258 ? r17256 : r17256; double r17260 = r17235 ? r17256 : r17259; return r17260; } 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 r17261, r17262, r17263, r17264, r17265, r17266, r17267, r17268, r17269, r17270, r17271, r17272, r17273, r17274, r17275, r17276, r17277, r17278, r17279, r17280, r17281, r17282, r17283; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r17261); mpfr_init(r17262); mpfr_init(r17263); mpfr_init(r17264); mpfr_init(r17265); mpfr_init(r17266); mpfr_init(r17267); mpfr_init(r17268); mpfr_init(r17269); mpfr_init(r17270); mpfr_init(r17271); mpfr_init(r17272); mpfr_init(r17273); mpfr_init(r17274); mpfr_init(r17275); mpfr_init(r17276); mpfr_init(r17277); mpfr_init(r17278); mpfr_init(r17279); mpfr_init(r17280); mpfr_init(r17281); mpfr_init(r17282); mpfr_init(r17283); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i, double j) { mpfr_set_d(r17261, x, MPFR_RNDN); mpfr_set_d(r17262, y, MPFR_RNDN); mpfr_set_d(r17263, z, MPFR_RNDN); mpfr_mul(r17264, r17262, r17263, MPFR_RNDN); mpfr_set_d(r17265, t, MPFR_RNDN); mpfr_set_d(r17266, a, MPFR_RNDN); mpfr_mul(r17267, r17265, r17266, MPFR_RNDN); mpfr_sub(r17268, r17264, r17267, MPFR_RNDN); mpfr_mul(r17269, r17261, r17268, MPFR_RNDN); mpfr_set_d(r17270, b, MPFR_RNDN); mpfr_set_d(r17271, c, MPFR_RNDN); mpfr_mul(r17272, r17271, r17263, MPFR_RNDN); mpfr_set_d(r17273, i, MPFR_RNDN); mpfr_mul(r17274, r17273, r17266, MPFR_RNDN); mpfr_sub(r17275, r17272, r17274, MPFR_RNDN); mpfr_mul(r17276, r17270, r17275, MPFR_RNDN); mpfr_sub(r17277, r17269, r17276, MPFR_RNDN); mpfr_set_d(r17278, j, MPFR_RNDN); mpfr_mul(r17279, r17271, r17265, MPFR_RNDN); mpfr_mul(r17280, r17273, r17262, MPFR_RNDN); mpfr_sub(r17281, r17279, r17280, MPFR_RNDN); mpfr_mul(r17282, r17278, r17281, MPFR_RNDN); mpfr_add(r17283, r17277, r17282, MPFR_RNDN); return mpfr_get_d(r17283, MPFR_RNDN); } static mpfr_t r17284, r17285, r17286, r17287, r17288, r17289, r17290, r17291, r17292, r17293, r17294, r17295, r17296, r17297, r17298, r17299, r17300, r17301, r17302, r17303, r17304, r17305, r17306, r17307, r17308, r17309, r17310, r17311; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r17284); mpfr_init_set_str(r17285, "-5.801757811514397e+73", 10, MPFR_RNDN); mpfr_init(r17286); mpfr_init(r17287); mpfr_init(r17288); mpfr_init(r17289); mpfr_init(r17290); mpfr_init(r17291); mpfr_init(r17292); mpfr_init(r17293); mpfr_init(r17294); mpfr_init(r17295); mpfr_init(r17296); mpfr_init(r17297); mpfr_init(r17298); mpfr_init(r17299); mpfr_init(r17300); mpfr_init(r17301); mpfr_init(r17302); mpfr_init(r17303); mpfr_init(r17304); mpfr_init(r17305); mpfr_init(r17306); mpfr_init(r17307); mpfr_init_set_str(r17308, "-2.234372628979423e-294", 10, MPFR_RNDN); mpfr_init(r17309); mpfr_init(r17310); mpfr_init(r17311); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i, double j) { mpfr_set_d(r17284, z, MPFR_RNDN); ; mpfr_set_si(r17286, mpfr_cmp(r17284, r17285) <= 0, MPFR_RNDN); mpfr_set_d(r17287, c, MPFR_RNDN); mpfr_set_d(r17288, t, MPFR_RNDN); mpfr_mul(r17289, r17287, r17288, MPFR_RNDN); mpfr_set_d(r17290, i, MPFR_RNDN); mpfr_set_d(r17291, y, MPFR_RNDN); mpfr_mul(r17292, r17290, r17291, MPFR_RNDN); mpfr_sub(r17293, r17289, r17292, MPFR_RNDN); mpfr_set_d(r17294, j, MPFR_RNDN); mpfr_mul(r17295, r17291, r17284, MPFR_RNDN); mpfr_set_d(r17296, a, MPFR_RNDN); mpfr_mul(r17297, r17288, r17296, MPFR_RNDN); mpfr_sub(r17298, r17295, r17297, MPFR_RNDN); mpfr_set_d(r17299, x, MPFR_RNDN); mpfr_mul(r17300, r17298, r17299, MPFR_RNDN); mpfr_fma(r17301, r17293, r17294, r17300, MPFR_RNDN); mpfr_set_d(r17302, b, MPFR_RNDN); mpfr_mul(r17303, r17284, r17287, MPFR_RNDN); mpfr_mul(r17304, r17296, r17290, MPFR_RNDN); mpfr_sub(r17305, r17303, r17304, MPFR_RNDN); mpfr_mul(r17306, r17302, r17305, MPFR_RNDN); mpfr_sub(r17307, r17301, r17306, MPFR_RNDN); ; mpfr_set_si(r17309, mpfr_cmp(r17284, r17308) <= 0, MPFR_RNDN); if (mpfr_get_si(r17309, MPFR_RNDN)) { mpfr_set(r17310, r17307, MPFR_RNDN); } else { mpfr_set(r17310, r17307, MPFR_RNDN); }; if (mpfr_get_si(r17286, MPFR_RNDN)) { mpfr_set(r17311, r17307, MPFR_RNDN); } else { mpfr_set(r17311, r17310, MPFR_RNDN); }; return mpfr_get_d(r17311, MPFR_RNDN); } static mpfr_t r17312, r17313, r17314, r17315, r17316, r17317, r17318, r17319, r17320, r17321, r17322, r17323, r17324, r17325, r17326, r17327, r17328, r17329, r17330, r17331, r17332, r17333, r17334, r17335, r17336, r17337, r17338, r17339; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r17312); mpfr_init_set_str(r17313, "-5.801757811514397e+73", 10, MPFR_RNDN); mpfr_init(r17314); mpfr_init(r17315); mpfr_init(r17316); mpfr_init(r17317); mpfr_init(r17318); mpfr_init(r17319); mpfr_init(r17320); mpfr_init(r17321); mpfr_init(r17322); mpfr_init(r17323); mpfr_init(r17324); mpfr_init(r17325); mpfr_init(r17326); mpfr_init(r17327); mpfr_init(r17328); mpfr_init(r17329); mpfr_init(r17330); mpfr_init(r17331); mpfr_init(r17332); mpfr_init(r17333); mpfr_init(r17334); mpfr_init(r17335); mpfr_init_set_str(r17336, "-2.234372628979423e-294", 10, MPFR_RNDN); mpfr_init(r17337); mpfr_init(r17338); mpfr_init(r17339); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i, double j) { mpfr_set_d(r17312, z, MPFR_RNDN); ; mpfr_set_si(r17314, mpfr_cmp(r17312, r17313) <= 0, MPFR_RNDN); mpfr_set_d(r17315, c, MPFR_RNDN); mpfr_set_d(r17316, t, MPFR_RNDN); mpfr_mul(r17317, r17315, r17316, MPFR_RNDN); mpfr_set_d(r17318, i, MPFR_RNDN); mpfr_set_d(r17319, y, MPFR_RNDN); mpfr_mul(r17320, r17318, r17319, MPFR_RNDN); mpfr_sub(r17321, r17317, r17320, MPFR_RNDN); mpfr_set_d(r17322, j, MPFR_RNDN); mpfr_mul(r17323, r17319, r17312, MPFR_RNDN); mpfr_set_d(r17324, a, MPFR_RNDN); mpfr_mul(r17325, r17316, r17324, MPFR_RNDN); mpfr_sub(r17326, r17323, r17325, MPFR_RNDN); mpfr_set_d(r17327, x, MPFR_RNDN); mpfr_mul(r17328, r17326, r17327, MPFR_RNDN); mpfr_fma(r17329, r17321, r17322, r17328, MPFR_RNDN); mpfr_set_d(r17330, b, MPFR_RNDN); mpfr_mul(r17331, r17312, r17315, MPFR_RNDN); mpfr_mul(r17332, r17324, r17318, MPFR_RNDN); mpfr_sub(r17333, r17331, r17332, MPFR_RNDN); mpfr_mul(r17334, r17330, r17333, MPFR_RNDN); mpfr_sub(r17335, r17329, r17334, MPFR_RNDN); ; mpfr_set_si(r17337, mpfr_cmp(r17312, r17336) <= 0, MPFR_RNDN); if (mpfr_get_si(r17337, MPFR_RNDN)) { mpfr_set(r17338, r17335, MPFR_RNDN); } else { mpfr_set(r17338, r17335, MPFR_RNDN); }; if (mpfr_get_si(r17314, MPFR_RNDN)) { mpfr_set(r17339, r17335, MPFR_RNDN); } else { mpfr_set(r17339, r17338, MPFR_RNDN); }; return mpfr_get_d(r17339, MPFR_RNDN); }