More readable simplify().