Rule algebra.equations.buggy.distr-times-denom

Description
Incorrect distribution of times over plus: one of the terms is a fraction, and the outer expression is multiplied by the fraction's denominator.

Parameters
Buggyyes
Rewrite ruleno
Siblingsalgebra.equations.linear.distr-times