It's not necessary to learn the double angle formulas though. If you know cos(x+y) and sin(x+y), you'll be able to find out cos(2x) and sin(2x). After a while of writing them, you'll just learn them (that's what I did). I assume when you say "everything related to them" to also know what identities are formed when you divide "sin^2 x + cos^2 x = 1" by "cos^2 x" and "sin^2 x" (separately)?