Identities

Trig identities such as double angle formulas and the Pythagorean identities.