https://propertyza.blogspot.com/2022/11/simplifying-expressions-with.html