I don't know any Lisp, but I would decode

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

As

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

e.g. (+ y z) means you add y and z with highest priority.