kill(all)$

van=facebook.com/LearningCalculus$

f(u):=u;

f(f(y)+x^2 + 1) + 2*x = y + f(x+1)^2;

expand(%);

is(%);