I'm searching for a book that provides a "bank" for "complete" proofs for trigonometric identities. More specifically, I'm talking about identities such as:
Arctan(a)+Arctan(b)=Arctan((a+b)/(1-a.b))
Tan(a+b)=(tan(a)+tan(b))/(1-tan(a).tan(b))
Cos^2=1/(1+tan^2)
....
The closest thing that I found was "trig or treat" by Adrian Ning Hong Yeo , but it doesn't contain all the basic proofs, and worse, it doesn't define the initial characteristics of the variables, such as which sets they belong to; it also has a "chill" approach, whereas I'm looking for something much more formal and canonical.