(x,y)→(x+y,xy)