Vereinfache `8 x+(9 z+3(z+4(z-6 x)))` so weit wie möglich!