Ich glaube jeder hätte e5x als gemeinsamen Faktor noch ausgeklammert.
(16·x·e5·x·z + 8·x2·e5·x·y + 4·x·e5·x)·e4·z - y
= (8·x2·y + 16·x·z + 4·x)·e5·x - y + 4·z
Und die ursprüngliche Funktion lautet auch dann sicher
f(x,y,z) = (2·x2·y + 4·x·z)·e4·z - 1·y + 5·x