Fair enough, the change from infix to prefix was misleading. But do you (or anyone) find

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

easier to read than

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

?