Simplify assuming that all variables represent positive numbers.