Transformations
Transformations and argument simplifications
Argument involving basic arithmetic operations
Multiple arguments
Argument involving numeric multiples of variable