read MultiAlmkvistZeilberger: DIAGpaper(1,(1-x)^2+(1-y)^2-1,a,[x,y],n,{a},F,A,R); quit: