x, y, t, s, r, d, c, b, a, 
-a*y+b*x
-c*y+d*x-d+y
a^2+b^2-r^2
c^2+d^2-s^2-2*c+1
a^2-2*a*c+b^2-2*b*d+c^2+d^2-t^2
