Disclaimer
This site as of now just a technology demonstration and its claims should not be taken as true (even though I myself am pretty confident they are)
Pythagorean identities
Sum of angles
Multiple angles
Half-angle formulae
Power-reduction formulae
Product-to-sum formulae
Sum-to-product formulae
