This context distinguishes between "forms" of an expression by using bizarro arithmetic.
For example, the answer could be "(x+1)(x+2)". Bizarro arithmetic always has commutative and associative addidition and multiplication, so it would be OK to anwer with "(2+x)(x+1)".
But this context initally only uses bizarro with multiplication and division. So "x^2+3x+2" will not evaluate to the same as "(x+1)(x+2)".
The reverse works as well: the answer could be "x^2+3x+2" and "(x+1)(x+2)" will not be accepted.
In general if you have a problem where "form" matters, try this context. It may not always work for you out of the box. But even then you may be able to adjust the bizarro details to make it work.
For example if you wanted to factor x^2+2x+1 and you declare "(x+1)^2" to be the answer, at first it will not accept "(x+1)(x+1)". Because bizarro exponents are not activated. But you could activate them (or deactivate bizarro multiplication and division while activating bizarro addition and subtraction) and then "(x+1)^2" and "(x+1)(x+1)" would be equivalent, yet distinct from "x^2+2x+1".