differentiator: visitor-simplify: handle zero constant in multiplication-division node.

This also fixes a division by zero: fabsl(0) < 1, so simplifier attempts to
divide by reciprocal.

Note: the whole "divide by reciprocal" thing should possibly be eliminated.
differentiator: visitor-differentiate: add the differentiation visitor.