a y*x - y + 3*x - 3*a
y*x - y^a + 3*x - 3*a
a - y - 3*a + 3*x + x*y
-y^a - 3*a + 3*x + x*y
a - y - 3*a + 3*x + x*y
-y^a - 3*a + 3*x + x*y
a - y - 3*a + 3*x + x*y
-y^a - 3*a + 3*x + x*y
a - y - 3*a + x*(3 + y)
a - y - 3*a + 3*x + x*y
-y^a - 3*a + 3*x + x*y
a - y - 3*a + 3*x + x*y
-y^a - 3*a + 3*x + x*y
a - y - 3*a + 3*x + x*y
-y^a - 3*a + 3*x + x*y