(x * (y + z)) eql ((x * z) + (y * z))
(y + z * x) eql (x * z + (y * z))
x * (y + z) eql x * z + y * z