(a*(b+c))
(a*b + a*c)      -- distribute a to terms b and c