Transformations and argument simplifications
Argument involving basic arithmetic operations
For Phi(z,s,a)
For Phi^(z,s,a)