https://propertyhje.blogspot.com/2023/04/simplifying-expressions-with.html