http://helpgarysafes.blogspot.com/2021/10/simplifying-expressions-using.html