Tag: inaccuracies in algebraic simplification