Trigonometric Identities Solver