Transformations

Transformations and argument simplifications

Argument involving basic arithmetic operations

Multiple arguments

Argument involving numeric multiples of variable

Argument involving symbolic multiples of variable