#include <math.h>

#include <stdio.h>

#include <pixman.h>

/* This code is basically the output of Maxima translated into C.

 *

 * See http://maxima.sourceforge.net/

 */

static void

quad_to_quad (double x0, double y0,

	      double x1, double y1,

	      double x2, double y2,

	      double x3, double y3,

	      double px0, double py0,

	      double px1, double py1,

	      double px2, double py2,

	      double px3, double py3,

	      struct pixman_f_transform *trans)

{

    double

	t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18,

	t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34,

	t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50,

	t51, t52, t53, t54, t55, t56, t57, t58, t59, t60, t61, t62, t63, t64, t65, t66,

	t67, t68, t69, t70, t71, t72, t73, t74, t75, t76, t77, t78, t79, t80, t81, t82,

	t83, t84, t85, t86, t87, t88, t89, t90, t91, t92, t93, t94, t95, t96, t97, t98,

	t99, t100, t101, t102, t103, t104, t105, t106, t107, t108, t109, t110, t111,

	t112, t113, t114, t115, t116, t117, t118, t119, t120, t121, t122, t123,

	t124, t125, t126, t127, t128, t129, t130, t131, t132, t133, t134, t135,

	t136, t137, t138, t139, t140, t141, t142, t143, t144, t145, t146, t147,

	t148, t149, t150, t151, t152, t153, t154, t155, t156, t157, t158, t159,

	t160, t161, t162, t163, t164, t165, t166, t167, t168, t169, t170, t171,

	t172, t173, t174, t175, t176, t177, t178, t179, t180, t181, t182, t183,

	t184, t185, t186, t187, t188, t189, t190, t191, t192, t193, t194, t195,

	t196, t197, t198, t199, t200, t201, t202, t203, t204, t205, t206, t207,

	t208, t209, t210, t211, t212, t213, t214, t215, t216, t217, t218, t219,

	t220, t221, t222, t223, t224, t225, t226, t227, t228, t229, t230, t231,

	t232, t233, t234, t235, t236, t237, t238, t239, t240, t241, t242, t243,

	t244, t245, t246, t247, t248, t249, t250, t251, t252, t253, t254, t255,

	t256, t257, t258, t259, t260, t261, t262, t263, t264, t265, t266, t267,

	t268, t269, t270, t271, t272, t273, t274, t275, t276, t277, t278, t279,

	t280, t281, t282, t283, t284, t285, t286, t287, t288, t289, t290, t291,

	t292, t293, t294, t295, t296, t297, t298, t299, t300, t301, t302, t303,

	t304, t305, t306, t307, t308, t309, t310, t311, t312, t313, t314, t315,

	t316, t317, t318, t319, t320, t321, t322, t323, t324, t325, t326, t327,

	t328, t329, t330, t331, t332, t333, t334, t335, t336, t337, t338, t339,

	t340, t341, t342, t343, t344, t345, t346, t347, t348, t349, t350, t351,

	t352, t353, t354, t355, t356, t357, t358, t359, t360, t361, t362, t363,

	t364, t365, t366, t367, t368, t369, t370, t371, t372, t373, t374, t375,

	t376, t377, t378, t379, t380, t381, t382, t383, t384, t385, t386, t387,

	t388, t389, t390, t391, t392, t393, t394, t395, t396, t397, t398, t399,

	t400, t401, t402, t403, t404, t405, t406, t407, t408, t409, t410, t411,

	t412, t413, t414, t415, t416, t417, t418, t419, t420, t421, t422, t423,

	t424, t425, t426, t427, t428, t429, t430, t431, t432, t433, t434, t435,

	t436, t437, t438, t439, t440, t441, t442, t443, t444, t445, t446, t447,

	t448, t449, t450, t451, t452, t453, t454, t455, t456, t457, t458, t459,

	t460, t461, t462, t463, t464, t465, t466, t467, t468, t469, t470, t471,

	t472, t473, t474, t475, t476, t477, t478, t479, t480, t481, t482, t483,

	t484, t485, t486, t487, t488, t489, t490, t491, t492, t493, t494, t495,

	t496, t497, t498, t499, t500, t501, t502, t503, t504, t505, t506, t507,

	t508, t509, t510, t511, t512, t513, t514, t515, t516, t517, t518, t519,

	t520, t521, t522, t523, t524, t525, t526, t527, t528, t529, t530, t531,

	t532, t533, t534, t535, t536, t537, t538, t539, t540, t541, t542, t543,

	t544, t545, t546, t547, t548, t549, t550, t551, t552, t553, t554, t555,

	t556, t557, t558, t559, t560, t561, t562, t563, t564, t565, t566, t567,

	t568, t569, t570, t571, t572, t573, t574, t575, t576, t577, t578, t579,

	t580, t581, t582, t583, t584, t585, t586, t587, t588, t589, t590, t591,

	t592, t593, t594, t595, t596, t597, t598, t599, t600, t601, t602, t603,

	t604, t605, t606, t607, t608, t609, t610, t611, t612, t613, t614, t615,

	t616, t617, t618, t619, t620, t621, t622, t623, t624, t625, t626, t627,

	t628, t629, t630, t631, t632, t633, t634, t635, t636, t637, t638, t639,

	t640, t641, t642, t643, t644, t645, t646, t647, t648, t649, t650, t651,

	t652, t653, t654, t655, t656, t657, t658, t659, t660, t661, t662, t663,

	t664, t665, t666, t667, t668, t669, t670, t671, t672, t673, t674, t675,

	t676, t677, t678, t679, t680, t681, t682, t683, t684, t685, t686, t687,

	t688, t689, t690, t691, t692, t693, t694, t695, t696, t697, t698, t699,

	t700, t701, t702, t703, t704, t705, t706, t707, t708, t709, t710, t711,

	t712, t713, t714, t715, t716, t717, t718, t719, t720, t721, t722, t723,

	t724, t725, t726, t727, t728, t729, t730, t731, t732, t733, t734, t735,

	t736, t737, t738, t739, t740, t741, t742, t743, t744, t745, t746, t747,

	t748, t749, t750, t751, t752, t753, t754, t755, t756, t757, t758, t759,

	t760, t761, t762, t763, t764, t765, t766, t767, t768, t769, t770, t771,

	t772, t773, t774, t775, t776, t777, t778, t779, t780, t781, t782, t783,

	t784, t785, t786, t787, t788, t789, t790, t791, t792, t793, t794, t795,

	t796, t797, t798, t799, t800, t801, t802, t803, t804, t805, t806, t807,

	t808, t809, t810, t811, t812, t813, t814, t815, t816, t817, t818, t819,

	t820, t821, t822, t823, t824, t825, t826, t827, t828, t829, t830, t831,

	t832, t833, t834, t835, t836, t837, t838, t839, t840, t841, t842, t843,

	t844, t845, t846, t847, t848, t849, t850, t851, t852, t853, t854, t855,

	t856, t857, t858, t859, t860, t861, t862, t863, t864, t865, t866, t867,

	t868, t869, t870, t871, t872, t873, t874, t875, t876, t877, t878, t879,

	t880, t881, t882, t883, t884, t885, t886, t887, t888, t889, t890, t891,

	t892, t893, t894, t895, t896, t897, t898, t899, t900, t901, t902, t903,

	t904, t905, t906, t907, t908, t909, t910, t911, t912, t913, t914, t915,

	t916, t917, t918, t919, t920, t921, t922, t923, t924, t925, t926, t927,

	t928, t929, t930, t931, t932, t933, t934, t935, t936, t937, t938, t939,

	t940, t941, t942, t943, t944, t945, t946, t947, t948, t949, t950, t951,

	t952, t953, t954, t955, t956, t957, t958, t959, t960, t961, t962, t963,

	t964, t965, t966, t967, t968, t969, t970, t971, t972, t973, t974, t975,

	t976, t977, t978, t979, t980, t981, t982, t983, t984, t985, t986, t987,

	t988, t989, t990, t991, t992, t993, t994, t995, t996, t997, t998, t999,

	t1000, t1001, t1002, t1003, t1004, t1005, t1006, t1007, t1008, t1009,

	t1010, t1011, t1012, t1013, t1014, t1015, t1016, t1017, t1018, t1019,

	t1020, t1021, t1022, t1023, t1024, t1025, t1026, t1027, t1028, t1029,

	t1030, t1031, t1032, t1033, t1034, t1035, t1036, t1037, t1038, t1039,

	t1040, t1041, t1042, t1043, t1044, t1045, t1046, t1047, t1048, t1049,

	t1050, t1051, t1052, t1053, t1054, t1055, t1056, t1057, t1058, t1059,

	t1060, t1061, t1062, t1063, t1064, t1065, t1066, t1067, t1068, t1069,

	t1070, t1071, t1072, t1073;

    t1 = y1 * y1;

    t2 = x3 * x3;

    t3 = px2 * px3 * t2;

    t4 = (t3 - px2 * px3 * x2 * x3) * y2;

    t5 = x2 * x2;

    t6 = px2 * px3 * t5 * y3;

    t7 = - px2 * px3 * x2 * x3 * y3;

    t8 = py1 * (t7 + t6 + t4);

    t9 = px3 * py2 * x2 * x3;

    t10 = - px3 * py2 * t2;

    t11 = (t10 + t9) * y2;

    t12 = - px2 * py3 * t5 * y3;

    t13 = px2 * py3 * x2 * x3 * y3;

    t14 = y0 * y0;

    t15 = - px3 * py2;

    t16 = px2 * py3;

    t17 = t16 + t15;

    t18 = t17 * x2;

    t19 = px3 * py2 * x3;

    t20 = - px2 * py3 * x3;

    t21 = t20 + t19 + t18;

    t22 = px2 * px3 * t5;

    t23 = - 2 * px2 * px3 * x2 * x3;

    t24 = py1 * (t3 + t23 + t22);

    t25 = - px2 * py3 * t5;

    t26 = px2 * py3 * x3;

    t27 = x2 * (t26 + t19);

    t28 = t10 + t27 + t25;

    t29 = x1 * x1;

    t30 = px3 * py2;

    t31 = - px2 * py3;

    t32 = t31 + t30;

    t33 = t32 * y2;

    t34 = - px3 * py2 * y3;

    t35 = px2 * py3 * y3;

    t36 = t35 + t34 + t33;

    t37 = - px2 * px3 * t2;

    t38 = (t37 + px2 * px3 * x2 * x3) * y2;

    t39 = - px2 * px3 * t5 * y3;

    t40 = px2 * px3 * x2 * x3 * y3;

    t41 = py1 * (t40 + t39 + t38);

    t42 = - px2 * py3 * x2 * x3;

    t43 = px3 * py2 * t2;

    t44 = (t43 + t42) * y2;

    t45 = px2 * py3 * t5 * y3;

    t46 = - px3 * py2 * x2 * x3 * y3;

    t47 = (px2 * px3 * x3 - px2 * px3 * x2) * y2;

    t48 = px2 * px3 * x2 * y3;

    t49 = - px2 * px3 * x3 * y3;

    t50 = py1 * (t49 + t48 + t47);

    t51 = px2 * py3 * x2;

    t52 = - 2 * px3 * py2 * x3;

    t53 = (t26 + t52 + t51) * y2;

    t54 = px3 * py2 * x3 * y3;

    t55 = px3 * py2 * y3;

    t56 = - 2 * px2 * py3 * y3;

    t57 = t56 + t55;

    t58 = x2 * t57;

    t59 = - px2 * px3 * t5;

    t60 = 2 * px2 * px3 * x2 * x3;

    t61 = - px2;

    t62 = px3 + t61;

    t63 = t62 * x2;

    t64 = px2 * x3;

    t65 = - px3 * x3;

    t66 = t65 + t64 + t63;

    t67 = px2 * t5;

    t68 = - px2 * x3;

    t69 = x2 * (t65 + t68);

    t70 = px3 * t2;

    t71 = t70 + t69 + t67;

    t72 = - px3;

    t73 = t72 + px2;

    t74 = - px2 * y3;

    t75 = px3 * y3;

    t76 = t75 + t74 + t73 * y2;

    t77 = px2 * x2 * x3;

    t78 = - px3 * t2;

    t79 = - px2 * t5 * y3;

    t80 = px3 * x2 * x3 * y3;

    t81 = t80 + t79 + (t78 + t77) * y2;

    t82 = (px2 * px3 * x2 - px2 * px3 * x3) * y2;

    t83 = - px2 * px3 * x2 * y3;

    t84 = px2 * px3 * x3 * y3;

    t85 = - px2 * x2;

    t86 = 2 * px3 * x3;

    t87 = - px3 * x3 * y3;

    t88 = 2 * px2 * y3;

    t89 = - px3 * y3;

    t90 = t89 + t88;

    t91 = x2 * t90;

    t92 = t91 + t87 + (t86 + t68 + t85) * y2;

    t93 = px2 * py3 * t5;

    t94 = - px3 * py2 * x3;

    t95 = x2 * (t20 + t94);

    t96 = t32 * x2;

    t97 = t73 * x2;

    t98 = px3 * x3;

    t99 = t98 + t68 + t97;

    t100 = py1 * t99;

    t101 = - px2 * t5;

    t102 = x2 * (t98 + t64);

    t103 = t78 + t102 + t101;

    t104 = py1 * t103;

    t105 = - py2;

    t106 = py3 + t105;

    t107 = py2 * y3;

    t108 = - py3 * y3;

    t109 = t108 + t107 + t106 * y2;

    t110 = - px3 * x2 * x3;

    t111 = px2 * t5 * y3;

    t112 = - px2 * x2 * x3 * y3;

    t113 = t112 + t111 + (t70 + t110) * y2;

    t114 = - py2 * x3;

    t115 = py3 * x3;

    t116 = t115 + t114;

    t117 = py2 * x3 * y3;

    t118 = - py3 * x3 * y3;

    t119 = t118 + t117;

    t120 = x2 * t119;

    t121 = px1 * (t120 + x2 * t116 * y2);

    t122 = - px3 * py2 * x2;

    t123 = (t19 + t122) * y2;

    t124 = px2 * py3 * x2 * y3;

    t125 = - px2 * py3 * x3 * y3;

    t126 = px3 * x2;

    t127 = - px2 * x2 * y3;

    t128 = px2 * x3 * y3;

    t129 = t128 + t127 + (t65 + t126) * y2;

    t130 = - py3;

    t131 = t130 + py2;

    t132 = t131 * x2;

    t133 = py2 * x3;

    t134 = - py3 * x3;

    t135 = - py2 * x3 * y3;

    t136 = py3 * x3 * y3;

    t137 = - py2 * y3;

    t138 = py3 * y3;

    t139 = t138 + t137;

    t140 = x2 * t139;

    t141 = px1 * (t140 + t136 + t135 + (t134 + t133 + t132) * y2);

    t142 = y2 * y2;

    t143 = - px3 * py2 * x3 * y3;

    t144 = px2 * py3 * x3 * y3;

    t145 = t144 + t143;

    t146 = t142 * t145;

    t147 = y3 * y3;

    t148 = px3 * py2 * t147;

    t149 = - px2 * py3 * t147;

    t150 = t149 + t148;

    t151 = x2 * y2 * t150;

    t152 = t151 + t146;

    t153 = - px2 * py3 * y3;

    t154 = t153 + t55;

    t155 = t142 * t154;

    t156 = - px3 * py2 * t147;

    t157 = px2 * py3 * t147;

    t158 = t157 + t156;

    t159 = y2 * t158;

    t160 = t159 + t155;

    t161 = x0 * x0;

    t162 = py1 * t76;

    t163 = px1 * t109;

    t164 = px2 * y3;

    t165 = t89 + t164;

    t166 = - px2 * t147;

    t167 = px3 * t147;

    t168 = t167 + t166;

    t169 = y2 * t168 + t142 * t165;

    t170 = py1 * t169;

    t171 = py2 * t147;

    t172 = - py3 * t147;

    t173 = t172 + t171;

    t174 = y2 * t173 + t142 * t139;

    t175 = px1 * t174;

    t176 = t17 * t142;

    t177 = px2 * t147;

    t178 = - px3 * t147;

    t179 = t178 + t177 + t62 * t142;

    t180 = - py2 * t147;

    t181 = py3 * t147;

    t182 = t181 + t180 + t131 * t142;

    t183 = y1 * (px1 * t182 + py1 * t179 + t149 + t148 + t176)

	+ t175 + t170 + t159 + t1 * (t163 + t162 + t35 + t34 + t33) + t155;

    t184 = - px2 * px3 * t2 * t142;

    t185 = 2 * px2 * px3 * x2 * x3 * y2 * y3;

    t186 = - px2 * px3 * t5 * t147;

    t187 = py1 * (t186 + t185 + t184);

    t188 = px3 * py2 * t2 * t142;

    t189 = x2 * y2 * (t125 + t143);

    t190 = px2 * py3 * t5 * t147;

    t191 = t190 + t189 + t188;

    t192 = px2 * px3 * x3 * t142;

    t193 = y2 * (t49 + t83);

    t194 = px2 * px3 * x2 * t147;

    t195 = py1 * (t194 + t193 + t192);

    t196 = - px3 * py2 * x3 * t142;

    t197 = 2 * px3 * py2 * x3 * y3;

    t198 = 2 * px2 * py3 * y3;

    t199 = t198 + t34;

    t200 = x2 * t199;

    t201 = y2 * (t200 + t125 + t197);

    t202 = - px2 * py3 * x2 * t147;

    t203 = - px2 * x3 * y3;

    t204 = px3 * x3 * y3;

    t205 = t204 + t203;

    t206 = t142 * t205;

    t207 = t178 + t177;

    t208 = x2 * y2 * t207;

    t209 = t208 + t206;

    t210 = px2 * px3 * t2 * t142;

    t211 = - 2 * px2 * px3 * x2 * x3 * y2 * y3;

    t212 = px2 * px3 * t5 * t147;

    t213 = - px3 * t2 * t142;

    t214 = x2 * y2 * (t204 + t128);

    t215 = - px2 * t5 * t147;

    t216 = t215 + t214 + t213;

    t217 = - px2 * px3 * x3 * t142;

    t218 = y2 * (t84 + t48);

    t219 = - px2 * px3 * x2 * t147;

    t220 = px3 * x3 * t142;

    t221 = - 2 * px3 * x3 * y3;

    t222 = - 2 * px2 * y3;

    t223 = t75 + t222;

    t224 = x2 * t223;

    t225 = y2 * (t224 + t221 + t128);

    t226 = px2 * x2 * t147;

    t227 = t226 + t225 + t220;

    t228 = t125 + t54;

    t229 = t142 * t228;

    t230 = x2 * y2 * t158;

    t231 = t87 + t128;

    t232 = t142 * t231;

    t233 = x2 * y2 * t168;

    t234 = t233 + t232;

    t235 = py1 * t234;

    t236 = - px3 * py2 * t2 * t142;

    t237 = x2 * y2 * (t144 + t54);

    t238 = - px2 * py3 * t5 * t147;

    t239 = px3 * t2 * t142;

    t240 = x2 * y2 * (t87 + t203);

    t241 = px2 * t5 * t147;

    t242 = t241 + t240 + t239;

    t243 = py1 * t242;

    t244 = px2 * py3 * x3 * t142;

    t245 = - px2 * py3 * x2 * y3;

    t246 = y2 * (t143 + t245);

    t247 = px3 * py2 * x2 * t147;

    t248 = - px2 * x3 * t142;

    t249 = px2 * x2 * y3;

    t250 = y2 * (t204 + t249);

    t251 = - px3 * x2 * t147;

    t252 = t251 + t250 + t248;

    t253 = t134 + t133;

    t254 = t253 * t142;

    t255 = t108 + t107;

    t256 = x2 * t255;

    t257 = t256 + t136 + t135;

    t258 = y2 * t257;

    t259 = t181 + t180;

    t260 = x2 * t259;

    t261 = px1 * (t260 + t258 + t254);

    t262 = py1 * (t37 + t60 + t59);

    t263 = t43 + t95 + t93;

    t264 = px1 * t263;

    t265 = t26 + t94;

    t266 = x2 * t265 * y2;

    t267 = x2 * t228;

    t268 = t267 + t266;

    t269 = py1 * (t84 + t83 + t82);

    t270 = - 2 * px2 * py3;

    t271 = (t26 + (t270 + t30) * x2) * y2;

    t272 = px3 * py2 * x2 * y3;

    t273 = - 2 * px3 * py2 * x3 * y3;

    t274 = t149 + t148 + t176;

    t275 = py1 * (t212 + t211 + t210);

    t276 = t238 + t237 + t236;

    t277 = px1 * t276;

    t278 = py1 * (t219 + t218 + t217);

    t279 = 2 * px3 * py2 * x3;

    t280 = t20 + t279;

    t281 = t280 * t142;

    t282 = - px3 * py2 * x2 * y3;

    t283 = y2 * (t125 + t282);

    t284 = 2 * px2 * py3 * t147;

    t285 = x2 * (t284 + t156);

    t286 = px1 * t103;

    t287 = t98 + t68;

    t288 = x2 * t287 * y2;

    t289 = x2 * t231;

    t290 = t289 + t288;

    t291 = 2 * px2;

    t292 = - px3 * x2 * y3;

    t293 = 2 * px3 * x3 * y3;

    t294 = t293 + t203 + t292 + (t68 + (t72 + t291) * x2) * y2;

    t295 = px1 * t242;

    t296 = - 2 * px3 * x3;

    t297 = t296 + t64;

    t298 = px3 * x2 * y3;

    t299 = y2 * (t128 + t298);

    t300 = - 2 * px2 * t147;

    t301 = x2 * (t167 + t300) + t299 + t297 * t142;

    t302 = py1 * t71;

    t303 = py1 * t290;

    t304 = 2 * py2 * x3;

    t305 = - 2 * py3 * x3;

    t306 = - 2 * py2 * x3 * y3;

    t307 = 2 * py3 * x3 * y3;

    t308 = t307 + t306;

    t309 = - 2 * px2 * py3 * x3;

    t310 = (t309 + t19 + t51) * y2;

    t311 = - 2 * px3 * py2 * y3;

    t312 = t35 + t311;

    t313 = x2 * t312;

    t314 = 2 * px2 * x3;

    t315 = 2 * px3 * y3;

    t316 = t315 + t74;

    t317 = x2 * t316;

    t318 = t317 + t87 + (t65 + t314 + t85) * y2;

    t319 = t106 * x2;

    t320 = px1 * (t256 + t118 + t117 + (t115 + t114 + t319) * y2);

    t321 = py1 * t216;

    t322 = 2 * px2 * py3 * x3 * y3;

    t323 = 2 * px3 * py2 * y3;

    t324 = t153 + t323;

    t325 = x2 * t324;

    t326 = y2 * (t325 + t322 + t143);

    t327 = - 2 * px2 * x3 * y3;

    t328 = - 2 * px3 * y3;

    t329 = t328 + t164;

    t330 = x2 * t329;

    t331 = y2 * (t330 + t204 + t327);

    t332 = t226 + t331 + t220;

    t333 = t116 * t142;

    t334 = t140 + t118 + t117;

    t335 = y2 * t334;

    t336 = x2 * t173;

    t337 = px1 * (t336 + t335 + t333);

    t338 = t26 + t94 + t96;

    t339 = t17 * y2;

    t340 = t153 + t55 + t339;

    t341 = px2 * px3 * t142;

    t342 = - 2 * px2 * px3 * y2 * y3;

    t343 = px2 * px3 * t147;

    t344 = py1 * (t343 + t342 + t341);

    t345 = - px2 * py3 * t142;

    t346 = y2 * (t35 + t55);

    t347 = t156 + t346 + t345;

    t348 = px1 * t347 + t344;

    t349 = t89 + t164 + t62 * y2;

    t350 = - px2 * px3 * t142;

    t351 = 2 * px2 * px3 * y2 * y3;

    t352 = - px2 * px3 * t147;

    t353 = px2 * t142;

    t354 = y2 * (t89 + t74);

    t355 = t167 + t354 + t353;

    t356 = px1 * t355 + t352 + t351 + t350;

    t357 = py1 * t66;

    t358 = py1 * t349;

    t359 = 2 * py2;

    t360 = - 2 * py3;

    t361 = - 2 * py2 * y3;

    t362 = 2 * py3 * y3;

    t363 = px3 * py2 * t142;

    t364 = y2 * (t153 + t34);

    t365 = - px3 * t142;

    t366 = y2 * (t75 + t164);

    t367 = t166 + t366 + t365;

    t368 = py1 * t367;

    t369 = px1 * (t172 + t171 + t106 * t142);

    t370 = t35 + t34;

    t371 = t142 * t370;

    t372 = y2 * t150;

    t373 = t372 + t371;

    t374 = t230 + t229;

    t375 = py1 * (t352 + t351 + t350);

    t376 = t157 + t364 + t363;

    t377 = px1 * t376 + t375;

    t378 = t75 + t74;

    t379 = y2 * t207 + t142 * t378;

    t380 = px1 * t367 + t343 + t342 + t341;

    t381 = py1 * t209;

    t382 = py1 * t355;

    t383 = py1 * t379;

    t384 = 2 * py2 * y3;

    t385 = - 2 * py3 * y3;

    t386 = t385 + t384;

    t387 = - 2 * py2 * t147;

    t388 = 2 * py3 * t147;

    t389 = px2 * py3 * t2;

    t390 = t389 + t10;

    t391 = x2 * t390 * y2;

    t392 = t5 * t228;

    t393 = - px2 * t2;

    t394 = t70 + t393;

    t395 = x2 * t394 * y2;

    t396 = t5 * t231;

    t397 = t396 + t395;

    t398 = py1 * t397;

    t399 = py2 * t2;

    t400 = - py3 * t2;

    t401 = t400 + t399;

    t402 = x2 * t401 * y2;

    t403 = t136 + t135;

    t404 = t5 * t403;

    t405 = t404 + t402;

    t406 = px1 * t405;

    t407 = t1 * (t406 + t398 + t392 + t391);

    t408 = t65 + t64;

    t409 = t5 * t408;

    t410 = x2 * t394;

    t411 = t410 + t409;

    t412 = py1 * t411;

    t413 = t5 * t116;

    t414 = x2 * t401;

    t415 = t414 + t413;

    t416 = px1 * t415;

    t417 = py2 * t5;

    t418 = x2 * (t134 + t114);

    t419 = py3 * t2;

    t420 = t419 + t418 + t417;

    t421 = px1 * t420;

    t422 = t265 * y2;

    t423 = x2 * t154;

    t424 = px2 * x2;

    t425 = (t68 + t424) * y2;

    t426 = - py2 * x2;

    t427 = (t133 + t426) * y2;

    t428 = py3 * x2 * y3;

    t429 = t20 + t19;

    t430 = x2 * t429;

    t431 = - px2 * py3 * t2;

    t432 = (t431 + t43 + t430) * y2;

    t433 = t5 * t370;

    t434 = x2 * t145;

    t435 = - px2 * x2 * x3;

    t436 = px2 * t2;

    t437 = (t436 + t435) * y2;

    t438 = px3 * t5 * y3;

    t439 = - px3 * x2 * x3 * y3;

    t440 = py2 * x2 * x3;

    t441 = - py2 * t2;

    t442 = (t441 + t440) * y2;

    t443 = - py3 * t5 * y3;

    t444 = py3 * x2 * x3 * y3;

    t445 = t5 * t287;

    t446 = t78 + t436;

    t447 = x2 * t446;

    t448 = - t2;

    t449 = t448 + 2 * x2 * x3 - t5;

    t450 = px1 * t449;

    t451 = (t98 + t85) * y2;

    t452 = - x2 * y3;

    t453 = x3 * y3;

    t454 = t453 + t452 + (x2 - x3) * y2;

    t455 = px1 * t454;

    t456 = t65 + t314;

    t457 = x2 * t456;

    t458 = (t78 + t457) * y2;

    t459 = x2 * (t293 + t203);

    t460 = - x2 * x3 * y3 + t5 * y3 + (t2 - x2 * x3) * y2;

    t461 = px1 * t460;

    t462 = t5 * t253;

    t463 = t419 + t441;

    t464 = x2 * t463;

    t465 = - py2 * t5;

    t466 = x2 * (t115 + t133);

    t467 = t2 - 2 * x2 * x3 + t5;

    t468 = py1 * t467;

    t469 = py2 * x2;

    t470 = (t134 + t469) * y2;

    t471 = - py2 * x2 * y3;

    t472 = x2 * y3;

    t473 = - x3 * y3;

    t474 = t473 + t472 + (x3 - x2) * y2;

    t475 = py1 * t474;

    t476 = - 2 * py2 * x3;

    t477 = t115 + t476;

    t478 = x2 * t477;

    t479 = (t419 + t478) * y2;

    t480 = py2 * t5 * y3;

    t481 = - 2 * py3 * x3 * y3;

    t482 = x2 * (t481 + t117);

    t483 = x2 * x3 * y3 - t5 * y3 + (t448 + x2 * x3) * y2;

    t484 = py1 * t483;

    t485 = t431 + t43;

    t486 = t485 * t142;

    t487 = t5 * t158;

    t488 = t446 * t142;

    t489 = t5 * t168;

    t490 = t489 + t488;

    t491 = py1 * t490;

    t492 = t463 * t142;

    t493 = t5 * t173;

    t494 = t493 + t492;

    t495 = px1 * t494;

    t496 = x1 * y1 * (t495 + t491 + t487 + t486);

    t497 = t142 * t119;

    t498 = x2 * y2 * t259;

    t499 = t498 + t497;

    t500 = px1 * t499;

    t501 = t29 * (t500 + t381 + t151 + t146);

    t502 = t429 * t142;

    t503 = x2 * t370;

    t504 = y2 * (t503 + t125 + t54);

    t505 = x2 * t158;

    t506 = - px3 * x3 * t142;

    t507 = - px2 * x2 * t147;

    t508 = py3 * x3 * t142;

    t509 = y2 * (t118 + t471);

    t510 = py2 * x2 * t147;

    t511 = - py2 * t142;

    t512 = y2 * (t138 + t107);

    t513 = t172 + t512 + t511;

    t514 = px1 * t513;

    t515 = y2 * t259 + t142 * t255;

    t516 = px1 * t515;

    t517 = py1 * t454;

    t518 = - py2 * x3 * t142;

    t519 = t108 + t384;

    t520 = x2 * t519;

    t521 = y2 * (t520 + t307 + t135);

    t522 = - py3 * x2 * t147;

    t523 = py2 * t142;

    t524 = y2 * (t108 + t137);

    t525 = - t147 + 2 * y2 * y3 - t142;

    t526 = py1 * t525;

    t527 = x2 * t147 + y2 * (t473 + t452) + x3 * t142;

    t528 = py1 * t527;

    t529 = px1 * t474;

    t530 = px2 * x3 * t142;

    t531 = px3 * x2 * t147;

    t532 = - x2 * t147 + y2 * (t453 + t472) - x3 * t142;

    t533 = px1 * t532;

    t534 = - px2 * t142;

    t535 = t147 - 2 * y2 * y3 + t142;

    t536 = px1 * t535;

    t537 = t447 + t445;

    t538 = py1 * t537;

    t539 = t464 + t462;

    t540 = px1 * t539;

    t541 = 2 * px3 * py2 * t2;

    t542 = - 2 * px2 * py3 * t2;

    t543 = x2 * t446 * y2;

    t544 = t5 * t205;

    t545 = t544 + t543;

    t546 = py1 * t545;

    t547 = x2 * t463 * y2;

    t548 = t5 * t119;

    t549 = t548 + t547;

    t550 = px1 * t549;

    t551 = x2 * t265;

    t552 = (t389 + t10 + t551) * y2;

    t553 = t5 * t154;

    t554 = 2 * px3 * t2;

    t555 = (t554 + t393 + t110) * y2;

    t556 = t5 * t90;

    t557 = py3 * x2 * x3;

    t558 = - 2 * py3 * t2;

    t559 = (t558 + t399 + t557) * y2;

    t560 = py2 * x2 * x3 * y3;

    t561 = t138 + t361;

    t562 = t5 * t561;

    t563 = t390 * t142;

    t564 = t5 * t150;

    t565 = - px2 * t2 * t142;

    t566 = - px3 * t5 * t147;

    t567 = t566 + t214 + t565;

    t568 = py1 * t567;

    t569 = py2 * t2 * t142;

    t570 = x2 * y2 * (t118 + t135);

    t571 = py3 * t5 * t147;

    t572 = t571 + t570 + t569;

    t573 = px1 * t572;

    t574 = t86 + t68;

    t575 = x2 * t574;

    t576 = (t78 + t575) * y2;

    t577 = 2 * px2 * x3 * y3;

    t578 = x2 * (t87 + t577);

    t579 = px1 * t527;

    t580 = - t5 * t147 + 2 * x2 * x3 * y2 * y3 - t2 * t142;

    t581 = px1 * t580;

    t582 = t305 + t133;

    t583 = x2 * t582;

    t584 = (t419 + t583) * y2;

    t585 = x2 * (t136 + t306);

    t586 = py1 * t532;

    t587 = - py3 * t2 * t142;

    t588 = x2 * y2 * (t136 + t117);