Transformations
Transformations and argument simplifications
Argument involving basic arithmetic operations
Addition formulas