Tag: inconsistency in algebraic rational expressions simplification