((2·c - (c + 3)·(c - 1))2 - c4)·(c2 + 2) + 6·c4
((2·c - (c2 + 2·c - 3))2 - c4)·(c2 + 2) + 6·c4
((2·c - c2 - 2·c + 3)2 - c4)·(c2 + 2) + 6·c4
((3 - c2)2 - c4)·(c2 + 2) + 6·c4
(c4 - 6·c2 + 9 - c4)·(c2 + 2) + 6·c4
(9 - 6·c2)·(c2 + 2) + 6·c4
(- 6·c4 - 3·c2 + 18) + 6·c4
18 - 3·c2