[(xy1000-xx'-yx'000xy1-xy'-yy')][((Subscript[a, 1])(Subscript[a, 2])(Subscript[a, 3])(Subscript[a, 4])(Subscript[a, 5])(Subscript[a, 6])(Subscript[a, 7])(Subscript[a, 8]))]=[(x'y')];