Simplifying expressions and identifying non-permissible values