Verify trigonometric identities Solver