In the end, the fraction is converted into a least common denominator.  However, the expressions in the denominator are first simplified... clicking on a particular solution step provides the logic which is applied.