Transformations and argument simplifications
Argument involving basic arithmetic operations
Argument involving related functions