I'm not matching x*f(x) , i'm just substituting all occurrences of x*y by to 't' to see if factor is a function of x*y