tbh, if you're writing a lot of equations like this in a program, the Lisp version should probably be something like

    (eqn x * (y + z) = x * z + y * z)

where you write and test an `eqn` macro that rewrites everything in the correct syntax.