Be expected to somehow already know 50,000 trigonometric identities

But you can derive the other 49,994 from a half-dozen key ones though.