Trig Identities from Complex Exponents (2013) | Hacker News Reader