I have several expression where simplification would drastically improve if simplify would be able to recognize the square of a binomial just as in the screenshot.
