Discovering Trigonometric Identities in Geometric Representations