differentiator: visitor-simplify: implement simplification of a sum of fractions.

A sum of fractions is brought to its common denominator and transformed into a
fraction whose numerator is a sum.

a/b + c = (a+bc)/b

This allows to efficiently simplify the expression by expanding products by
distributive law of multiplication. (Next optimization.)