Vereinfache `4 z+(5 y+4(y+3(y-3 z)))` so weit wie möglich!