cat fac x-x(x minus x)