Transformations and argument simplifications

Argument involving basic arithmetic operations

With respect to z

With respect to a