Brief typing instructions (opens in a new tab)
Write an expression that yields the same tree as in the picture.
tree_compare (x-(y+1))(1+y-x); (x-y+1)*(1+y-x) or