Vereinfache `7 x+(2 y+2(y+4(y-2 x)))` so weit wie möglich!