E8: Proving Trigonometric Identities