Simplify(2^(x-1+1)) [sf#11]

[grzegorzmazur]

Reported by anonymous on 2011-11-20 12:38 UTC 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

[grzegorzmazur]

This testcase actually works as expected now, but the issue remains valid for more complicated exponents