Marked_minushfminusyxminus(minus(x))xminus(h(x))h(minus(x))minus(f(x,y))f(minus(y),minus(x))minus(minus(x))xminus(h(x))h(minus(x))minus(f(x,y))f(minus(y),minus(x))Marked_minus(h(x))Marked_minus(x)Marked_minus(f(x,y))Marked_minus(y)Marked_minus(f(x,y))Marked_minus(x)minus(minus(x))xminus(h(x))h(minus(x))minus(f(x,y))f(minus(y),minus(x))Marked_minus(h(x))Marked_minus(x)Marked_minus(f(x,y))Marked_minus(y)Marked_minus(f(x,y))Marked_minus(x)Marked_minus1Marked_minus(f(x,y))Marked_minus(x)Marked_minus(f(x,y))Marked_minus(y)Marked_minus(h(x))Marked_minus(x)minus(minus(x))xminus(h(x))h(minus(x))minus(f(x,y))f(minus(y),minus(x))