substituting `x*y` with `t` will produce an expression that will fail the t-test when eq = `x**2*y +1` since you will get `t*x + 1`