maybe `x, m, n = expr1.args` ?