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