equality with respect to the net number of reduced symbolic quantities on each side of an equation