Simplify(2(x-1+1))
Comment by hmatuschek:
Seems to be fixed by additional rule:
10 # Simplify((_x)(_y)) <-- Simplify(x)Simplify(y);
But I don't know if this may produce side effects. I don't understand the
simplify algorithm but it seems like the power operator is not well covered
there.
Moved from SF: 1075434