fMarked_minus *+Marked_fminusyxminus(minus(x))xminus(+(x,y)) *(minus(minus(minus(x))),minus(minus(minus(y))))minus( *(x,y))+(minus(minus(minus(x))),minus(minus(minus(y))))f(minus(x))minus(minus(minus(f(x))))minus(minus(x))xminus(+(x,y)) *(minus(minus(minus(x))),minus(minus(minus(y))))minus( *(x,y))+(minus(minus(minus(x))),minus(minus(minus(y))))f(minus(x))minus(minus(minus(f(x))))Marked_minus(+(x,y))Marked_minus(minus(minus(x)))Marked_minus(+(x,y))Marked_minus(minus(x))Marked_minus(+(x,y))Marked_minus(x)Marked_minus(+(x,y))Marked_minus(minus(minus(y)))Marked_minus(+(x,y))Marked_minus(minus(y))Marked_minus(+(x,y))Marked_minus(y)Marked_minus( *(x,y))Marked_minus(minus(minus(x)))Marked_minus( *(x,y))Marked_minus(minus(x))Marked_minus( *(x,y))Marked_minus(x)Marked_minus( *(x,y))Marked_minus(minus(minus(y)))Marked_minus( *(x,y))Marked_minus(minus(y))Marked_minus( *(x,y))Marked_minus(y)Marked_f(minus(x))Marked_minus(minus(minus(f(x))))Marked_f(minus(x))Marked_minus(minus(f(x)))Marked_f(minus(x))Marked_minus(f(x))Marked_f(minus(x))Marked_f(x)minus(minus(x))xminus(+(x,y)) *(minus(minus(minus(x))),minus(minus(minus(y))))minus( *(x,y))+(minus(minus(minus(x))),minus(minus(minus(y))))f(minus(x))minus(minus(minus(f(x))))Marked_f(minus(x))Marked_f(x)minus210Marked_f30+0 *20f30minus(minus(x))xminus(+(x,y)) *(minus(minus(minus(x))),minus(minus(minus(y))))minus( *(x,y))+(minus(minus(minus(x))),minus(minus(minus(y))))f(minus(x))minus(minus(minus(f(x))))Marked_minus(+(x,y))Marked_minus(minus(minus(x)))Marked_minus(+(x,y))Marked_minus(minus(x))Marked_minus(+(x,y))Marked_minus(x)Marked_minus(+(x,y))Marked_minus(minus(minus(y)))Marked_minus(+(x,y))Marked_minus(minus(y))Marked_minus(+(x,y))Marked_minus(y)Marked_minus( *(x,y))Marked_minus(minus(minus(x)))Marked_minus( *(x,y))Marked_minus(minus(x))Marked_minus( *(x,y))Marked_minus(x)Marked_minus( *(x,y))Marked_minus(minus(minus(y)))Marked_minus( *(x,y))Marked_minus(minus(y))Marked_minus( *(x,y))Marked_minus(y)minus10+2220 *2220Marked_minus20f0