#11 Simplify(2^(x-1+1))

[anonymous]

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