+ * x y * x z * x + y z + + x y z + x + y z + * x y + * x z u + * x + y z u + 2 * 2 u 0 FULL ./TRS/various/18.trs