read AutoSquared:


EtzimLSV([1/x+1+x,1-x^2],x,4,3,500,Motzkin, 10^20,10,A);


quit: