read AutoSquared: EtzimCAV([x+2+1/x,1-x],x,4,3,500,Catalan, 10^20,10); quit: