Simplify an arithmetic expression tree

You get the root of an expression tree: every internal node is a binary operator with two children, and every leaf is an integer constant or a variable name. Return a simplified tree: fold every subtree made only of constants into a single value, and apply identities such as adding zero or multiplying by one.