But it is the switching from infix operators to prefix operator that is making the second example less readable (and the implicit precedence of the operators). Writing it as

    (a times (b plus c)) equals ((a times b) plus (a times c))

would be a fair comparison, which is much more readble than

    =(*(a, +(b, c)), +(*(a, b), *(a, c)))