Most often they are used for simplifying expressions. For that purpose it's not a matter of deducing what they are, but recognizing them in the expression, and spotting the opportunity to use the identity on the path to eliminating terms.
For that purpose one needs to have them memorized in order to spot the opportunity -on the carefully derived homework problem- in the wild.